Lemma 10.97.4. Let $R$ be a Noetherian ring. Let $I$ be an ideal of $R$. Let $M$ be an $R$-module. Then the completion $M^\wedge$ of $M$ with respect to $I$ is $I$-adically complete, $I^ n M^\wedge = (I^ nM)^\wedge$, and $M^\wedge /I^ nM^\wedge = M/I^ nM$.

Proof. This is a special case of Lemma 10.96.3 because $I$ is a finitely generated ideal. $\square$

There are also:

• 5 comment(s) on Section 10.97: Completion for Noetherian rings

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