加载中…
Let be an ideal of a commutative noetherian ring and an -module with Cosupport in . We show that is -coartinian if and only if is artinian for all $0\leq i\leq (\mathfrak{a},M)$, which provides a computable finitely many steps to examine -coartinianness. We also consider the duality of Hartshorne’s questions: for which rings and ideals are the modules -coartinian for all ; whether the category of -coartinian modules is an Abelian subcategory of the category of all -modules, and establish affirmative answers to these questions in the case and $R/\mathfrak{a}\leq 1$.

生成讲解博客的中文版本

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