Lemma 15.120.2. Let $(R, \mathfrak m, \kappa ) \to (R', \mathfrak m', \kappa ')$ be a local homomorphism of local rings. Assume that $\kappa '/\kappa$ is a finite extension. Let $u \in R'$. Then for any finite length $R'$-module $M'$ we have

$\det \nolimits _\kappa (u : M' \to M') = \text{Norm}_{\kappa '/\kappa }(u \bmod \mathfrak m')^ m$

where $m = \text{length}_{R'}(M')$.

Proof. Observe that the statement makes sense as $\text{length}_ R(M') = \text{length}_{R'}(M') [\kappa ' : \kappa ]$. If $M' = \kappa '$, then the equality holds by definition of the norm as the determinant of the linear operator given by multiplication by $u$. In general one reduces to this case by chosing a suitable filtration and using the multiplicativity of Lemma 15.120.1. Some details omitted. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).