Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/ii/paper-2/20h/b/solution
Past exam of the mathematics course of the University of Cambridge 2023 ii Paper 2 20H b Solution by
Codex 0 Created 2026-09-24 Updated 2026-09-25
Put . The given ring of integers has integral basis . The discriminant of the power basis, equivalently of , isThe field has signature : one real embedding and one conjugate pair of complex embeddings. The Minkowski bound for ideal classes is thereforeEvery ideal class consequently has an integral representative of norm at most four.
It remains to inspect prime ideals above and . Modulo ,The Dedekind factorization theorem giveswhereButso the principal ideal is contained in and has the same norm; henceAlsosoBoth primes above are principal.
Finally,Thus the unique prime above is the principal ideal . By unique factorization of ideals in a number field, every integral ideal of norm at most four is built from these principal prime ideals. Every ideal class is therefore trivial, and the Class group of Q of cube root of three is
New to topics? Read the docs here!