MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I need some valuation theory in a paper I’m working on. This is not quite within my area of expertise, and I’d like to make the terminology right.

A valued field $(K,v)$ with value group $\Gamma$, valuation ring $O$, and maximal ideal $I$ is henselian if every polynomial $f=\sum_{i=0}^da_ix^i\in O[x]$ with $a_0\in I$ and $a_1=1$ has a root in $I$. (There are other equivalent definitions.)

Let me say that $(K,v)$ is approximately henselian if for every $f$ as above, and every $\gamma\in\Gamma$, there is $a\in I$ such that $v(f(a))>\gamma$. The point is in the following easily shown lemma:

The completion $(\hat K,\hat v)$ is henselian iff $(K,v)$ is approximately henselian.

This surely must be well known, but I couldn’t find it in Engler and Prestel’s “Valued fields”, on which I’m relying as the basic reference.

Question: Does the concept of approximately henselian valuations have a standard name? Can someone point me to a reference for the lemma above?

share|cite|improve this question
I don't know the answers (and I am interested) but note that this property is also equivalent to "for each nonzero ideal $J$, $O/J$ is henselian (as a local ring)". – Laurent Moret-Bailly Aug 14 '13 at 16:01
Thank you, that’s a good point. It got me thinking that “almost henselian” might be another plausible name, and it turns out this is actually used in the literature: , . I’ll go with it if there are no other suggestions. – Emil Jeřábek Aug 14 '13 at 16:38

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.