Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2009/ii/paper-2/20h/i/solution
Past exam of the mathematics course of the University of Cambridge 2009 ii Paper 2 20H i Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Choose a nonzero integral ideal in the inverse of any desired ideal class. For the nonzero element supplied by the norm bound, is integral, belongs to the desired class and satisfiesThere are only finitely many integral ideals of bounded norm: identify with as an additive group, so ideals of norm are among its subgroups of index , of which there are finitely many. Since every ideal class has one of these bounded-norm representatives, the ideal class group is finite.
New to topics? Read the docs here!