Arithmetic and number theory

p-adic numbers and arithmetic

A prime $p$ gives $\mathbb{Q}$ a second, non-Archimedean notion of distance: numbers become close when their difference is divisible by a high power of $p$. Completing $\mathbb{Q}$ under this metric produces $\mathbb{Q}_p$, the field where Hensel's lemma, Ostrowski's theorem, and modern arithmetic geometry live.

IntuitionRedefining closeness by divisibility

Ordinarily, two numbers are close when their difference is small. Fix a prime $p$ instead, and declare two integers close when their difference is divisible by a **high power of $p$. This is not a metaphor: it is a genuine, rigorous notion of distance, just built from a completely different rule. The key gadget is the $p$-adic valuation** $v_p(n)$, the exponent of the highest power of $p$ that divides the integer $n$ (with $v_p(0) = \infty$). Large $v_p(n)$ means $n$ is 'small' in the $p$-adic sense — the opposite of what $n$ looks like on the number line.

A concrete check with $p = 5$: take the integers $2$, $7$, $12$, and $127$. We have $7 - 2 = 5$, so $v_5(7-2) = 1$; and $12 - 2 = 10 = 2 \cdot 5$, also $v_5(12-2) = 1$. But $127 - 2 = 125 = 5^3$, so $v_5(127-2) = 3$. In the $5$-adic sense, $127$ sits far closer to $2$ than either $7$ or $12$ does, even though $127$ looks enormous on the ordinary number line and $7$, $12$ look nearby. Divisibility by $5^3$, not ordinary size, decides closeness.

UndergraduateBuilding $\mathbb{Z}_p$ as a limit of finite rings

The valuation $v_p$ turns into a genuine absolute value on $\mathbb{Q}$ by setting $|x|_p = p^{-v_p(x)}$ for $x \ne 0$ and $|0|_p = 0$: writing $x = p^{v_p(x)} \frac{a}{b}$ with $p \nmid a$, $p \nmid b$ isolates exactly how divisible $x$ is by $p$. This is multiplicative just like the usual absolute value, $|xy|_p = |x|_p |y|_p$, so $d_p(x, y) = |x-y|_p$ is a genuine metric on $\mathbb{Q}$ — a rival to the familiar Euclidean one.

Two equivalent ways to build the completion $\mathbb{Q}_p$ of $\mathbb{Q}$ under $|\cdot|_p$: (1) formally complete $\mathbb{Q}$ with respect to $d_p$, exactly as Cauchy sequences build $\mathbb{R}$ from $\mathbb{Q}$ under the usual metric; or (2) first build the **$p$-adic integers** as an inverse limit of finite rings, $\mathbb{Z}_p = \varprojlim_n \mathbb{Z}/p^n\mathbb{Z}$ — a compatible sequence of residues modulo $p, p^2, p^3, \dots$ — and then form $\mathbb{Q}_p$ as its field of fractions. Both routes give the same field.

Topologically, $\mathbb{Z}_p$ (all digit sequences $a_0, a_1, a_2, \dots$) is compact: it is homeomorphic to a product $\prod_{i \ge 0} \{0, \dots, p-1\}$ of finite discrete sets, so Tychonoff's theorem applies directly. $\mathbb{Q}_p = \bigcup_{k} p^{-k} \mathbb{Z}_p$ is then locally compact (every point has a compact neighborhood, namely a translate of $\mathbb{Z}_p$), exactly as $\mathbb{R}$ is locally compact but not compact. This local compactness is what lets $\mathbb{Q}_p$ carry a Haar measure and support genuine $p$-adic analysis and integration.

AdvancedOstrowski's theorem: $p$-adic numbers are exactly as fundamental as the reals

Why single out $\mathbb{R}$ as the completion of $\mathbb{Q}$, when each prime $p$ produces its own $\mathbb{Q}_p$? The honest answer is that there is no reason to: $\mathbb{R}$ has no special status among absolute values on $\mathbb{Q}$ beyond being the 'infinite place'. This is made precise by Ostrowski's theorem, and it is the theorem that certifies $p$-adic arithmetic is not a curiosity bolted onto number theory, but exactly as fundamental as the real numbers themselves.

That local-global philosophy pays off spectacularly for quadratic forms. The Hasse–Minkowski theorem (Hasse, early 1920s, building on Minkowski) says a quadratic form $f$ in several variables over $\mathbb{Q}$ represents $0$ nontrivially over $\mathbb{Q}$ if and only if it represents $0$ nontrivially over every completion: over $\mathbb{R}$ and over $\mathbb{Q}_p$ for every prime $p$. Checking solvability over $\mathbb{R}$ is just a sign condition, and checking solvability over $\mathbb{Q}_p$ reduces to a finite computation using Hensel's lemma — so an a priori infinite search over $\mathbb{Q}^n$ collapses to finitely many easy local checks. This is the archetype of a local-global (Hasse) principle; it is a genuine miracle special to quadratic forms; degree-$3$ forms can fail it (Selmer's curve $3x^3+4y^3+5z^3=0$ has points everywhere locally but no rational point).

$\mathbb{Q}_p$ is the prototype of a local field, and every number field $K$ has its own family of completions at its primes, generalizing $\mathbb{Q}_p$ — the basic objects of algebraic number theory's local-global machinery (class field theory, ramification, Galois representations). Fixing $p$ and letting the field vary in a tower $\mathbb{Q}_p \subset K_\infty$ is the setting of Iwasawa theory, whose $p$-adic $L$-functions $p$-adically interpolate classical $L$-values and encode deep arithmetic invariants (class numbers, Selmer groups) — one of the main engines of modern arithmetic geometry, feeding directly into the tools used to attack the Birch–Swinnerton-Dyer conjecture and beyond.

ResearchPerfectoid spaces and the living frontier

For most of the twentieth century $p$-adic numbers stayed inside algebraic number theory. That changed in the 2010s with Peter Scholze's introduction of perfectoid spaces: highly ramified $p$-adic geometric objects (built from towers like $\mathbb{Q}_p(p^{1/p^\infty})$) whose geometry becomes, remarkably, equivalent to the geometry of certain spaces in positive characteristic via a 'tilting' correspondence. This lets deep theorems about characteristic-$p$ geometry (where Frobenius makes life easier) be transported back to prove new results in mixed and $p$-adic characteristic, and vice versa.