Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

In a valued fields book on page $82$ there is a question: "show that every non-trivial valuation of $\mathbb R$ has divisible value group and algebraically closed residue class field." How do I approach this problem? Thanks.

share|cite|improve this question
In general if a field $K$ is algebraically closed then the corresponding value group is divisible. Here, we have $K = \mathbb R$. This is making hard time for me. – Sharma Sharma Jan 16 '13 at 3:17
Just observe that $x$ and $-x$ have the same value, and one of the two will have an $n^{\text{th}}$ root. – Brett Frankel Jan 16 '13 at 14:24
Thanks Brett this is perfect. – Sharma Sharma Jan 16 '13 at 17:18
It's not very useful to give a page number without saying which book it refers to... – Hans Lundmark Jan 16 '13 at 18:21

Let $v$ be a valuation on $\mathbb{R}$ and assume that its residue field $k$ is not algebraically closed. Then there exists a monic irreducible polynomial $f\in k[X]$ of degree $>1$. Its lift to $O[X]$, where $O$ is the valuation ring of $v$, is irreducible over $O$ and hence over $\mathbb{R}$ -- this follows from the so-called Gauss-Lemma. Consequently the degree of $f$ is $2$. By Artin's theorem it follows that $k$ is real closed. It therefore carries a unique ordering; the positive elements being precisely the sums of non-zero squares of $k$. Note that the same holds for $\mathbb{R}$. Consequently the residue map $O\rightarrow k$ preserves the orderings of $\mathbb{R}$ and $k$. This property directly implies

$ 0\leq x < y \Rightarrow v(x)\geq v(y) (*) $

Since $k$ has characteristic $0$ one knows that $v$ is trivial on $\mathbb{Q}$. The equation (*) therefore implies that for every positive $x\in M$, $M$ the maximal ideal of $O$, one has $x<q$ for every positive rational number $q$, contradicting the density of the rationals in the reals.

Is there a simpler proof?

share|cite|improve this answer
Why is the degree of $f$ $2$? – user110706 Feb 9 '15 at 23:34
Because over the reals irreducible polynomials have degrees equal to one or two, and by assumption the reduction modulo $v$ has degree two. – Hagen Knaf Feb 10 '15 at 0:13

I think Theorem 3.2.11 of the book Valued Fields by Antonio J. Engler and Alexander Prestel, Springer, 2005, can be helpful.

share|cite|improve this answer
@ Azadeh Thanks. – Sharma Sharma Jan 20 '13 at 16:28

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.