Bounded-integer criterion for a non-Archimedean absolute value
ID: bounded-integer-criterion-for-a-non-archimedean-absolute-value
An absolute value on a field is non-Archimedean exactly when its values on the image of are bounded. The reverse implication follows by applying the ordinary triangle inequality to the binomial expansion of and taking th roots as .
New to topics? Read the docs here!