Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2001/iii/paper-2/4/i/solution

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 submodule
has 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 . Consequently
This 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!