In number theory, Ostrowski's theorem, due to Alexander Ostrowski (1916), states that every non-trivial absolute value on the rational numbers Q {\displaystyle \mathbb {Q} } is equivalent to either the usual real absolute value or a p-adic absolute value.
Theorem statement An absolute value on the rational numbers is a function | ⋅ | ∗ : Q → R {\displaystyle |\cdot |_{*}:\mathbb {Q} \to \mathbb {R} } satisfying for all x , y ∈ Q {\displaystyle x,y\in \mathbb {Q} }
| x | ∗ ≥ 0 {\displaystyle |x|_{*}\geq 0} , with equality if and only if x = 0 {\displaystyle x=0}
| x y | ∗ = | x | ∗ | y | ∗ {\displaystyle |xy|_{*}=|x|_{*}|y|_{*}}
| x + y | ∗ ≤ | x | ∗ + | y | ∗ {\displaystyle |x+y|_{*}\leq |x|_{*}+|y|_{*}}
Two absolute values | ⋅ | {\displaystyle |\cdot |} and | ⋅ | ∗ {\displaystyle |\cdot |_{*}} on the rationals are defined to be equivalent if they induce the same topology; this can be shown to be equivalent to the existence of a positive real number λ ∈ ( 0 , ∞ ) {\displaystyle \lambda \in (0,\infty )} such that
| x | ∗ = | x | λ {\displaystyle |x|_{*}=|x|^{\lambda }}
for all rational x {\displaystyle x} . (Note: In general, if | x | {\displaystyle |x|} is an absolute value, | x | λ {\displaystyle |x|^{\lambda }} is not necessarily an absolute value anymore; however if two absolute values are equivalent, then each is a positive power of the other.) The trivial absolute value on any field K is defined to be
| x | 0 := { 0 , x = 0 , 1 , x ≠ 0. {\displaystyle |x|_{0}:={\begin{cases}0,&x=0,\\1,&x\neq 0.\end{cases}}}
The real absolute value on the rationals Q {\displaystyle \mathbb {Q} } is the standard absolute value on the reals, defined to be
| x | ∞ := { x , x ≥ 0 , − x , x < 0. {\displaystyle |x|_{\infty }:={\begin{cases}x,&x\geq 0,\\-x,&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 {\displaystyle \mathbb {Q} } is defined as follows: any non-zero rational x can be written uniquely as x = p n a b {\displaystyle x=p^{n}{\tfrac {a}{b}}} , where a and b are coprime integers not divisible by p, and n is an integer; so we define
… excerpt ends here. Continue reading the full article.
