The Stacks project

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$


Comments (1)

Comment #3830 by slogan_bot on

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


Post a comment

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0AGV. Beware of the difference between the letter 'O' and the digit '0'.