Theorem 54.32.4. Let $(R, \mathfrak m, \kappa )$ be a local ring. The following are equivalent:
$R$ is henselian,
for any $f\in R[T]$ and any factorization $\bar f = g_0 h_0$ in $\kappa [T]$ with $\gcd (g_0, h_0)=1$, there exists a factorization $f = gh$ in $R[T]$ with $\bar g = g_0$ and $\bar h = h_0$,
any finite $R$-algebra $S$ is isomorphic to a finite product of local rings finite over $R$,
any finite type $R$-algebra $A$ is isomorphic to a product $A \cong A' \times C$ where $A' \cong A_1 \times \ldots \times A_ r$ is a product of finite local $R$-algebras and all the irreducible components of $C \otimes _ R \kappa $ have dimension at least 1,
if $A$ is an étale $R$-algebra and $\mathfrak n$ is a maximal ideal of $A$ lying over $\mathfrak m$ such that $\kappa \cong A/\mathfrak n$, then there exists an isomorphism $\varphi : A \cong R \times A'$ such that $\varphi (\mathfrak n) = \mathfrak m \times A' \subset R \times A'$.
This is just a subset of the results from Algebra, Lemma 10.148.3. Note that part (5) above corresponds to part (8) of Algebra, Lemma 10.148.3 but is formulated slightly differently.
Post a comment
Your email address will not be published. Required fields are marked.
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).