10
$\begingroup$

If $(R,m)$ is a complete local ring (with respect to the $m-$adic topology) and $I$ a prime ideal in $R$, is $R/I$ complete (with respect to the $m/I-$adic topology)? It seems too strong, but I am unable to give a counterexample.

  • 0
    complete for which topology?2012-03-07
  • 0
    @seporhau: Clarified. I thought, it was convention to assume "with respect to the maximal ideal" unless otherwise specified.2012-03-07
  • 1
    What you'd like to be able to do is take a Cauchy sequence in $R/I$, then lift each element so that you have a Cauchy sequence in $R$, then take the limit and push it back down to the quotient. So the question becomes: under what conditions can you lift your Cauchy sequence mod $I$ to a Cauchy sequence in $R$?.2012-03-07
  • 2
    The completion functor from the category of $R$-modules to the catogory of $\hat R$-modules is exact. So the quotient by an ideal $I \subset R=\hat{R}$ is complete if and only if $I$ is complete as an $\hat R$-module. I tend to think that this is always the case at least for Noetherian $R$.2012-03-07
  • 0
    @DimaSustretov: Thank you.2012-03-08

1 Answers 1

9

Proposition Let $(R, \mathfrak{m})$ be a complete Noetherian local ring. Let $I$ be a proper ideal of $R$. Then $(R/I, \mathfrak{m}/I)$ is complete.

Proof: The following sequence of $R$-modules is exact.

$0 \rightarrow I \rightarrow R \rightarrow R/I \rightarrow 0$

Since $R$ is Noethrian, the following sequence is exact, where $\hat I$ etc. are the completions of $I$ etc. with respect to $\mathfrak{m}$-adic toplogy.

$0 \rightarrow \hat I \rightarrow \hat R \rightarrow \hat (R/I) \rightarrow 0$

Since $R$ is complete, $\hat R = R$. It is well known that $I$ is a closed submodule of $R$ with respect to $\mathfrak{m}$-adic toplogy. Since $R$ is complete, so is $I$. Hence $\hat I = I$. Therefore we get the following exact sequence.

$0 \rightarrow I \rightarrow R \rightarrow \hat (R/I) \rightarrow 0$

Hence $R/I$ is complete. QED