Skip to main content
3 of 3
deleted 208 characters in body
Arrow
  • 10.5k
  • 1
  • 27
  • 71

Separable algebras and separably closed local rings (a.k.a strictly Henselian local rings)

Let $A$ be a local ring. Say a monic $f\in A[x]$ is unramifiable if it admits a simple root in its universal splitting algebra (equivalently, it admits a simple root in any ring over which it splits). Say a local ring is separably closed if every unramifiable polynomial admits a simple root. By a result of Wraith, the separably closed local rings are precisely the strictly Henselian ones.

A separably closed field is precisely one without separable extensions.

Is it also true that (injective?) separable algebras over a separably closed local ring are isomorphisms?

Arrow
  • 10.5k
  • 1
  • 27
  • 71