Ostrowski's theorem, p-adic fractal dynamics, and the local-global principle
We have spent six lessons building up the p-adic numbers from scratch: their digit expansions, their strange absolute value, their ultrametric geometry, their arithmetic, their convergence behavior, and how Hensel's lemma lets us lift solutions from finite to infinite precision. Now it is time to step back and see the grand picture.
Ostrowski's theorem delivers a stunning conclusion: the real numbers and the p-adic numbers (one for each prime p) are the only ways to complete the rational numbers. There is no other option. Together, the real completion and all the p-adic completions form a complete atlas of the rationals -- every piece of information about a rational number is captured somewhere in this family of completions.
This insight gives rise to one of the deepest themes in number theory: the local-global principle. If you want to understand whether an equation has rational solutions, study it "locally" at each prime (and at infinity, meaning in the reals). If every local world says yes, often the global answer is yes too. This philosophy pervades modern algebraic number theory, arithmetic geometry, and the Langlands program.
Every nontrivial absolute value on the rational numbers is equivalent to either the standard real absolute value or to a p-adic absolute value for some prime p. This means the completions of Q form a family indexed by the primes together with a single "infinite place" for the reals. Click on each completion below to see its properties, and verify the product formula that ties them all together.
Every nontrivial absolute value on the rationals is equivalent to the real absolute value or to a p-adic absolute value. Click on a completion to explore its properties.
The real numbers are the unique archimedean completion of Q. They form a connected, ordered field where the usual absolute value measures size.
| Archimedean | Yes |
| Ordered | Yes |
| Connected | Yes (continuum) |
Example Absolute Values
For any nonzero rational number q, the product of all absolute values equals 1:
q = 12
Key insight: The product formula |q|∞ · ∏p |q|p = 1 is not a coincidence -- it is a deep reflection of the fact that a rational number is completely determined by its behavior at every prime and at infinity. Information is conserved: what the real absolute value sees as "large," the p-adic absolute values must compensate for.
In the complex numbers, iterating z → z² + c produces the famous Mandelbrot set and Julia sets -- fractals in the plane. We can run the same iteration in the p-adic world, but since p-adic space is a tree rather than a plane, the "fractal" takes the form of a colored tree. Each leaf represents a residue class, colored by how the orbit behaves under iteration.
Iterate z → z² + c over the p-adic integers. Since the p-adic world is a tree (not a plane), the "Mandelbrot set" becomes a colored tree. Each leaf represents a residue class mod pn, colored by its dynamical behavior.
The tree structure reflects the p-adic topology: nearby branches share more initial digits. Compare this to the complex Mandelbrot set -- here the fractal lives on a tree rather than in the plane.
Key insight: p-adic dynamics is actively studied in number theory and mathematical physics. The tree structure of the p-adic integers means that dynamical behavior is organized hierarchically: if two starting points share many initial p-adic digits, their orbits stay close together (at least initially), reflecting the ultrametric topology.
The Hasse-Minkowski theorem states that a quadratic form (like ax² + by² = c) has a rational solution if and only if it has a solution in every completion of Q: in the reals and in Qp for every prime p. This is the local-global principle in action -- checking infinitely many "local" conditions determines the "global" answer over Q.
The Hasse-Minkowski theorem says a quadratic form has a rational solution if and only if it has a solution in every completion of Q (the reals and all p-adic fields). Enter coefficients for ax² + by² = c and check local solvability.
Preset Examples
Both a=1 and b=1 are positive, and c=3 > 0, so real solutions exist.
No solution to 1x² + 1y² ≡ 3 (mod 8).
No solution to 1x² + 1y² ≡ 3 (mod 9).
Solution mod 25: x ≡ 2, y ≡ 7 (mod 25).
Solution mod 49: x ≡ 1, y ≡ 10 (mod 49).
Solution mod 121: x ≡ 0, y ≡ 27 (mod 121).
Solution mod 169: x ≡ 0, y ≡ 61 (mod 169).
Blocked at: ℚ₂, ℚ₃. Since there is no solution in ℚ₂, the Hasse-Minkowski theorem guarantees no rational solution exists.
Key insight: The local-global principle does not hold for all equations -- it can fail for cubic curves and higher-degree forms. When it fails, the obstruction is often measured by the Tate-Shafarevich group, one of the most mysterious objects in arithmetic geometry. But for quadratic forms, the Hasse-Minkowski theorem guarantees a perfect correspondence between local and global solvability.