Lemma 47.6.1. Let $(R, \mathfrak m, \kappa )$ be an artinian local ring. Let $E$ be an injective hull of $\kappa $. For every finite $R$-module $M$ we have
In particular, the injective hull $E$ of $\kappa $ is a finite $R$-module.
Lemma 47.6.1. Let $(R, \mathfrak m, \kappa )$ be an artinian local ring. Let $E$ be an injective hull of $\kappa $. For every finite $R$-module $M$ we have
In particular, the injective hull $E$ of $\kappa $ is a finite $R$-module.
Proof. Because $E$ is an essential extension of $\kappa $ we have $\kappa = E[\mathfrak m]$ where $E[\mathfrak m]$ is the $\mathfrak m$-torsion in $E$ (notation as in More on Algebra, Section 15.88). Hence $\mathop{\mathrm{Hom}}\nolimits _ R(\kappa , E) \cong \kappa $ and the equality of lengths holds for $M = \kappa $. We prove the displayed equality of the lemma by induction on the length of $M$. If $M$ is nonzero there exists a surjection $M \to \kappa $ with kernel $M'$. Since the functor $M \mapsto \mathop{\mathrm{Hom}}\nolimits _ R(M, E)$ is exact we obtain a short exact sequence
Additivity of length for this sequence and the sequence $0 \to M' \to M \to \kappa \to 0$ and the equality for $M'$ (induction hypothesis) and $\kappa $ implies the equality for $M$. The final statement of the lemma follows as $E = \mathop{\mathrm{Hom}}\nolimits _ R(R, E)$. $\square$
Comments (0)