In class field theory, the Takagi existence theorem states that for any number field K there is a one-to-one inclusion reversing correspondence between the finite abelian extensions of K (in a fixed algebraic closure of K) and the generalized ideal class groups defined via a modulus of K.
It is called an existence theorem because a main burden of the proof is to show the existence of enough abelian extensions of K.
Read more about Takagi Existence Theorem: Formulation, A Well-defined Correspondence, Earlier Work, History
Famous quotes containing the words existence and/or theorem:
“‘Tis going, I own, like the Knight of the Woeful Countenance, in quest of melancholy adventures—but I know not how it is, but I am never so perfectly conscious of the existence of a soul within me, as when I am entangled in them.”
—Laurence Sterne (1713–1768)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)