Lemma 10.155.6. Let $R \to S$ be a local map of local rings. Let $R \to R^ h$ and $S \to S^ h$ be the henselizations. There exists a unique local ring map $R^ h \to S^ h$ fitting into the commutative diagram

$\xymatrix{ R^ h \ar[r]_ f & S^ h \\ R \ar[u] \ar[r] & S \ar[u] }$

Proof. Follows immediately from Lemma 10.154.5. $\square$

There are also:

• 6 comment(s) on Section 10.155: 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).