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.
Articles by others on the same topic
There are currently no matching articles.