Takagi Existence Theorem

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:

    The star is the ultimate American verification of Jean Jacques Rousseau’s Emile. His mere existence proves the perfectability of any man or woman. Oh wonderful pliability of human nature, in a society where anyone can become a celebrity! And where any celebrity ... may become a star!
    Daniel J. Boorstin (b. 1914)

    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)