Theorem 7.9
(Ostrowski’s Theorem)
.
Assuming that:
|
∙
|
is a non-trivial
absolute value
on
ℚ
Then
|
∙
|
is equivalent to either the usual
absolute value
|
∙
|
∞
or the
p
-adic
absolute value
|
∙
|
p
for some prime
p
.