The ring of integers is , where , and its class number is one by the Minkowski bound for ideal classes. Modulo seven it is . The six roots of unity reduce to the kernel of the product map on the two residue unit groups, so the ray class group is , of order six. The relative Artin symbol on is exponentiation by the norm of a fractional ideal modulo seven. It kills the principal ray subgroup, and , proving that this is the ray class field.
Articles by others on the same topic
There are currently no matching articles.