Non-trivial valuation of $\mathbb R$

581 Views Asked by At

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.

1

There are 1 best solutions below

1
On

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