Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-101/6/b/ii/solution

Let . Apply Artin--Rees to . Since for every , stability gives
for all sufficiently large , and in particular . The module is finitely generated because is Noetherian. The determinant trick applied to a finite generating set of produces with
Taking yields
which is Krull intersection theorem.

New to topics? Read the docs here!