Hilbert class field of Q of square root minus thirty

ID: hilbert-class-field-of-q-of-square-root-minus-thirty

The ideal class group of is . Its four reduced binary quadratic forms have coefficients , , and . The displayed multiquadratic field has degree four over the base. The seven quadratic-subfield discriminants are , whose product in absolute value is . The conductor-discriminant formula and discriminant tower formula imply that the relative discriminant over is the unit ideal. This unramified abelian degree-four extension is therefore its Hilbert class field.

New to topics? Read the docs here!