Lemma 47.7.3. Let $(R, \mathfrak m, \kappa )$ be a Noetherian local ring. Let $E$ be an injective hull of $\kappa$ over $R$. Let $E_ n$ be an injective hull of $\kappa$ over $R/\mathfrak m^ n$. Then $E = \bigcup E_ n$ and $E_ n = E[\mathfrak m^ n]$.

Proof. We have $E_ n = E[\mathfrak m^ n]$ by Lemma 47.7.1. We have $E = \bigcup E_ n$ because $\bigcup E_ n = E[\mathfrak m^\infty ]$ is an injective $R$-submodule which contains $\kappa$, see Lemma 47.3.9. $\square$

There are also:

• 3 comment(s) on Section 47.7: Injective hull of the residue field

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).