Definition 10.153.1. Let $(R, \mathfrak m, \kappa )$ be a local ring.

We say $R$ is

*henselian*if for every monic $f \in R[T]$ and every root $a_0 \in \kappa $ of $\overline{f}$ such that $\overline{f'}(a_0) \not= 0$ there exists an $a \in R$ such that $f(a) = 0$ and $a_0 = \overline{a}$.We say $R$ is

*strictly henselian*if $R$ is henselian and its residue field is separably algebraically closed.

## Comments (0)

There are also: