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...
Let be a commutative Noetherian ring, an ideal of . Let be an integer and an -module such that is minimax for all . We prove that if is (or weakly Laskerian) for all , then the -modules are -cominimax for all and is minimax for . Let be a finitely generated -module. We prove that and are -cominimax for all and whenever is minimax and is (or weakly Laskerian) for all .
Various results on the induced representations of group rings are extended to modules over strongly group-graded rings. In particular, a proof of the graded version of Mackey's theorem is given.