ray class group
Let be a modulus for a number field . The ray class group of mod is the group , where
- •
is the subgroup of the ideal group of generated by all prime ideals
which do not occur in the factorization of .
- •
is the subgroup of consisting of all principal ideals
in the ring of integers
of having the form where is multiplicatively congruent to .