Lemma 10.97.10. Let $A$ be a Noetherian ring. Let $I, J \subset A$ be ideals. If $A$ is $I$-adically complete and $A/I$ is $J$-adically complete, then $A$ is $J$-adically complete.

Proof. Let $B$ be the $(I + J)$-adic completion of $A$. By Lemma 10.97.2 $B/IB$ is the $J$-adic completion of $A/I$ hence isomorphic to $A/I$ by assumption. Moreover $B$ is $I$-adically complete by Lemma 10.96.8. Hence $B$ is a finite $A$-module by Lemma 10.96.12. By Nakayama's lemma (Lemma 10.20.1 using $I$ is in the Jacobson radical of $A$ by Lemma 10.96.6) we find that $A \to B$ is surjective. The map $A \to B$ is flat by Lemma 10.97.2. The image of $\mathop{\mathrm{Spec}}(B) \to \mathop{\mathrm{Spec}}(A)$ contains $V(I)$ and as $I$ is contained in the Jacobson radical of $A$ we find $A \to B$ is faithfully flat (Lemma 10.39.16). Thus $A \to B$ is injective. Thus $A$ is complete with respect to $I + J$, hence a fortiori complete with respect to $J$. $\square$

There are also:

• 5 comment(s) on Section 10.97: Completion for Noetherian rings

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).