Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2001/iii/paper-2/4/i/solution
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 2 4 i Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
Let and form the Rees algebra . It is generated over by , so the Hilbert basis theorem makes it Noetherian. The Rees module is finite over it, generated by finitely many generators of the module in degree zero. Hence its graded submodulehas finitely many homogeneous generators, all in degrees at most some .
For , each degree- generator contributes a multiple from . This is contained in , because multiplication by puts its coefficient both in and in . Thus . The reverse inclusion follows directly by multiplication: it stays in and in . ConsequentlyThis is the Artin-Rees lemma, proved through finite graded generation rather than an assumption that the intersection filtration initially has that form.
New to topics? Read the docs here!