Let $A$ be a local noetherian ring with maximal ideal $m$. Let $M$ be an infinitely generated $A$-module and $\hat{M}$ be the $m$-adic completion of $M$. Denote by $\hat{A}$ the $m$-adic completion of $A$. Recall, $\hat{M}$ is an $\hat{A}$-module. My question is: Is $\hat{M}$ infinitely generated as an $\hat{A}$-module?
Is the completion of an infinitely generated module, again infinitely generated
Ron
- 2.1k
- 11
- 12