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

The local ring map $R \to R^ h$ constructed in Lemma 10.154.1 is called the

*henselization*of $R$.Given a separable algebraic closure $\kappa \subset \kappa ^{sep}$ the local ring map $R \to R^{sh}$ constructed in Lemma 10.154.2 is called the

*strict henselization of $R$ with respect to $\kappa \subset \kappa ^{sep}$*.A local ring map $R \to R^{sh}$ is called a

*strict henselization*of $R$ if it is isomorphic to one of the local ring maps constructed in Lemma 10.154.2

## Comments (0)

There are also: