English

Modules cofinite and weakly cofinite with respect to an ideal

Commutative Algebra 2017-03-03 v1

Abstract

The purpose of the present paper is to continue the study of modules cofinite and weakly cofinite with respect to an ideal a\frak a of a Noetherian ring RR. It is shown that an RR-module MM is cofinite with respect to a\frak a, if and only if, \ExtRi(R/a,M)\Ext^i_R(R/\frak a,M) is finitely generated for all icd(a,M)+1i\leq {\rm cd}(\frak a,M)+1, whenever dimR/a=1\dim R/\frak a=1. In addition, we show that if MM is finitely generated and Hai(M)H^i_{\frak a}(M) are weakly Laskerian for all it1i\leq t-1, then Hai(M)H^i_{\frak a}(M) are a{\frak a}-cofinite for all it1i\leq t-1 and for any minimax submodule KK of Hat(M)H^{t}_{\frak a}(M), the RR-modules \HomR(R/a,Hat(M)/K)\Hom_R(R/{\frak a}, H^{t}_{\frak a}(M)/K) and \ExtR1(R/a,Hat(M)/K)\Ext^{1}_R(R/{\frak a}, H^{t}_{\frak a}(M)/K) are finitely generated, where tt 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\Ext-modules in the definition for weakly cofiniteness are weakly Laskerian. As an application of this result we deduce that the category of all a{\frak a}-weakly cofinite modules over RR forms a full Abelian subcategory of the category of modules.

Keywords

Cite

@article{arxiv.1703.00766,
  title  = {Modules cofinite and weakly cofinite with respect to an ideal},
  author = {Kamal Bahmanpour and Reza Naghipour and Monireh Sedghi},
  journal= {arXiv preprint arXiv:1703.00766},
  year   = {2017}
}

Comments

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

R2 v1 2026-06-22T18:33:35.436Z