Henselization is compatible with quotients.

Lemma 10.156.2. Let $R$ be a local ring with henselization $R^ h$. Let $I \subset \mathfrak m_ R$. Then $R^ h/IR^ h$ is the henselization of $R/I$.

Proof. This is a special case of Lemma 10.156.1. $\square$

Comment #2805 by Minseon Shin on

Suggested slogan: Henselization is compatible with quotients.

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