
Lemma 10.150.8. Let $R \to S$ be a ring map. Let $\mathfrak q \subset S$ be a prime lying over $\mathfrak p \subset R$. Let $R \to R^ h$ and $S \to S^ h$ be the henselizations of $R_\mathfrak p$ and $S_\mathfrak q$. The local ring map $R^ h \to S^ h$ of Lemma 10.150.6 identifies $S^ h$ with the henselization of $R^ h \otimes _ R S$ at the unique prime lying over $\mathfrak m^ h$ and $\mathfrak q$.

Proof. By Lemma 10.150.7 we see that $R^ h$, resp. $S^ h$ are filtered colimits of étale $R$, resp. $S$-algebras. Hence we see that $R^ h \otimes _ R S$ is a filtered colimit of étale $S$-algebras $A_ i$ (Lemma 10.141.3). By Lemma 10.149.4 we see that $S^ h$ is a filtered colimit of étale $R^ h \otimes _ R S$-algebras. Since moreover $S^ h$ is a henselian local ring with residue field equal to $\kappa (\mathfrak q)$, the statement follows from the uniqueness result of Lemma 10.149.6. $\square$

There are also:

• 4 comment(s) on Section 10.150: Henselization and strict henselization

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