p-adic Numbers — Topology, Algebra, and Hensel's Lemma

p-adic numbers ℚₚ complete ℚ using non-Archimedean metric: closeness measured by divisibility by powers of prime p
Two numbers are p-adically close if their difference is divisible by high power of p, inverting intuition about size
Hensel's Lemma lifts polynomial solutions mod pⁿ to solutions mod pⁿ⁺¹, analogous to Newton-Raphson method
p-adic topology violates Archimedean property but enables simpler computations than reals for number theory problems
Natural framework for Diophantine equations, local-global principles, and algebraic number theory applications
Kurt Hensel (1897) developed this by treating primes as "points at infinity" to do analysis at individual primes

p-adic Numbers — Topology, Algebra, and Hensel's Lemma

Overview

The p-adic numbers $Q_{p}$ provide an alternative completion of the rational numbers $Q$ that is fundamentally different from the familiar real numbers $R$ . While the reals arise from the standard absolute value measuring "size," the p-adic numbers emerge from a different notion of distance: two numbers are "close" if their difference is divisible by a high power of a fixed prime $p$ . This seemingly exotic construction reveals profound structure in number theory, providing a natural setting for studying Diophantine equations, local-global principles, and algebraic number theory.

The p-adic numbers were introduced by Kurt Hensel in 1897 as an algebraic tool for studying problems in number theory. Hensel's insight was to treat primes like points at infinity and develop analysis "at a prime," analogous to how power series work in complex analysis. This perspective transforms questions about integers and congruences into problems about continuous functions and convergent series. The p-adic topology is non-Archimedean—violating our geometric intuition—yet possesses rich algebraic structure that makes many computations simpler than their real counterparts.

The culmination of this algebraic structure is Hensel's Lemma, a fundamental lifting principle that allows solutions to polynomial equations modulo $p^{n}$ to be lifted to solutions modulo $p^{n + 1}$ under suitable conditions. This makes $Q_{p}$ remarkably amenable to computation and provides a powerful tool for existence proofs. The lemma is the p-adic analogue of the Newton's method|Newton-Raphson method and serves as the foundation for understanding the interplay between topology and algebra in p-adic analysis.

The p-adic numbers complete $Q$ with respect to a non-Archimedean absolute value where divisibility by high powers of $p$ measures closeness. This topology makes $Z_{p}$ compact and allows polynomial equations to be solved by successive approximation via Hensel's Lemma.

p-adic Numbers — Topology, Algebra, and Hensel's Lemma

Fix a prime $p$ . The p-adic absolute value on $Q$ is defined by:

∣ x ∣_{p} = p^{- v_{p} (x)} for x \neq = 0, ∣0 ∣_{p} = 0

where

v_{p} (x)

is the p-adic valuation: if

x = p^{n} \frac{a}{b}

with

g cd (a, p) = g cd (b, p) = 1

, then

v_{p} (x) = n

The p-adic metric is $d_{p} (x, y) = ∣ x - y ∣_{p}$ . The completion of $Q$ with respect to this metric is the field $Q_{p}$ of p-adic numbers. The ring $Z_{p} = {x \in Q_{p} : ∣ x ∣_{p} \leq 1}$ is the ring of p-adic integers.

Hensel's Lemma (Classical Form): Let

f (X) \in Z_{p} [X]

be a polynomial. If there exists

a \in Z_{p}

such that

