Takagi existence theorem

a correspondence between finite abelian extensions and generalized ideal class groups