1
$\begingroup$

Let $A$ be a commutative Noetherian local ring and $\hat A$ be its completion. Then we have the functor of completion from the category of finitely generated $A$-modules to the category of finitely generated $\hat A$-modules. $${\sf mod}(A) \to {\sf mod}(\hat A)$$ $$M\mapsto \hat M $$ Question: Is it true that the functor is injective on isomorphism classes?

Remark: The homomorphism $A\to \hat A$ is faithfully flat. Then $\hat AI\cap A=I$ for any ideal $I$ of $A$. Using this one can check that the functor is injective on isomorphism classes of cyclic modules.

Improve this question
$\endgroup$
1
  • 7
    $\begingroup$ Yes. This is true more generally if you replace $\widehat{A}$ by any noetherian (commutative) ring faithfully flat over $A$: see EGA IV.2, Proposition 2.5.8 (taking $B=A$ in that Proposition). $\endgroup$
    – abx
    Commented Aug 15, 2017 at 13:12

0

Reset to default

You must log in to answer this question.