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!