# Henselian

Satisfying the Hensel lemma.

If $K$ is a field equipped with a valuation $v$ and if the Hensel lemma is true for the valuation ring of $v$, then $(K,v)$ is called a Henselian field and $v$ is called a Henselian valuation. See also Henselization of a valued field; Ramification theory of valued fields.

If $K$ is complete in the topology induced by $v$, and if its value group (cf. also Valuation) is an Archimedean group, then $v$ is Henselian. But contrary to completeness, being Henselian can be axiomatized in a first-order language of valued fields (by an infinite set of axioms expressing the validity of the Hensel lemma). Moreover, a complete field need not be Henselian if its value group is not Archimedean. Therefore, in general valuation theory and in the model theory of valued fields, being Henselian has turned out to be more appropriate than completeness.

Several equivalent conditions for a field to be Henselian, including an implicit function theorem, are stated in [a1]; see also [a4]. For the connection with other topological fields (cf. Topological field) satisfying the implicit function theorem, see [a3].

It was proved by F.K. Schmidt in 1933 that if a field admits two independent non-trivial Henselian valuations, then it must be separably algebraically closed. For refinements of this result, see [a5]. For a further generalization and an application, see [a2].