B2.9
By Dedekind's theorem, or otherwise, factorise and 7 into prime ideals in the field . Show that the ideal equations
hold in , where . Hence, prove that the ideal class group of is cyclic of order
[It may be assumed that the Minkowski constant for is .]
Typos? Please submit corrections to this page on GitHub.