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

3

The same theorem (namely the Artin--Rees lemma) that proves that $\hat{M}_1/\hat{M}_2 \buildrel \sim \over \longrightarrow \hat{M}_3$ also proves directly that this isomorphism is a homeomorphism when $\hat{M}_1/\hat{M}_2$ is equipped with the quotient topology induced by the $I$-adic topology on $\hat{M}_2$ and $\hat{M}_3$ is equipped with its $I$-adic topology. (It furthermore proves that the $I$-adic topology on $\hat{M}_2$ induces the $I$-adic topology on $\hat{M}_1$.)