2

Let $A$ be a noetherian local ring with maximal ideal $m$ and let $I\subset m$. Is the $I$-adic completion of $A$ necessarily local?

1 Answers1

1

Yes, and the proof goes like I did here.

But a more general result holds: the $I$-adic completion $\widehat R$ is quasi-local iff $R/I$ is quasi-local. (Quasi-local means local, but not necessarily noetherian.) See here on page $6$.

user26857
  • 52,094