The first non-isomorphic local cohomology modules with respect to their ideals

Abstract

Let [Formula: see text] be ideals of a commutative Noetherian ring [Formula: see text] and [Formula: see text] be a finitely generated [Formula: see text]-module. By using filter regular sequences, we show that the infimum of integers [Formula: see text] such that the local cohomology modules [Formula: see text] and [Formula: see text] are not isomorphic is equal to the infimum of the depths of [Formula: see text]-modules [Formula: see text], where [Formula: see text] runs over all prime ideals of [Formula: see text] containing only one of the ideals [Formula: see text]. In particular, these local cohomology modules are isomorphic for all integers [Formula: see text] if and only if [Formula: see text]. As an application of this result, we prove that for a positive integer [Formula: see text], [Formula: see text] is Artinian for all [Formula: see text] if and only if, it can be represented as a finite direct sum of [Formula: see text] local cohomology modules of [Formula: see text] with respect to some maximal ideals in [Formula: see text] for any [Formula: see text]. These representations are unique when they are minimal with respect to inclusion.

On the finiteness of local homology modules

“…In particular, H i a (M ) is Artinian for all i ∈ N 0 if and only if M/aM has finite length; see [4,Sec. 3] or [14] for more details (see also [6] when R is a local ring).…”