# Ostrowski’s valuation theorem

The field of rational numbers has no other non-equivalent (http://planetmath.org/EquivalentValuations) valuations than

• the absolute value, i.e. the complex modulus$|\cdot|_{\infty}$  and

• the $p$-adic valuations  $|\cdot|_{p}$  when $p$ goes through all positive primes.

Note.  Any valuation $|\cdot|$ of the field $\mathbb{Q}$ defines a metric  $d(x,\,y)=|x-y|$  in the field, but $\mathbb{Q}$ is complete (http://planetmath.org/Complete) only with respect to (the “trivial metric” defined by) the trivial valuation.  The field has the proper completions with respect to its other valuations:  the field of reals $\mathbb{R}$ and the fields $\mathbb{Q}_{p}$ of $p$-adic numbers (http://planetmath.org/PAdicIntegers); cf. also $p$-adic canonical form (http://planetmath.org/PAdicCanonicalForm).

Title Ostrowski’s valuation theorem OstrowskisValuationTheorem 2013-03-22 14:55:30 2013-03-22 14:55:30 pahio (2872) pahio (2872) 9 pahio (2872) Theorem msc 13A18