A Cancellation Theorem for Artinian Local Algebras.
Let be a commutative Noetherian ring and an ideal of . We introduce the concept of -weakly Laskerian -modules, and we show that if is an -weakly Laskerian -module and is a non-negative integer such that is -weakly Laskerian for all and all , then for any -weakly Laskerian submodule of , the -module is -weakly Laskerian. In particular, the set of associated primes of is finite. As a consequence, it follows that if is a finitely generated -module and is an -weakly...
Let be a complete Noetherian local ring, an ideal of and a nonzero Artinian -module. In this paper it is shown that if is a prime ideal of such that and is not finitely generated and for each the -module is of finite length, then the -module is not of finite length. Using this result, it is shown that for all finitely generated -modules with and for all integers , the -modules are of finite length, if and only if, for all finitely generated -modules with and...