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.

Articles by others on the same topic (0)

There are currently no matching articles.