Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/ii/paper-1/20h/b/solution
Past exam of the mathematics course of the University of Cambridge 2007 ii Paper 1 20H b Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
The ideal has ideal norm two. Its square is contained in and has norm four, so . A generator would have field norm , impossible for integers . Thus its ideal class has order two.
Modulo three, , giving with . A generator of would have norm three, again impossible. If were principal, its generator would have norm nine. The only possibilities are , whose ideal is , not .
Finally . This element lies in but not , because in the latter quotient. Unique unique factorization of ideals in a number field and norms therefore give
New to topics? Read the docs here!