Local rings of dimension zero are henselian.

Lemma 10.153.10. Let $(R, \mathfrak m)$ be a local ring of dimension $0$. Then $R$ is henselian.

Proof. Let $R \to S$ be a finite ring map. By Lemma 10.153.3 it suffices to show that $S$ is a product of local rings. By Lemma 10.36.21 $S$ has finitely many primes $\mathfrak m_1, \ldots , \mathfrak m_ r$ which all lie over $\mathfrak m$. There are no inclusions among these primes, see Lemma 10.36.20, hence they are all maximal. Every element of $\mathfrak m_1 \cap \ldots \cap \mathfrak m_ r$ is nilpotent by Lemma 10.17.2. It follows $S$ is the product of the localizations of $S$ at the primes $\mathfrak m_ i$ by Lemma 10.53.5. $\square$

There are also:

• 4 comment(s) on Section 10.153: Henselian local rings

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