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 .