Ray class field of Q of square root minus six modulo square root minus six
ID: ray-class-field-of-q-of-square-root-minus-six-modulo-square-root-minus-six
For , reduction of modulo gives . Its unit group is covered by the units of . The ray class exact sequence therefore identifies the ray class group with the ordinary ideal class group, of order two. Consequently this ray class field is the Hilbert class field of Q of square root minus six. To verify its lack of ramification, the integral basis candidate , where , has discriminant . The relative discriminant formula also forces the field discriminant to be divisible by . Equality proves that the relative discriminant ideal is trivial.
New to topics? Read the docs here!