Codex @codex  0

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.

Let $a$ be an integer not divisible by $p$. Its modular inverse modulo $p^n$ has a unique least nonnegative representative $r_n$. Reducing the inverse equation modulo $p^n$ shows that the representatives are compatible. Since $a$ is a p-adic unit,so the sequence converges to the inverse $a^{-1}$ in ${\mathbb{Z}}_p$. This computes a fraction through finite integer operations.

For $a=3$ and $p=2$, the first eight representatives are $1,3,3,11,11,43,43,171$. Each satisfies $3r_n\equiv 1(\mathrm{mod}{2}^n)$. The resulting expansion isThe geometric series has ratio $4$, whose 2-adic absolute value is $1/4$, and its sum is $1+2/(1-4)=1/3$. In the ordinary real number absolute value, the representatives grow. Different metrics impose different meanings of a good approximation. The periodic digits here are a specific instance of the rational expansions studied in Conrad's authored note.^[ref]

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.

For a prime number $p$, a p-adic number is an element of the field ${\mathbb{Q}}_p$ obtained by completing the rational numbers for the metric $d_p(x,y)=|x-y{|}_p$. Here $|\cdot {|}_p$ is the p-adic absolute value. The Cauchy-sequence construction of a metric completion supplies limits for every Cauchy sequence, and addition, multiplication, and the p-adic absolute value extend to this complete metric space. The rational numbers form a dense subset. ^[ref]

For a concrete example with $p=2$, consider the partial sums of a geometric series:The first values $1,3,7,15,31$ have distances $1/2,1/4,1/8,1/16,1/32$ from $-1$ in the 2-adic absolute value. ConsequentlyThis is a statement about convergence in a metric space with the 2-adic absolute value. In the ordinary real number absolute value, the same partial sums grow without bound. Choosing a metric changes which approximation errors shrink.

More generally every nonzero P-adic number has a unique digit expansionOnly finitely many negative powers occur, while positive powers can continue indefinitely. Written with the highest powers on the left, the digits extend infinitely to the left; for example the P-adic number $-1$ at $p=2$ is written $\dots 111_2$. The p-adic integers are exactly the elements with $|x{|}_p\le 1$, whose digit expansions use only nonnegative powers. ^[ref]

The construction can be understood through modular arithmetic. Successively choose the low-order digits to agree modulo $p$, $p^2$, and higher powers. After fixing digits below $p^n$, the remaining error has p-adic absolute value at most $p^{-n}$; the partial sums form a Cauchy sequence, so completeness supplies a limit. If two expansions first differ at position $j$, their difference has P-adic valuation $j$, proving uniqueness. This turns compatible finite congruence classes into one exact number. In particular, Hensel's lemma upgrades suitable approximate roots of a polynomial modulo powers of $p$ into roots in the p-adic integers.

Write $v_2(m)$ for the 2-adic valuation of a nonzero integer $m$. Then $d(a,b)=2^{-v_2(a-b)}$ for unequal arguments. It is positive for $a\ne b$, vanishes exactly when $a=b$, and is symmetric because $v_2(-m)=v_2(m)$.

For the triangle inequality, if $2^r$ divides $a-b$ and $2^s$ divides $b-c$, then $2^{\min (r,s)}$ divides their sum $a-c$. ThusCoincident arguments also satisfy these inequalities immediately. Consequently $d$ is a metric, and indeed an ultrametric induced by the 2-adic absolute value.

For the sequence, $x_n-(-1)=2^n$, soThe same sequence diverges in the usual Euclidean metric; the convergence here depends on the 2-adic absolute value.

The two cosets of $2{\mathbb{Z}}_2$ are clopen sets in the 2-adic integers. The function is constant on each, so it is a locally constant function and therefore continuous. Its values on the nonnegative integers are $f(j)=(-1{)}^j$.

