The Stacks project

Proof. This can be deduced from the more general Lemma 15.45.12 using that the henselization and strict henselization are Noetherian (as we've seen above). But we also give a direct proof as follows.

We will use without further mention the results of Lemmas 15.45.1 and 15.45.3. Note that $R^ h/\mathfrak pR^ h$, resp. $R^{sh}/\mathfrak pR^{sh}$ is the henselization, resp. strict henselization of $R/\mathfrak p$, see Algebra, Lemma 10.156.2 resp. Algebra, Lemma 10.156.4. Hence we may replace $R$ by $R/\mathfrak p$ and assume that $R$ is a Noetherian local domain and that $\mathfrak p = (0)$. Since $R^ h$, resp. $R^{sh}$ is Noetherian, it has finitely many minimal primes $\mathfrak q_1, \ldots , \mathfrak q_ t$, resp. $\mathfrak r_1, \ldots , \mathfrak r_ s$. Since $R \to R^ h$, resp. $R \to R^{sh}$ is flat these are exactly the primes lying over $\mathfrak p = (0)$ (by going down). Finally, as $R$ is a domain, we see that $R^ h$, resp. $R^{sh}$ is reduced, see Lemma 15.45.4. Thus we see that $R^ h \otimes _ R \kappa (\mathfrak p)$ resp. $R^{sh} \otimes _ R \kappa (\mathfrak p)$ is a reduced Noetherian ring with finitely many primes, all of which are minimal (and hence maximal). Thus these rings are Artinian and are products of their localizations at maximal ideals, each necessarily a field (see Algebra, Proposition 10.60.7 and Algebra, Lemma 10.25.1).

The final statement follows from the fact that $R \to R^ h$, resp. $R \to R^{sh}$ is a colimit of étale ring maps and hence the induced residue field extensions are colimits of finite separable extensions, see Algebra, Lemma 10.143.5. $\square$