English

On the finiteness of local homology modules

Commutative Algebra 2023-06-07 v3

Abstract

Let RR be a commutative Noetherian ring and a\mathfrak{a} be an ideal of RR. Suppose MM is a finitely generated RR-module and NN is an Artinian RR-module. We define the concept of filter coregular sequence to determine the infimum of integers ii such that the generalized local homology Hia(M,N)\textrm{H}^{\mathfrak{a}}_i(M, N) is not finitely generated as an R^a\widehat{R}^{\mathfrak{a}}-module, where R^a\widehat{R}^{\mathfrak{a}} denotes the a\mathfrak{a}-adic completion of RR. In particular, if RR is a complete semi-local ring, then Hia(M,N)\textrm{H}^{\mathfrak{a}}_i(M, N) is a finitely generated R^a\widehat{R}^{\mathfrak{a}}-module for all non-negative integers ii if and only if (0:Na+Ann(M))(0:_N\mathfrak{a}+\textrm{Ann}(M)) has finite length.

Keywords

Cite

@article{arxiv.2111.15337,
  title  = {On the finiteness of local homology modules},
  author = {Ali Fathi and Alireza Hajikarimi},
  journal= {arXiv preprint arXiv:2111.15337},
  year   = {2023}
}

Comments

This paper is accepted for publication in the Journal of Algebraic Systems