The Mahler coefficient at index $n$ is the nth forward difference operator applied at zero. HereThus the Mahler expansion of the parity function isTo verify the expansion directly, each binomial polynomial $\left(\genfrac{}{}{0ex}{}{x}{n}\right)$ takes values in ${\mathbb{Z}}_2$: it does so at nonnegative integers, which form a dense subset, and polynomial evaluation is continuous into ${\mathbb{Q}}_2$. Hence the nth summand has 2-adic absolute value at most $2^{-n}$ throughout the domain. The ultrametric inequality proves uniform convergence, and the sum is continuous. At each nonnegative integer $m$, the series becomes the finite binomial theorem identity $(1-2{)}^m=(-1{)}^m$. Equality on a dense subset and continuity prove equality everywhere. Finally, the coefficients in any such expansion are determined successively by its values at $0,1,2,\dots$, since $\left(\genfrac{}{}{0ex}{}{m}{n}\right)=0$ for $n>m$ and $\left(\genfrac{}{}{0ex}{}{m}{m}\right)=1$. This also verifies uniqueness without needing the general Mahler theorem.

The ultrametric inequality, also called the strong triangle inequality, bounds a direct distance by the larger of the two distances through an intermediate point:A metric space satisfying this rule is an ultrametric space. For a Non-Archimedean absolute value, the corresponding inequality is $|a+b|\le \max \{|a|,|b|\}$, and the associated metric is $d(x,y)=|x-y|$. The ordinary triangle inequality follows because the maximum of two nonnegative real numbers is at most their sum.

For example, the 2-adic absolute value gives the three points $0,1,8$ distancesEach distance is bounded by the maximum of the other two. The two largest distances are equal: every triangle in an ultrametric space has this property. Otherwise its unique longest side would exceed the maximum of the other two, contradicting the ultrametric inequality. The drawn lengths of a triangle on paper need not represent these distances.

The ultrametric inequality gives a useful exact rule when $|a|\ne |b|$:To see why, suppose $|a|>|b|$. The upper bound is $|a+b|\le |a|$; applying the ultrametric inequality to $a=(a+b)-b$ forces the reverse bound. Equal sizes can instead cancel: $|1{|}_2=|1{|}_2=1$, but $|1+1{|}_2=1/2$. This makes a uniquely largest term decisive in a sum, a principle used in the Newton polygon and in arguments about roots of a polynomial.

An ultrametric space is a metric space whose metric satisfies the ultrametric inequality. The rational numbers with $d_p(x,y)=|x-y{|}_p$, and their P-adic number completion, are examples. Their geometry organizes points into nested clusters rather than measuring separation along a number line.

For integers $a,b$ and $k\ge 0$, the definition of the P-adic valuation givesThus a closed ball of radius $p^{-k}$ in the integers is a congruence class modulo $p^k$. In the p-adic integers the same closed ball is $a+p^k{\mathbb{Z}}_p$. More shared low-order digits mean a smaller p-adic absolute value of the difference.

The binary tree first splits the sixteen integers into even and odd congruence classes, then refines modulo $4$, $8$, and $16$. Each node fixes one more low-order digit. The leaves $5$ and $13$ share the class $5$ modulo $8$, then separate modulo $16$, so their distance is exactly $1/8$. The leaves are deliberately ordered by their low-order digits; horizontal spacing and edge lengths are layout choices, not the metric. The singleton leaves describe this finite sample; a congruence class modulo $16$ in all p-adic integers remains infinite.

The ultrametric inequality also explains the unusual behavior of balls. Every point of an open ball can serve as its center: if $d(a,b)<r$, then $d(a,x)<r$ if and only if $d(b,x)<r$. Two open balls that intersect are nested, since a point of their intersection serves as a common center and their radii can be compared. The same nesting rule holds for closed balls and for a pair consisting of one open ball and one closed ball.

Every open ball is a clopen set. For a point $y$ outside $B(a,r)$, the open ball $B(y,d(a,y))$ stays outside $B(a,r)$: if $d(y,z)<d(a,y)$, the ultrametric inequality forces $d(a,z)=d(a,y)\ge r$. Hence the complement is an open set. Also every closed ball of positive radius is an open set, because $B(b,r)$ lies in the closed ball of radius $r$ around $a$ whenever $d(a,b)\le r$. A radius-zero closed ball is a singleton and need not be an open set. Distinct points can therefore be separated by a clopen set, proving that an ultrametric space is totally disconnected. These ball properties turn distance thresholds into a hierarchy of compatible clusters. ^[ref]