Takagi Existence Theorem

The Takagi Existence Theorem, proved by Teiji Takagi in 1920, is the foundational result of modern class field theory. It states that for every ideal class group (or more generally, every congruence class group) of an algebraic number field, there exists a unique abelian extension — called the class field — whose Galois group is isomorphic to that class group. This correspondence between arithmetic objects (class groups) and Galois-theoretic objects (abelian extensions) was the first complete realization of the program Hilbert had sketched decades earlier.

The theorem does more than prove existence. It establishes that every finite abelian extension arises in this way, and that the correspondence is functorial: the lattice of class groups mirrors the lattice of abelian extensions. This structural unity between arithmetic and symmetry is the prototype of the broader Langlands correspondence, and it remains the template for how modern mathematics relates local data to global structure.