Lemma 10.155.2. Let $(R, \mathfrak m, \kappa )$ be a local ring. Let $\kappa \subset \kappa ^{sep}$ be a separable algebraic closure. There exists a commutative diagram

\[ \xymatrix{ \kappa \ar[r] & \kappa \ar[r] & \kappa ^{sep} \\ R \ar[r] \ar[u] & R^ h \ar[r] \ar[u] & R^{sh} \ar[u] } \]

with the following properties

the map $R^ h \to R^{sh}$ is local

$R^{sh}$ is strictly henselian,

$R^{sh}$ is a filtered colimit of étale $R$-algebras,

$\mathfrak m R^{sh}$ is the maximal ideal of $R^{sh}$, and

$\kappa ^{sep} = R^{sh}/\mathfrak m R^{sh}$.

**Proof.**
This is proved by exactly the same proof as used for Lemma 10.155.1. The only difference is that, instead of pairs, one uses triples $(S, \mathfrak q, \alpha )$ where $R \to S$ étale, $\mathfrak q$ is a prime of $S$ lying over $\mathfrak m$, and $\alpha : \kappa (\mathfrak q) \to \kappa ^{sep}$ is an embedding of extensions of $\kappa $.
$\square$

## Comments (0)

There are also: