MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose $A$ is a Noetherian (not necessarily local) ring and $\mathfrak{m}\subset A$ a maximal ideal. Then is it true that $$\hat{A}_{\hat{\mathfrak{m}}}=\widehat{A _{\mathfrak{m}}},$$ where hats denote completion and subscripts denote localization? If one uses superscripts to denote completion it would be

$$(A^{\mathfrak{m}})_{\mathfrak{m^{\mathfrak{m}}}}=(A _{\mathfrak{m}})^{\mathfrak{m} _{\mathfrak{m}}}.$$

share|cite|improve this question
You should be more careful about what you mean by "completion". If you mean "completion with respect to the filtration by powers of the maximal ideal" then the answer is yes. In fact, $\hat{A}$ is already local so $\hat{A}_{\hat{m}} \cong \hat{A}$. – user91132 May 9 '11 at 16:05
@ashpool: How much time have you spent to try to answer this by your self? – Martin Brandenburg May 10 '11 at 9:01
@Martin Brandenburg: Sorry, I realized it was a simple problem after I posted it. – ashpool May 16 '11 at 14:01
up vote 7 down vote accepted

It is true. $(\widehat{A}, \widehat{m})$ is a Noetherian local ring so your left hand side could be simplified replacing it by $\widehat{A}$. Now let's use the definitions: $\widehat{A} = \varprojlim A/\mathfrak{m}^n$, whereas $\widehat{A_{\mathfrak{m}}} = \varprojlim A_{m}/(\mathfrak{m}A_{\mathfrak{m}})^n$. The desired equality is the result of localization being exact so that $A_{\mathfrak{m}}/(\mathfrak{m}A_{\mathfrak{m}})^n = (A/ \mathfrak{m}^n)_{\mathfrak{m}}$ and the fact that in $A/\mathfrak{m^n}$ everything outside the maximal ideal is already invertible, so that $(A/\mathfrak{m^n})_{\mathfrak{m}} = A/\mathfrak{m}^n$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.