Main theorem of class field theory
ID: main-theorem-of-class-field-theory
The ray class field realizes the ray class group through the Artin reciprocity map and is the maximal abelian extension with bounded conductor.
New to topics? Read the docs here!