Lemma 10.96.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$.
This is a special case of Lemma 10.95.3 because $I$ is a finitely generated ideal.
Post a comment
Your email address will not be published. Required fields are marked.
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).