Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/ii/paper-2/20g/c/solution

Here , , and , so the Minkowski bound for ideal classes is
Every ideal class therefore has a representative of norm at most four. Such classes are generated by the prime ideals above and . Put
in additive notation. Since conjugate prime ideals represent inverse classes, the two principal-ideal factorizations from part (b) give
Thus and , so the class group is generated by and has order dividing five.
It is not trivial. If were principal, there would be an element of norm two, but
cannot equal two for integers . Therefore . Since five is prime,

New to topics? Read the docs here!