2
$\begingroup$

Background: There is a well-known theorem that if $R$ is Noetherian, $I$ is an ideal in $R$, $0\rightarrow M_1\rightarrow M_2\rightarrow M_3\rightarrow 0$ an exact sequence of finitely generated $R$-modules, and for each $i$, $\widehat{M}_i$ is the $I$-adic completion of $M_i$, then there is an induced natural exact sequence $0\rightarrow \widehat{M}_1\rightarrow \widehat{M}_2\rightarrow \widehat{M}_3\rightarrow 0$. As a consequence, $\widehat{M}_3$ is isomorphic to $\widehat{M}_2/\widehat{M}_1$.

Question: Is it also true that $\widehat{M}_3$ is isomorphic to $\widehat{M}_2/\widehat{M}_1$ with respect to their topologies? If it's true, how can I prove it?

  • 0
    I've put your equations into LaTeX.2011-07-12

1 Answers 1