Formulation
Here a modulus (or ''ray divisor'') is a formal finite product of theA well-defined correspondence
Strictly speaking, the correspondence between finite abelian extensions of ''K'' and generalized ideal class groups is not quite one-to-one. Generalized ideal class groups defined relative to different moduli can give rise to the same abelian extension of ''K'', and this is codified a priori in a somewhat complicated equivalence relation on generalized ideal class groups. In concrete terms, for abelian extensions ''L'' of the rational numbers, this corresponds to the fact that an abelian extension of the rationals lying in one cyclotomic field also lies in infinitely many other cyclotomic fields, and for each such cyclotomic overfield one obtains by Galois theory a subgroup of the Galois group corresponding to the same field ''L''. In the idelic formulation of class field theory, one obtains a precise one-to-one correspondence between abelian extensions and appropriate groups ofEarlier work
A special case of the existence theorem is when ''m'' = 1 and ''H'' = ''P''1. In this case the generalized ideal class group is theHistory
The existence theorem is due to Takagi, who proved it in Japan during the isolated years ofSee also
* Class formationReferences
*