p-adic Numbers

The p-adic numbers form an alternative completion of the rationals, one for each prime p, in which closeness is measured by divisibility rather than size; they localize number theory and reveal arithmetic that the real numbers conceal.

Definition

For a prime p, the p-adic numbers are the completion of the rational numbers with respect to the p-adic absolute value, in which a number is small when it is divisible by a high power of p; they form a field that is a prototypical local field.

Scope

This area covers the p-adic absolute value and the construction of the p-adic numbers as a completion of the rationals, the structure of p-adic fields and more general local fields, p-adic analysis including convergence, p-adic exponentials and logarithms, Hensel's lemma, and the local-global principle by which solving an equation over the rationals is studied through all its real and p-adic completions.

Sub-topics

• The Local-Global Principle
• p-adic Analysis
• p-adic Fields and Local Fields

Core questions

• How does the p-adic absolute value redefine distance, and how does completing the rationals produce the p-adic field?
• What is the algebraic and topological structure of p-adic fields and of general local fields?
• How does analysis work p-adically, and what does Hensel's lemma let us solve?
• How does the local-global principle relate rational solvability to solvability over the reals and all p-adic fields?

Key theories

p-adic completion and Ostrowski's theorem

Ostrowski's theorem classifies all absolute values on the rationals as the usual one and the p-adic ones; completing with respect to each yields the real numbers and the p-adic fields, the local fields of characteristic zero.

Hensel's lemma

A polynomial with a simple root modulo p has a unique p-adic root reducing to it, so solving equations p-adically reduces to solving them modulo p and lifting, a p-adic Newton's method.

Local-global (Hasse) principle

For many equations, notably quadratic forms, solvability over the rationals is equivalent to solvability over the reals and over every p-adic field, focusing global problems into local ones.

Clinical relevance

Local fields and p-adic methods are indispensable in modern arithmetic geometry and the Langlands program; p-adic L-functions and Galois representations also inform conjectures (such as Birch-Swinnerton-Dyer) whose computational study supports elliptic-curve cryptography.

History

Hensel introduced p-adic numbers around 1897 by analogy with power series in function fields. Hasse developed the local-global principle in the 1920s, and the p-adic viewpoint became central through the work of Tate, Iwasawa, and others on local fields, p-adic L-functions, and arithmetic geometry.

Key figures

• Kurt Hensel
• Helmut Hasse
• Jean-Pierre Serre

Seminal works

• serre1973
• koblitz1984

Frequently asked questions

In what sense are two numbers p-adically close?

Two integers are p-adically close when their difference is divisible by a high power of the prime p; so, for example, large powers of p are p-adically near zero, opposite to ordinary intuition.

Why introduce p-adic numbers at all?

They localize arithmetic at a single prime, making many problems tractable: equations can be studied one prime at a time, and the local-global principle assembles these local solutions into global conclusions.