B2.9
Part II, 2003
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 .]