Let be a commutative Noetherian ring, a system of ideals of and . Let be an -module (not necessary -torsion) such that , then the -module is weakly Laskerian, for all , if and only if the -module is weakly Laskerian, for . Let be an integer and an -module such that is weakly Laskerian for all . We prove that if the -module is for all , then is -weakly cofinite for all and for any (or minimax) submodule of , the -modules and are weakly Laskerian. Let be a finitely generated -module. We also prove that and are -weakly cofinite for all and whenever is weakly Laskerian and is ${\rm FD_{\leq 1}}i$. Similar results are true for ordinary local cohomology modules and local cohomology modules defined by a pair of ideals.

生成讲解博客的中文版本

生成AI智能校验的中文版本