Main theorem of class field theory (source code)

= Main theorem of class field theory
{c}

The ray class field realizes the ray class group through the Artin reciprocity map and is the maximal abelian extension with bounded conductor.