p-adic absolute value ($|\cdot {|}_p$)

Fix a prime number $p$. Write a nonzero rational number as $x=p^{k}a/b$, where $k\in \mathbb{Z}$ and the nonzero integers $a,b$ are not divisible by $p$. The exponent $k$ is uniquely determined. Its P-adic valuation is this signed exponent $v_p(x)=k$: equivalently, for any nonzero integer numerator $A$ and denominator $B$,Factors of $p$ in the numerator decrease the p-adic absolute value; factors in the denominator increase it. For $p=2$ the computations are:

This is an absolute value on a field measuring divisibility, rather than the magnitude on a real number number line. It satisfiesThe proof comes directly from P-adic valuations: exponents add in a product of numbers, and extracting a common power of $p$ from a sum gives $v_p(x+y)\ge \min \{v_p(x),v_p(y)\}$. If the two P-adic valuations differ, the remaining term with smaller exponent cannot cancel modulo $p$, so equality holds. Thus the p-adic absolute value is a Non-Archimedean absolute value. ^[ref]

The metric $d_p(x,y)=|x-y{|}_p$ makes two rational numbers close when their difference contains a high power of $p$. This packages successive modular congruences into a numerical error estimate, allowing convergence in a metric space and convergent series to encode exact arithmetic information.

The p-adic metric on the P-adic numbers is induced by the p-adic absolute value. Its ultrametric inequality is $d_p(x,z)\le \max (d_p(x,y),d_p(y,z))$. On p-adic integers, digit agreement and p-adic distance expresses metric precision as shared low-order digits.

The 2-adic absolute value is the p-adic absolute value for the prime number $p=2$. It is defined on the rational numbers by $|x{|}_2=2^{-v_2(x)}$ for $x\ne 0$ and $|0{|}_2=0$, and extends to their P-adic number completion ${\mathbb{Q}}_2$. For a nonzero integer, count factors of two until the remaining factor is odd; for a rational number, subtract the denominator's count from the numerator's count.

The associated metric reverses a familiar comparison:Although $13$ is eight units from $5$ on the ordinary number line, it agrees with $5$ modulo $8$, whereas $6$ already disagrees modulo $2$. The 2-adic absolute value measures that agreement. The value $|3/8{|}_2=8$ also shows why this Non-Archimedean absolute value must be distinguished from the ordinary absolute value $|3/8|=3/8$.

In the left panel, differences farther from the diagonal grow in ordinary absolute value. In the right panel, nonzero even differences are closer than odd differences, and each further factor of two halves the 2-adic absolute value. The highlighted pairs have opposite distance rankings. The repeated pattern is the nested congruence class structure of an ultrametric space, visible without adding any new points.

Every nontrivial absolute value on $\mathbb{Q}$ is equivalent either to the usual absolute value or to one $p$-adic absolute value.

For a nontrivial Non-Archimedean absolute value on $\mathbb{Q}$, every integer has absolute value at most one. Some prime $p$ must have value less than one, or the value would be trivial on every rational number. Two distinct such primes are impossible by a Bezout identity. Prime factorization then gives the displayed formula. Distinct primes give inequivalent topologies, since powers of $p$ tend to zero only for the $p$-adic absolute value among these values.

The nontrivial non-Archimedean absolute values on a number field $K$, up to equivalence, are indexed by the nonzero prime ideals $\mathfrak{p}$ of its ring of integers. The value associated with $\mathfrak{p}$ is a fixed exponential of the discrete valuation $v_{\mathfrak{p}}$.