Artin reciprocity law (source code)

= Artin reciprocity law
{c}
{wiki}

The Artin map sends an ideal prime to the ramified primes to the product of its Frobenius elements. For a suitable modulus, its kernel is the norm or congruence subgroup associated with the abelian extension.

= Artin reciprocity map
{synonym}