Misplaced Pages

This is an old revision of this page, as edited by Jarble (talk | contribs) at 03:24, 6 June 2013 (→Proof: The source of this proof should be identified - it isn't clear at all here). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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

Definitions

Two absolute values | · | and ${\displaystyle |\cdot |_{\ast }}$ on a field K are defined to be equivalent if there exists a real number c > 0 such that

${\displaystyle |x|_{\ast }=|x|^{c}{\text{ for all }}x\in \mathbf {K} .}$

The trivial absolute value on any field K is defined to be

${\displaystyle |x|_{0}:={\begin{cases}0,&{\text{if }}x=0\\1,&{\text{if }}x\neq 0.\end{cases}}}$

The real absolute value on the rationals Q is the normal absolute value on the reals, defined to be

${\displaystyle |x|_{\infty }:={\begin{cases}x,&{\text{if }}x\geq 0\\-x,&{\text{if }}x<0.\end{cases}}}$

This is sometimes written with a subscript 1 instead of infinity.

For a prime number p, the p-adic absolute value on Q is defined as follows: any non-zero rational x, can be written uniquely as ${\displaystyle x=p^{n}{\dfrac {a}{b}}}$ with a, b and p pairwise coprime and ${\displaystyle n\in \mathbf {Z} }$ some integer; so we define

${\displaystyle |x|_{p}:={\begin{cases}0,&{\text{if }}x=0\\p^{-n},&{\text{if }}x\neq 0.\end{cases}}}$

Proof

This section does not cite any sources. Please help improve this section by adding citations to reliable sources. Unsourced material may be challenged and removed. (Learn how and when to remove this message)

Consider a non-trivial absolute value on the rationals ${\displaystyle (\mathbf {Q} ,|\cdot |_{\ast })}$. We consider two cases, (i) ${\displaystyle \exists {n\in \mathbf {N} },|n|>1}$ and (ii) ${\displaystyle \forall {n\in \mathbf {N} },|n|\leq 1}$. It suffices for us to consider the valuation of integers greater than one. For if we find some ${\displaystyle c\in \mathbf {R} ^{+}}$ for which ${\displaystyle |n|_{\ast }=|n|_{\infty }^{c}}$ for all naturals greater than one; then this relation trivially holds for 0 and 1, and for positive rationals ${\displaystyle |m/n|_{\ast }=|m|_{\ast }/|n|_{\ast }=|m|_{\infty }^{c}/|n|_{\infty }^{c}=(|m|_{\infty }/|n|_{\infty })^{c}=|m/n|_{\infty }^{c}}$; and for negative rationals ${\displaystyle |{-}x|_{\ast }=|x|_{\ast }=|x|_{\infty }^{c}=|{-}x|_{\infty }^{c}}$.

Case I: ∃n ∈ N   |n| > 1

Consider the following calculation. Let ${\displaystyle a,b\in \mathbf {N} ,>1}$. Let ${\displaystyle n\in \mathbf {N} ,>0}$. Expressing b in base a yields ${\displaystyle b^{n}=\Sigma _{i{<}m}c_{i}a^{i}}$, where each ${\displaystyle c_{i}\in \{0,1,\ldots ,a-1\}}$ and ${\displaystyle m\leq n\log b/\log a+1}$. Then we see, by the properties of an absolute value:

${\displaystyle {\begin{aligned}|b|_{\ast }^{n}=|b^{n}|_{\ast }&\leq am\max\{|a|_{\ast }^{m},1\}\\&\leq a(n\log _{a}b+1)\max\{|a|_{\ast }^{n\log _{a}b},1\}\\\Rightarrow |b|_{\ast }&\leq \underbrace {{\big (}a(n\log _{a}b+1){\big )}^{\frac {1}{n}}} _{\to 1{\text{ as }}n\to \infty }\max\{|a|_{\ast }^{\log _{a}b},1\}\\\Rightarrow |b|_{\ast }&\leq \max\{|a|_{\ast }^{\log _{a}b},1\}.\end{aligned}}}$

Now choose ${\displaystyle b\in \mathbf {N} ,>1}$ such that ${\displaystyle |b|_{\ast }>1}$.Using this in the above ensures that ${\displaystyle |a|_{\ast }>1}$ regardless of the choice of a (else ${\displaystyle |a|_{\ast }^{\log _{a}b}\leq 1}$ implying ${\displaystyle |b|_{\ast }\leq 1}$). Thus for any choice of a, b > 1 above, we get ${\displaystyle |b|_{\ast }\leq |a|_{\ast }^{\log b/\log a}}$, i.e. ${\displaystyle \log |b|_{\ast }/\log b\leq \log |a|_{\ast }/\log a}$. By symmetry, this inequality is an equality.

Since a, b were arbitrary, there is a constant, ${\displaystyle \lambda \in \mathbf {R} ^{+}}$ for which ${\displaystyle \log |n|_{\ast }=\lambda \log n}$, i.e. ${\displaystyle |n|_{\ast }=n^{\lambda }=|n|_{\infty }^{\lambda }}$ for all naturals n > 1. As per the above remarks, we easily see that for all rationals, ${\displaystyle |x|_{\ast }=|x|_{\infty }^{\lambda }}$, thus demonstrating equivalence to the real absolute value.

Case II: ∀n ∈ N   |n| ≤ 1

As this valuation is non-trivial, there must be a natural number for which ${\displaystyle |n|_{\ast }<1}$. Factorising this natural, ${\displaystyle n=\Pi _{i<r}p_{i}^{e_{i}}}$ yields ${\displaystyle |p|_{\ast }}$ must be less than 1, for at least one of the prime factors p = p_j. We claim than in fact, that this is so for only one.

Suppose per contra that ${\displaystyle p,q}$ are distinct primes with absolute value less than 1. First, let ${\displaystyle e\in \mathbf {N} ^{+}}$ be such that ${\displaystyle |p|_{\ast }^{e},|q|_{\ast }^{e}<1/2}$. By the Euclidean algorithm, let ${\displaystyle m,n\in \mathbf {Z} }$ be integers for which ${\displaystyle mp^{e}+nq^{e}=1}$. This yields ${\displaystyle 1=|1|_{\ast }\leq |m|_{\ast }|p|_{\ast }^{e}+|n|_{\ast }|q|_{\ast }^{e}<{\frac {|m|_{\ast }+|n|_{\ast }}{2}}\leq 1}$, a contradiction.

So must have ${\displaystyle |p|_{\ast }=\alpha <1}$ for some prime, and ${\displaystyle |q|_{\ast }=1}$ all other primes. Letting ${\displaystyle c=-\log \alpha /\log p}$, we see that for general positive naturals ${\displaystyle n=\Pi _{i<r}p_{i}^{e_{i}}}$; ${\displaystyle |n|_{\ast }=\Pi _{i<r}|p_{i}|_{\ast }^{e_{i}}=|p_{j}|_{\ast }^{e_{j}}=(p^{-e_{j}})^{c}=|n|_{p}^{c}}$. As per the above remarks we see that ${\displaystyle |x|_{\ast }=|x|_{p}^{c}}$ all rationals, implying the absolute value is equivalent to the p-adic one.

${\displaystyle \blacksquare }$

One can also show a stronger conclusion, namely that ${\displaystyle |\cdot |_{\ast }:\mathbf {Q} \to \mathbf {R} }$ is a nontrivial absolute value if and only if either ${\displaystyle |\cdot |_{\ast }=|\cdot |_{\infty }^{c}}$ for some ${\displaystyle c\in (0,1]}$ or ${\displaystyle |\cdot |_{\ast }=|\cdot |_{p}^{c}}$ for some ${\displaystyle c\in (0,\infty ),p\in \mathbf {P} }$.

Another Ostrowski's theorem

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

See also

• Valuation (algebra)
• Absolute value in general

References

1. Koblitz, Neal (1984). P-adic numbers, p-adic analysis, and zeta-functions (2nd ed. ed.). New York: Springer-Verlag. p. 3. ISBN 978-0-387-96017-3. Retrieved 24 August 2012. Theorem 1 (Ostrowski). Every nontrivial norm ‖ ‖ on ℚ is equivalent to | |_p for some prime p or for p = ∞. {{cite book}}: |edition= has extra text (help)
2. Cassels (1986) p. 33

• Cassels, J.W.S. (1986). Local Fields. London Mathematical Society Student Texts. Vol. 3. Cambridge University Press. ISBN 0-521-31525-5. Zbl 0595.12006.
• Janusz, Gerald J. (1996, 1997). Algebraic Number Fields (2nd ed.). American Mathematical Society. ISBN 0-8218-0429-4. {{cite book}}: Check date values in: |year= (help)CS1 maint: year (link)
• Jacobson, Nathan (1989). Basic algebra II (2nd ed.). W H Freeman. ISBN 0-7167-1933-9.
• Ostrowski, Alexander (1916). "Über einige Lösungen der Funktionalgleichung φ(x)·φ(y)=φ(xy)". Acta Mathematica. 41 (1) (2nd ed.): 271–284. doi:10.1007/BF02422947. ISSN 0001-5962.

• Theorems in number theory