Takagi existence theorem
Correspondence between finite abelian extensions and generalized ideal class groups / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Takagi existence theorem?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
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.