Ostrowski's theorem


In number theory, Ostrowski's theorem, due to Alexander Ostrowski, states that every non-trivial absolute value on the rational numbers is equivalent to either the usual real absolute value or a -adic absolute value.

Definitions

Raising an absolute value to a power less than 1 always results in another absolute value. Two absolute values and on a field K are defined to be equivalent if there exists a real number such that
The trivial absolute value on any field K is defined to be
The real absolute value on the rationals is the standard absolute value on the reals, defined to be
This is sometimes written with a subscript 1 instead of infinity.
For a prime number, the -adic absolute value on is defined as follows: any non-zero rational can be written uniquely as, where and are coprime integers not divisible by, and is an integer; so we define

Proof

Consider a non-trivial absolute value on the rationals. We consider two cases:
It suffices for us to consider the valuation of integers greater than one. For, if we find for which for all naturals greater than one, then this relation trivially holds for 0 and 1, and for positive rationals
and for negative rationals

Case (1)

Let with. Express in base :
Then we see, by the properties of an absolute value:
Therefore,
However, as, we have
which implies
Now choose such that Using this in the above ensures that regardless of the choice of . Thus for any choice of above, we get
i.e.
By symmetry, this inequality is an equality.
Since were arbitrary, there is a constant for which, i.e. for all naturals. As per the above remarks, we easily see that for all rationals, thus demonstrating equivalence to the real absolute value.

Case (2)

As this valuation is non-trivial, there must be a natural number for which Factoring into primes:
yields that there exists such that We claim that in fact this is so for only one.
Suppose per contra that are distinct primes with absolute value less than 1. First, let be such that. By the Euclidean algorithm, there are such that This yields
a contradiction.
So we must have for some, and for. Letting
we see that for general positive naturals
As per the above remarks, we see that for all rationals, implying that the absolute value is equivalent to the -adic one. Q.E.D.|
One can also show a stronger conclusion, namely, that is a nontrivial absolute value if and only if either for some or for some.

Another Ostrowski's theorem

Another theorem states that any field, complete with respect to an Archimedean absolute value, is isomorphic to either the real numbers or the complex numbers. This is sometimes also referred to as Ostrowski's theorem.