∣ f (a) ∣_{p} < ∣ f^{'} (a) ∣_{p}^{2}

, then there exists a unique

α \in Z_{p}

with

f (α) = 0

and

∣ α - a ∣_{p} < ∣ f^{'} (a) ∣_{p}

Core Theory

Main Results

Theorem [1] (Ostrowski): Every non-trivial absolute value on

Q

is equivalent either to the standard absolute value

∣ \cdot ∣_{\infty}

or to a p-adic absolute value

∣ \cdot ∣_{p}

for some prime

p

. Theorem [2] (Ultrametric Inequality): For all

x, y \in Q_{p}

∣ x + y ∣_{p} \leq max {∣ x ∣_{p}, ∣ y ∣_{p}}

with equality if

∣ x ∣_{p} \neq = ∣ y ∣_{p}

. Theorem [3] (Compactness of $Z_{p}$ ): The ring

Z_{p}

is a compact topological ring. Every element of

Z_{p}

has a unique representation

x = i = 0 \sum \infty a_{i} p^{i}

where

0 \leq a_{i} < p

, and this series converges in the p-adic topology. Theorem [4] (Hensel's Lemma — Strong Form): Let

f (X) \in Z_{p} [X]

. If

a \in Z_{p}

satisfies

v_{p} (f (a)) > 2 v_{p} (f^{'} (a))

, then there exists a unique

α \in Z_{p}

with

f (α) = 0

v_{p} (α - a) > v_{p} (f^{'} (a))

, and

f^{'} (α) = f^{'} (a)

. Proof of Theorem [4] (Hensel's Lemma):

We construct $α$ as a limit of a sequence using Newton iteration. Let $a_{0} = a$ and define recursively:

a_{n + 1} = a_{n} - \frac{f ( a _{n} )}{f ^{'} ( a _{n} )}

Step 1 (Sequence is well-defined): We have

f^{'} (a_{0}) = f^{'} (a) \neq = 0

Z_{p}

since

v_{p} (f^{'} (a))

is finite. By induction, we'll show

f^{'} (a_{n}) = f^{'} (a)

for all

n

, so division is always possible. Step 2 (Improvement at each step): We claim that

v_{p} (f (a_{n + 1})) > 2 v_{p} (f (a_{n})) - 2 v_{p} (f^{'} (a))

By Taylor expansion in $Z_{p}$ :

f (a_{n + 1}) = f (a_{n} - \frac{f ( a _{n} )}{f ^{'} ( a _{n} )}) = f (a_{n}) - f^{'} (a_{n}) \cdot \frac{f ( a _{n} )}{f ^{'} ( a _{n} )} + \frac{f ^{''} ( ξ )}{2} (\frac{f ( a _{n} )}{f ^{'} ( a _{n} )})^{2}

for some

ξ

between

a_{n}

and

a_{n + 1}

This gives:

f (a_{n + 1}) = \frac{f ^{''} ( ξ )}{2 f ^{'} ( a _{n} ) ^{2}} \cdot f (a_{n})^{2}

Taking valuations:

v_{p} (f (a_{n + 1})) \geq 2 v_{p} (f (a_{n})) - 2 v_{p} (f^{'} (a_{n}))

Step 3 (Derivative is constant): For

n = 0

, we have

v_{p} (a_{1} - a_{0}) = v_{p} (f (a_{0}) / f^{'} (a_{0})) = v_{p} (f (a_{0})) - v_{p} (f^{'} (a_{0})) > v_{p} (f^{'} (a_{0}))

by hypothesis. By Taylor:

f^{'} (a_{1}) = f^{'} (a_{0}) + f^{''} (η) (a_{1} - a_{0})

Thus $v_{p} (f^{'} (a_{1}) - f^{'} (a_{0})) \geq v_{p} (a_{1} - a_{0}) > v_{p} (f^{'} (a_{0}))$ , which by the ultrametric inequality implies $v_{p} (f^{'} (a_{1})) = v_{p} (f^{'} (a_{0}))$ . By induction, $f^{'} (a_{n}) = f^{'} (a)$ for all $n$ .

Step 4 (Cauchy sequence): We have

v_{p} (a_{n + 1} - a_{n}) = v_{p} (f (a_{n})) - v_{p} (f^{'} (a_{n})) > v_{p} (f (a_{n - 1})) - v_{p} (f^{'} (a)) > \dots

The sequence of valuations $v_{p} (a_{n + 1} - a_{n})$ is strictly increasing, so $∣ a_{n + 1} - a_{n} ∣_{p} \to 0$ . Thus $(a_{n})$ is Cauchy in $Z_{p}$ , which is complete, so $a_{n} \to α \in Z_{p}$ .

Step 5 (Limit is a root): Since

f

is continuous in the p-adic topology and

v_{p} (f (a_{n})) \to \infty

, we have

f (α) = lim f (a_{n}) = 0

. Step 6 (Uniqueness): Suppose

β \in Z_{p}

also satisfies the conditions. Then:

0 = f (α) - f (β) = f^{'} (α) (α - β) + O ((α - β)^{2})

If $α \neq = β$ , then $v_{p} (f^{'} (α) (α - β)) < v_{p} ((α - β)^{2})$ since $v_{p} (α - a), v_{p} (β - a) > v_{p} (f^{'} (a))$ implies both have derivative $f^{'} (a)$ . This contradicts the equation above. □

Common Misconception: The p-adic absolute value is not Archimedean. In particular, all integers have norm at most 1:

∣ n ∣_{p} \leq 1

for

n \in Z

. This means "large" integers (in the usual sense) can be "small" p-adically if they're divisible by high powers of

p

. The triangle inequality becomes stronger (ultrametric), which implies all triangles are isosceles: if

∣ x ∣_{p} \neq = ∣ y ∣_{p}

, then

∣ x + y ∣_{p} = max {∣ x ∣_{p}, ∣ y ∣_{p}}

. This violates geometric intuition from Euclidean geometry. Kurt Hensel (1897) — Introduced p-adic numbers as a tool for applying analytic methods to number theory, developing the theory in his book Theorie der algebraischen Zahlen and subsequent works on p-adic analysis.

Examples and Applications

1

Computing in $Q_{7}$ : Find the 7-adic expansion of

\frac{1}{3}

We seek $x = \sum_{i = 0}^{\infty} a_{i} 7^{i}$ with $0 \leq a_{i} < 7$ such that $3 x = 1$ .

Start with $3 a_{0} \equiv 1 (mod 7)$ . Since $3 \cdot 5 = 15 = 2 \cdot 7 + 1$ , we have $a_{0} = 5$ .

Now $3 \cdot 5 = 15 = 1 + 2 \cdot 7$ , so we carry 2. For the next digit: $3 a_{1} + 2 \equiv 0 (mod 7)$ , giving $3 a_{1} \equiv - 2 \equiv 5 (mod 7)$ , so $a_{1} = 4$ (since $3 \cdot 4 = 12 = 5 + 7$ ).

Continuing: $3 \cdot 4 + 2 = 14 = 2 \cdot 7$ , carry 2. $3 a_{2} + 2 \equiv 0 (mod 7)$ gives $a_{2} = 4$ again.

This pattern repeats: $\frac{1}{3} = 5 + 4 \cdot 7 + 4 \cdot 7^{2} + 4 \cdot 7^{3} + \dots$ in $Z_{7}$ .

Verification: $3 (5 + 4 \cdot 7 + 4 \cdot 7^{2} + \dots) = 15 + 12 \cdot 7 + 12 \cdot 7^{2} + \dots = (1 + 2 \cdot 7) + (1 + 2 \cdot 7) \cdot 7 + \dots = 1 + 2 \cdot 7 + 2 \cdot 7^{2} + \dots$ .

Actually, more carefully: the geometric series gives $\frac{1}{3} = 5 + 4 \cdot 7 \cdot \frac{1}{1 - 7} = 5 - \frac{28}{6}$ ... Let me recalculate.

Actually: $\frac{1}{3} = \frac{1}{3} \cdot \frac{1}{1 - 0} = \sum_{k = 0}^{\infty} 5 \cdot 7^{k}$ where we solve $3 x \equiv 1 (mod 7^{k})$ iteratively. The answer is $\frac{1}{3} = 5 + 2 \cdot 7 + 2 \cdot 7^{2} + \dots = 5 (1 + \frac{2 \cdot 7}{5} + \dots)$ ... Direct: $\frac{1}{3} = \overline{524}$ in base 7 (periodic).

2

Applying Hensel's Lemma: Solve

x^{2} \equiv 2 (mod 7^{n})

for all

n

First, check if $2$ is a quadratic residue mod $7$ : we need $x^{2} \equiv 2 (mod 7)$ . Testing: $1^{2} = 1, 2^{2} = 4, 3^{2} = 2 (mod 7)$ . So $x_{0} = 3$ works.

Apply Hensel: $f (x) = x^{2} - 2$ , $f^{'} (x) = 2 x$ . At $x_{0} = 3$ : $f (3) = 7$ , $f^{'} (3) = 6$ .

Check condition: $∣ f (3) ∣_{7} = ∣7 ∣_{7} = 7^{- 1}$ and $∣ f^{'} (3) ∣_{7}^{2} = ∣6 ∣_{7}^{2} = 1$ . Since $7^{- 1} < 1$ , Hensel applies.

Newton iteration: $x_{1} = x_{0} - \frac{f ( x _{0} )}{f ^{'} ( x _{0} )} = 3 - \frac{7}{6}$ .

In $Z_{7}$ , we need $6^{- 1}$ . Since $6 \cdot 6 = 36 = 1 + 5 \cdot 7$ , we have $6^{- 1} \equiv 6 (mod 7)$ .

So $x_{1} = 3 - 7 \cdot 6 = 3 - 42 = - 39 \equiv 3 + 7 \cdot 4 = 31 (mod 49)$ .

Check: $3 1^{2} = 961 = 2 + 959 = 2 + 7 \cdot 137 = 2 + 7^{2} \cdot 19 + 7 \cdot 4$ . So $3 1^{2} \equiv 2 + 7 \cdot 4 (mod 49)$ ...

Actually, $31 = 3 + 4 \cdot 7$ , and $(3 + 4 \cdot 7)^{2} = 9 + 24 \cdot 7 + 16 \cdot 49 = 2 + 7 + 24 \cdot 7 (mod 49) = 2 + 25 \cdot 7 \equiv 2 + 4 \cdot 7 (mod 49)$ .

Hmm, let me use the formula: $x_{1} = 3 - \frac{7}{6} (mod 49)$ . We have $\frac{7}{6} = 7 \cdot 6^{- 1} = 7 \cdot 6 = 42 \equiv - 7 (mod 49)$ , so $x_{1} = 3 + 7 = 10 (mod 49)$ .

Check: $1 0^{2} = 100 = 2 + 98 = 2 + 2 \cdot 49 \equiv 2 (mod 49)$ . ✓

Hensel guarantees this lifts to a unique square root of $2$ in $Z_{7}$ : $2 = 3 + 1 \cdot 7 + a_{2} \cdot 7^{2} + \dots$

Failure without derivative condition: Consider

f (x) = x^{2}

over

Q_{2}

with initial approximation

a = 0

We have $f (0) = 0$ and $f^{'} (0) = 0$ . The condition $v_{2} (f (0)) > 2 v_{2} (f^{'} (0))$ becomes $\infty > \infty$ , which fails.

Indeed, $0$ is a "simple" root modulo any power of $2$ , but there's no unique lift: both $x = 0$ and $x = 2^{k}$ (for any $k \geq 1$ ) satisfy $x^{2} \equiv 0 (mod 2^{2 k})$ .

Without the derivative condition, we lose uniqueness and even existence. For instance, $f (x) = x^{2} + x$ has $f (0) = 0$ , $f^{'} (0) = 1$ , so the derivative is good. But $f (1) = 0$ and $f^{'} (1) = 1$ as well mod $2$ . The equation $x^{2} + x \equiv 0 (mod 2^{n})$ has multiple solutions for all $n$ , demonstrating that the valuation condition is essential for Hensel's conclusion.

Mental Model: Think of

Z_{p}

as an infinite tree where each node has

p

children, labeled

0, 1, \dots, p - 1

. A p-adic integer is an infinite path from the root, specifying digits

a_{0}, a_{1}, a_{2}, \dots

. The p-adic metric measures how long two paths stay together:

d_{p} (x, y) = p^{- n}

where

n

is the first level where the paths diverge.

This topology makes "nearby" elements share many initial digits. Balls are clopen (both closed and open), and any point in a ball is its center—there's no distinguished origin for a ball! This is radically different from Euclidean space.

Hensel's Lemma says: if you have an approximate root modulo $p^{n}$ with a good derivative, you can systematically improve it, like focusing in on a specific branch of the tree. The non-vanishing derivative ensures you're not at a "branch point" where multiple paths could work.

Geometrically, $Q_{p}$ is totally disconnected (every point is a connected component) but locally compact. It's the p-adic analogue of the real line, but with a fractal, tree-like structure rather than a continuum.

Historical Development

Kurt Hensel introduced p-adic numbers in 1897, motivated by analogy with Laurent series and power series expansions in algebraic geometry. Just as complex functions can be studied via Taylor expansions around points, Hensel wanted to study algebraic integers via expansions in powers of primes. His key insight was that Modular Arithmetic modulo increasing powers of $p$ naturally led to a complete metric space.

Hensel's lemma first appeared in his 1908 book Theorie der algebraischen Zahlen. The result was initially viewed as a technical tool for algebraic number theory, particularly for studying ramification in field extensions. Helmut Hasse later recognized p-adic numbers as fundamental objects in their own right, developing p-adic analysis systematically in the 1920s.

The modern categorical perspective emerged with Grothendieck's development of scheme theory in the 1960s. The spectrum $Spec Z_{p}$ became a fundamental example of a local ring|local scheme, and Hensel's lemma was reinterpreted as a formal smoothness criterion. The étale cohomology framework revealed deep connections between p-adic analysis and arithmetic geometry.

Contemporary formulations emphasize Hensel's lemma as an example of inverse limits and lifting properties. The Henselization of a local ring abstractly captures the essence of Hensel's lemma, while rigid analytic geometry (Tate, 1962) extends p-adic analysis to a full geometric theory, complete with analytic spaces and coherent sheaves.

Connections to Other Areas

Iwasawa Theory studies Galois representations and L-functions using infinite field extensions of

Q_{p}

. The Iwasawa algebra

Z_{p} [[Gal (Q_{\infty} / Q)]]

for the cyclotomic extension

Q_{\infty}

is a complete local ring where Hensel-like techniques control the arithmetic of ideal class groups. The Main Conjecture of Iwasawa theory (proved by Mazur-Wiles for cyclotomic fields) relates p-adic L-functions to Selmer groups, fundamentally relying on p-adic completeness and analytic continuation in the p-adic domain. This connection bridges classical number theory, algebraic K-theory, and modular forms, showing how p-adic topology enables deep arithmetic results.

p-adic Numbers — Topology, Algebra, and Hensel's Lemma