The henselization of a Noetherian pair is a Noetherian pair with the same completion
Lemma 15.12.4. Let $(A, I)$ be a pair with $A$ Noetherian. Let $(A^ h, I^ h)$ be as in Lemma 15.12.1. Then the map of $I$-adic completions is an isomorphism. Moreover, $A^ h$ is Noetherian, the maps $A \to A^ h \to A^\wedge $ are flat, and $A^ h \to A^\wedge $ is faithfully flat.
Proof.
The first statement is an immediate consequence of Lemma 15.12.2 and in fact holds without assuming $A$ is Noetherian. In the proof of Lemma 15.12.1 we have seen that $A^ h$ is a filtered colimit of étale $A$-algebras $B$ such that $A/I \to B/IB$ is an isomorphism. For each such $A \to B$ the induced map $A^\wedge \to B^\wedge $ is an isomorphism (see proof of Lemma 15.12.2). By Algebra, Lemma 10.97.2 the ring map $B \to A^\wedge = B^\wedge = (A^ h)^\wedge $ is flat for each $B$. Thus $A^ h \to A^\wedge = (A^ h)^\wedge $ is flat by Algebra, Lemma 10.39.6. Since $I^ h = IA^ h$ is contained in the Jacobson radical of $A^ h$ and since $A^ h \to A^\wedge $ induces an isomorphism $A^ h/I^ h \to A/I$ we see that $A^ h \to A^\wedge $ is faithfully flat by Algebra, Lemma 10.39.15. By Algebra, Lemma 10.97.6 the ring $A^\wedge $ is Noetherian. Hence we conclude that $A^ h$ is Noetherian by Algebra, Lemma 10.164.1.
$\square$
\[ A^\wedge \to (A^ h)^\wedge \]
Your email address will not be published. Required fields are marked.
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (1)
Comment #3830 by slogan_bot on