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

$A^\wedge \to (A^ h)^\wedge$

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$

Comment #3830 by slogan_bot on

Suggested slogan: "Henselization of a Noetherian pair is Noetherian and does not affect completions"

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).