Integer criterion for a non-Archimedean absolute value
ID: integer-criterion-for-a-non-archimedean-absolute-value
An absolute value on a field is non-Archimedean if and only if for every positive integer . Necessity follows from the ultrametric inequality. Conversely the binomial theorem gives , since every binomial coefficient has absolute value at most one. Take th roots and let . In particular an extension of an absolute value that is non-Archimedean stays non-Archimedean.
New to topics? Read the docs here!