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!