Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/ib/paper-4/11e/c/solution
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 4 11E c Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-06
If , take the empty filtration. Otherwise a nonzero quotient is a finitely generated module. Because has the ascending chain condition on ideals, the nonempty collection of annihilators of nonzero elements of has a maximal element. Part (b), applied to , supplies with a prime ideal .
The map , , is surjective with kernel . The first isomorphism theorem gives . Let be the inverse image of under . ThenRepeat whenever the quotient remains nonzero. An infinite repetition would give a strictly ascending chain of submodules of the Noetherian module , contradicting part (a). Thus the process stops after finitely many steps, necessarily at .
New to topics? Read the docs here!