# Is the completion of an arbitrary ring w.r.p. a maximal ideal a local ring? [closed]

Give an arbitrary commutative ring (not necessarily noetherian) $A$ with $\mathfrak{m}$ a maximal ideal. Is the completion $\hat{A}$ w.r.t. the ideal $\mathfrak{m}$ a local ring?　If so, is the maximal ideal of $\hat{A}$ generated by $\mathfrak{m}$, i.e., is it equal to $\mathfrak{m}\hat{A}$?

I know that this is true when $A$ is noetherian.

## closed as off-topic by YCor, Chris Godsil, Steven Sam, Stefan Kohl, S. Carnahan♦Jul 4 '14 at 23:22

This question appears to be off-topic. The users who voted to close gave this specific reason:

• "MathOverflow is for mathematicians to ask each other questions about their research. See Math.StackExchange to ask general questions in mathematics." – Chris Godsil, Steven Sam, S. Carnahan
If this question can be reworded to fit the rules in the help center, please edit the question.

• Yes. You can find those things in Bourbaki's Algèbre Commutative. – Vinteuil Jul 3 '14 at 12:19