Genus field = Hilbert Class Field (Cox exercise 6.15)

433 Views Asked by At

Prove that the genus field of an imaginary quadratic field of $K$ equals its Hilbert Class Field if and only if for primitive forms of discriminant $d_k$, there is only one class per genus.

Supposedly, one should use the theorem preceding the exercise, but I don't see how. enter image description here

Thanks in advance.