Let . Apply Artin--Rees to . Since for every , stability givesfor 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 withTaking yieldswhich is Krull intersection theorem.
Articles by others on the same topic
There are currently no matching articles.