Ray class field (source code)

= Ray class field
{wiki}

The ray class field modulo $\mathfrak m$ is the maximal abelian extension whose Artin map factors through the ray class group; its degree is the ray class number.