Ostrowski's theorem

Ostrowski's theorem
Name	Ostrowski's theorem
Field	Number theory
Discovered by	Alexander Ostrowski
Year	1935
Statement	Classification of absolute values on the rational numbers

Ostrowski's theorem is a classification result identifying all nontrivial absolute values on the field of rational numbers and, more generally, on number fields. The theorem asserts that every nontrivial absolute value on the rationals is equivalent to either the usual Archimedean absolute value arising from Real number, or to a p-adic absolute value associated to a prime integer p; this dichotomy links analytic structure with arithmetic structure in the sense of Carl Friedrich Gauss, Ernst Eduard Kummer, and Kurt Hensel. The result underpins modern formulations in Algebraic number theory, bridges to p-adic analysis, and is foundational for the product formula used in Adèle theory and Global field arithmetic.

Statement of the theorem

Ostrowski's theorem states that every nontrivial absolute value on the field of rational numbers Q is equivalent to exactly one of the following: (1) the Archimedean absolute value induced by an embedding of Q into the Real numbers, and (2) the non-Archimedean p-adic absolute value associated to a prime p, as introduced by Kurt Hensel and developed by Helmut Hasse and Ernst Steinitz. Equivalence here is in the sense of multiplicative powers as used by Emil Artin in his work on valuation theory and by Oscar Zariski in valuation-theoretic approaches to algebraic geometry. The theorem extends to number fields where absolute values correspond to places classified as either Archimedean (real or complex, linked to Carl Friedrich Gauss and Bernhard Riemann) or non-Archimedean (finite places associated to prime ideals, in the style of Richard Dedekind and Leopold Kronecker).

Historical background and motivation

The theorem was proved by Alexander Ostrowski in the 1930s against a backdrop of developments by Évariste Galois-descended algebraic number theory, Richard Dedekind's ideal theory, and Kurt Hensel's invention of p-adic numbers. Motivation came from attempts by David Hilbert and Emil Artin to formalize local-global principles and the product formula for Adèles and idèles in the work of Jean-Pierre Serre and Andre Weil. The classification clarified ideas implicit in the writings of Carl Ludwig Siegel on diophantine approximation and in Alan Baker's later transcendence results, and it resonated with valuation theory developed by Abraham Robinson and Oscar Zariski.

Proof outline and variants

A standard proof begins by distinguishing whether an absolute value on Q is Archimedean or non-Archimedean, following dichotomies used by Emil Artin and Helmut Hasse. For the Archimedean case one shows equivalence to the usual absolute value via embedding into Real numbers and exploiting completeness arguments reminiscent of Augustin-Louis Cauchy and Bernhard Riemann; references to classical analysis by Karl Weierstrass and Sofia Kovalevskaya inform the continuity steps. For the non-Archimedean case one uses ultrametric inequalities and valuations to show the existence of a prime p for which the valuation measures divisibility by p, a method paralleling Kurt Hensel's approach and later axiomatized by Emil Artin and Oscar Zariski. Variants include formulations in terms of Krull valuations as in Leopold Kronecker's ideals, extensions to Dedekind domains as in Richard Dedekind's infrastructure, and functional-analytic proofs invoking Hahn–Banach theorem analogues in the non-Archimedean setting as developed by Serre and Jean Dieudonné.

Applications and consequences

Ostrowski's theorem is central to the adelic and idelic frameworks of Andre Weil and John Tate and underlies global duality theorems in Poitou–Tate duality and the study of L-functions such as those of Bernhard Riemann and Erich Hecke. It informs local field theory in the work of Local field researchers like Serge Lang and Kurt Hensel, supports the approximation theorems of David Hilbert and Alexander Ostrowski, and is instrumental in proofs of finiteness results by Faltings and Gerd Faltings in arithmetic geometry. The theorem also enables the product formula that appears in class field theory by Emil Artin and the formulation of heights in Diophantine geometry used by Enrico Bombieri and Paul Vojta.

Examples and counterexamples

Concrete instances include the usual absolute value |·| induced by the embedding Q→Real numbers and the p-adic absolute value |·|_p for each prime p introduced by Kurt Hensel; these furnish the exhaustive list on Q as guaranteed by Ostrowski's theorem. A potential counterexample is any putative exotic absolute value on Q, which the theorem rules out—contrasts appear in fields like rational function fields over Finite fields where nontrivial valuations correspond to places akin to those studied by Emil Artin and Helmut Hasse. Pathological examples arise when one drops the requirement of nontriviality or when considering additive, rather than multiplicative, seminorms studied by André Weil and Jean-Pierre Serre.

Generalizations and related results

Generalizations include the classification of places for arbitrary number fields by Richard Dedekind and Leopold Kronecker, Ostrowski-type results for function fields over Finite fields as in Emil Artin's reciprocity, and valuation-theoretic axiomatizations by Oscar Zariski and Pierre Samuel. Related results are the product formula in global fields by Andre Weil, local field structure theorems by Kurt Hensel and John Tate, and the classification of completions of global fields used throughout Algebraic number theory and Arithmetic geometry.

Category:Theorems in number theory