Let be Noetherian, an ideal, , and a finitely generated -module. ThenIf with , then for every . Conversely, apply the Artin-Rees lemma to . For sufficiently large it givesso for some and .
Letbe the semigroup algebra inside , and let be generated by the with . This integral domain is not Noetherian, sinceMoreover , because . Thus , whereas the map is injective because is a domain.
Articles by others on the same topic
There are currently no matching articles.