Modules cofinite and weakly cofinite with respect to an ideal

Abstract

The purpose of the present paper is to continue the study of modules cofinite and weakly cofinite with respect to an ideal $\mathfrak{a}$ of a Noetherian ring $R$. It is shown that an $R$-module $M$ is cofinite with respect to $\mathfrak{a}$, if and only if, $\Ext^i_R(R/\frak a,M)$ is finitely generated for all $i\le \mathrm{cd}(\mathfrak{a},M)+1$, whenever $\dim R/\mathfrak{a}=1$. In addition, we show that if $M$ is finitely generated and $H_{\mathfrak{a}}^i(M)$ are weakly Laskerian for all $i\le t-1$, then $H_{\mathfrak{a}}^i(M)$ are $\mathfrak{a}$-cofinite for all $i\le t-1$ and for any minimax submodule $K$ of $H_{\mathfrak{a}}^t(M)$, the $R$-modules $\Hom_R(R/{\frak a}, H^{t}_{\frak a}(M)/K)$ and $\Ext^{1}_R(R/{\frak a}, H^{t}_{\frak a}(M)/K)$ are finitely generated, where $t$ is a non-negative integer. Finally, we explore a criterion for weakly cofiniteness of modules with respect to an ideal of dimension one. Namely for such ideals it suffices that the two first $\Ext$-modules in the definition for weakly cofiniteness are weakly Laskerian. As an application of this result we deduce that the category of all $\mathfrak{a}$-weakly cofinite modules over $R$ forms a full Abelian subcategory of the category of modules.

15 pages, To appear in J. Algebra Appl. arXiv admin note: text overlap with arXiv:1308.6040