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

We define a valuation on the field of rational number $\mathbb Q$ as follows. For example if we choose a prime number $2$ then for $x \neq 0\in \mathbb Q$, $v(x) = v(2^{n}a/b)= n$ where $n$ is an integer and $a$ and $b$ are relatively prime integer. I have a question, how do we extend this valuation explicitly over the field $\mathbb Q(2^{1/2})$. Thanks

share|cite|improve this question
up vote 3 down vote accepted

The ring of integers of $\mathbb{Q}(\sqrt 2)$ is given by $\mathbb{Z}[\sqrt 2]$. The valuations of $\mathbb{Q}(\sqrt 2)$ extending $v$ can be deduced from the prime ideal factorization of $(2)$ in the ring $\mathbb{Z}[\sqrt 2]$. More precisely we have $$ (2) = \mathfrak p^2 $$ with $\mathfrak p = (\sqrt 2)$ a prime ideal of $\mathbb{Z}[\sqrt 2]$. Given $x \in \mathbb{Z}[\sqrt 2]$ denote by $v_\mathfrak p(x)$ the integer $n$ such that $x \in \mathfrak p^n$ and $x \notin \mathfrak p^{n+1}$. For arbitrary $\frac{x}{y} \in \mathbb Q(\sqrt 2)$ with $x,y \in \mathbb Z[\sqrt 2]$ set $v_\mathfrak p(\frac x y) = v_\mathfrak p(x) - v_\mathfrak p(y)$. A valuation $w$ of $\mathbb Q(\sqrt 2)$ extending $v$ is then given by $w(x) = \frac{v_\mathfrak p(x)}{2}$ (The $2$ in the denominator being the inertia degree of $\mathfrak p$ over $2$). I hope this is explicitly enough.

share|cite|improve this answer
Thanks Hans. This is awesome. – Rajesh Jan 6 '13 at 15:51
This makes really sense for me. For arbitary field $K$ with valuation $v$ and ${\alpha}$ is an algebraic element over $K$. Can we extend the valuation $v$ over $K[{\alpha}]$. – Sharma Sharma Jan 6 '13 at 22:41
@SharmaSharma: This is a good question. – Rajesh Jan 6 '13 at 23:13
@SharmaSharma: There is a more general theorem: If $K$ is a field with valuation $v$ and $L|K$ is an algebraic extension, then there exists an extension of $v$ to $L$. Since your element $\alpha$ is algebraic the theorem applies to your situation. Unfortunatly the only proof I'm aware of invokes Zorn's Lemma. The construction is therefore not as explicit as in the case of Rajesh or algebraic number fields in general. – Hans Giebenrath Jan 7 '13 at 8:00
@Hans, thank you very much. I am kind of wandering, is that extension $w$ is unique in your answer for algebraic number field $\mathbb Q$ to $\mathbb Q[2^{1/2}]$? – Sharma Sharma Jan 7 '13 at 16:49

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.