Paper 2, Section II, G
(a) Let be a number field. State Minkowski's upper bound for the norm of a representative for a given class of the ideal class group .
(b) Now let and . Using Dedekind's criterion, or otherwise, factorise the ideals and as products of non-zero prime ideals of .
(c) Show that is cyclic, and determine its order.
[You may assume that
Typos? Please submit corrections to this page on GitHub.