REGULAR SEQUENCES AND LOCAL COHOMOLOGY MODULES
WITH RESPECT TO A PAIR OF IDEALS

arXiv:1305.0429v1 [math.AC] 2 May 2013

SH. PAYROVI AND M. LOTFI PARSA
A BSTRACT. Let R be a Noetherian ring, I and J two ideals of R and t an integer. Let S be the class of Artinian R-modules, or the class of all R-modules N
i (M) ∈
with dimR N ≤ k, where k is an integer. It is proved that inf{i : HI,J
/ S} =
e J)}, where M is a finitely generated R-module, or
inf{S − deptha (M) : a ∈ W(I,

e J). Let SuppR H i (M) be
is a ZD-module such that M/aM ∈
/ S for all a ∈ W(I,
I,J

a finite subset of Max(R) for all i < t. It is shown that there are maximal ideals
i (M) ∼ H i (M) ⊕ H i (M) ⊕ · · · ⊕ H i (M) for
m1 , m2 , . . . , mk of R such that HI,J
= m1
mk
m2
all i < t.

1. I NTRODUCTION
Throughout this paper, R is a commutative Noetherian ring with non-zero identity, I and J are two ideals of R, M is an R-module and s and t are two integers. For
notations and terminologies not given in this paper, the reader is referred to [4], [5]
and [16] if necessary.
The theory of local cohomology, which was introduced by Grothendieck [10], is
a useful tool for attacking problems in commutative algebra and algebraic geometry. Bijan-Zadeh [3] introduced the local cohomology modules with respect to a
system of ideals, which is a generalization of ordinary local cohomology modules.
As a special case of these extend modules, Takahashi, Yoshino and Yoshizawa [16]
defined the local cohomology modules with respect to a pair of ideals. To be more
precise, let W(I, J) = {p ∈ Spec(R) : I t ⊆ J + p for some positive integer t}. The
set of elements x of M such that SuppR Rx ⊆ W(I, J), is said to be (I, J)-torsion
submodule of M and is denoted by ΓI,J (M). ΓI,J (−) is a covariant, R-linear functor
from the category of R-modules to itself. For an integer i, the local cohomology
i (−) with respect to (I, J), is defined to be the i-th right derived functor
functor HI,J
i (M) is called the i-th local cohomology module of M with reof ΓI,J (−). Also HI,J
i (−) coincides with the ordinary local cohomology
spect to (I, J). If J = 0, then HI,J

2010 Mathematics Subject Classification. 13C15, 13D07, 13D45.
Key words and Phrases. Local cohomology, Regular sequence, Serre subcategory, ZD-module.
1

2

SH. PAYROVI AND M. LOTFI PARSA

e J) = {a E R : I t ⊆ J + a for some positive integer t}. It is
functor HIi (−). Let W(I,

easy to see that

e J), ax = 0} =
ΓI,J (M) = {x ∈ M : ∃ a ∈ W(I,

[

(0 :M a).

e
a∈W(I,J)

In section 2, we study extension functors of local cohomology modules with
respect to a pair of ideals. Let S be a Melkersson subcategory with respect to I,
and M a finitely generated R-module. The current authors, in [13, Theorem 2.11],
i (M) ∈ S for all i < t, then H i (M) ∈ S for all i < t. In 2.5, we
showed that if HI,J
I
j

i (M)) ∈ S for all i < t and all
improve this result and we show that if ExtR (N, HI,J

j < t − i, then Hai (M) ∈ S for all i < t, where M is an arbitrary R-module and N is a
e J).
finitely generated R-module with SuppR N = V(a) for some a ∈ W(I,
Let S be a Serre subcategory of the category of R-modules. Aghapournahr and

Melkersson [1] introduced the notion of S-sequences on M as a generalization of
regular sequences. Suppose that S is a Melkersson subcategory with respect to I, M
is a ZD-module and M/IM ∈
/ S. In [14, Theorem 2.9] it is proved that all maximal
S-sequences on M in I, have the same length. If this common length is denoted
by S − depthI (M), then S − depthI (M) = inf{i : HIi (M) ∈
/ S}; see [14, Corollary
2.12]. In 2.25, we generalize this result as follows. Let S be the class of Artinian
R-modules, or the class of all R-modules N with dimR N ≤ k, where k is an integer.
e J)} = inf{i : H i (M) ∈
Then inf{S − deptha (M) : a ∈ W(I,
/ S}, where M is a finitely
I,J

e J).
generated R-module, or is a ZD-module such that M/aM ∈
/ S for all a ∈ W(I,

In section 3, we get some identities between local cohomology modules. Let

i (M) be a finite subset of Max(R) for all i < t. Then there are maximal
SuppR HI,J
ideals m1 , m2 , . . ., mk of R such that H i (M) ∼
= H i (M) ⊕ H i (M) ⊕ · · · ⊕ H i (M)
I,J

m1

m2

mk

for all i < t; see 3.7. As a consequence we conclude that, if (R, m) is a local ring,
∼ H i (M)}; see 3.10.
then inf{i : H i (M)is not Artinian} = inf{i : H i (M) 6=
I,J

2. E XTENSION

I,J

m

FUNCTORS OF LOCAL COHOMOLOGY MODULES

Recall that R is a Noetherian ring, I and J are ideals of R and M is an R-module.
Definition 2.1. A full subcategory of the category of R-modules is said to be Serre
subcategory, if it is closed under taking submodules, quotients and extensions. A
Serre subcategory S is said to be a Melkersson subcategory with respect to I, if for

REGULAR SEQUENCES AND LOCAL COHOMOLOGY MODULES...

3

any I-torsion R-module M, 0 :M I ∈ S implies that M ∈ S. A Serre subcategory is
called Melkersson subcategory when it is a Melkersson subcategory with respect to
all ideals of R.
The class of finitely generated modules and the class of weakly Laskerian modules are Serre subcategories. Aghapournahr and Melkersson [1, Lemma 2.2] proved
that if a Serre subcategory is closed under taking injective hulls, then it is a Melkersson subcategory. The class of zero modules, Artinian R-modules, modules with
finite support and the class of R-modules N with dimR N ≤ k, where k is a nonnegative integer, are Serre subcategories closed under taking injective hulls, and
hence are Melkersson subcategories; see [1, Example 2.4]. The class of I-cofinite
Artinian modules is a Melkersson subcategory with respect to I, but is not closed
under taking injective hulls; see [1, Example 2.5].
The following result is a generalization of [2, Theorem 2.1].
i
Theorem 2.2. Let N be an (I, J)-torsion R-module. If Extt−i
R (N, HI,J (M)) ∈ S for

all i ≤ t, then ExttR (N, M) ∈ S.
Proof. Let F(−) = HomR (N, −) and G(−) = ΓI,J (−). Then we have FG(M) =
HomR (N, M). By [15, Theorem 11.38], there is the Grothendieck spectral sequence
p,q

p

q

p+q

E2 := ExtR (N, HI,J (M)) ⇒ ExtR (N, M).
There is a finite filtration
0 = ϕ t+1 H t ⊆ ϕ t H t ⊆ · · · ⊆ ϕ 1 H t ⊆ ϕ 0 H t = ExttR (N, M)
such that E∞t−i,i ∼
= ϕ t−i H t /ϕ t+1−i H t for all i ≤ t. It is enough to show that ϕ 0 H t ∈ S.
By hypothesis, E t−i,i
∈ S for all j ≥ 2 and i ≤ t, and so E∞t−i,i ∈ S for all i ≤ t. The
j
sequence
0 −→ ϕ t+1−i H t −→ ϕ t−i H t −→ E∞t−i,i −→ 0
is exact for all i ≤ t. Therefore it follows that ϕ 0 H t ∈ S.


j

i (M)) ∈ S for all
Corollary 2.3. Let N be an (I, J)-torsion R-module. If ExtR (N, HI,J

i < t and all j < t − i, then ExtiR (N, M) ∈ S for all i < t.
Corollary 2.4. Suppose that S is a Melkersson subcategory with respect to I, and
e J). If
N is a finitely generated R-module with SuppR N = V (a) for some a ∈ W(I,

4

SH. PAYROVI AND M. LOTFI PARSA
j

i (M)) ∈ S for all i < t and all j < t − i, then H i (L, M) ∈ S for all i < t
ExtR (N, HI,J
a

and all finitely generated R-modules L.
Proof. The result follows by 2.3 and [1, Theorem 2.9].



The following result improves [13, Theorem 2.11].
Corollary 2.5. Suppose that S is a Melkersson subcategory with respect to I, and
e J). If
N is a finitely generated R-module with SuppR N = V(a) for some a ∈ W(I,
j

i (M)) ∈ S for all i < t and all j < t − i, then H i (M) ∈ S for all i < t.
ExtR (N, HI,J
a

Proof. In 2.4, put L = R.



Corollary 2.6. If S is a Melkersson subcategory with respect to I, then
i
e J)}.
inf{i : HI,J
(M) ∈
/ S} ≤ inf{inf{i : Hai (M) ∈
/ S} : a ∈ W(I,

As a generalization of finitely generated modules, Evans [9] introduced ZDmodules as follows.
Definition 2.7. An R-module M is said to be zero-divisor module (ZD-module), if
for any submodule N of M, the set ZR (M/N) is a finite union of prime ideals in
AssR M/N.
According to [7, Example 2.2], the class of ZD-modules contains finitely generated, Laskerian, weakly Laskerian, linearly compact and Matlis reflexive modules. Also it contains modules whose quotients have finite Goldie dimension and
modules with finite support, in particular Artinian modules. Therefore the class of
ZD-modules is much larger than that of finitely generated modules.
Definition 2.8. An element a of R is called S-regular on M, if 0 :M a ∈ S. A sequence a1 , . . . , at is an S-sequence on M, if ai is S-regular on M/(a1 , . . ., ai−1 )M for
i = 1, . . .,t. The S-sequence a1 , . . . , at is said to be maximal S-sequence on M, if
a1 , . . . , at , y is not an S-sequence on M for any y ∈ R.
When S is the class of zero modules, Artinian R-modules, modules with finite
support, and the class of R-modules N with dimR N ≤ k, where k is a non-negative
integer, then S-sequences on M are, poor M-sequences, filter-regular sequences,

REGULAR SEQUENCES AND LOCAL COHOMOLOGY MODULES...

5

generalized regular sequences, and M-sequences in dimension > k, respectively;
see [1, Example 2.8].
Let S be a Melkersson subcategory with respect to I, and M a ZD-module such
that M/IM ∈
/ S. The current authors, in [14, Theorem 2.9], proved that all maximal
S-sequences on M in I, have the same length.
Definition 2.9. Let S be a Melkersson subcategory with respect to I, and M a ZDmodule such that M/IM ∈
/ S. The common length of all maximal S-sequences on
M in I, is denoted by S − depthI (M). If M/IM ∈ S, we set S − depthI (M) = ∞.
Suppose that M is a ZD-module. When S is the class of zero modules, Artinian
R-modules, and modules with finite support, then S − depthI (M) is the same as
ordinary depthI (M), f − depthI (M) (filter-depth), and g − depthI (M) (generalized
depth), respectively.
Corollary 2.10. Let S be a Melkersson subcategory with respect to I, and M a
ZD-module. Then
i
e J)}.
inf{i : HI,J
(M) ∈
/ S} ≤ inf{S − deptha (M) : a ∈ W(I,

Proof. The result follows by 2.6 and [14, Corollary 2.12].



In the following, we study the relation between generalized local cohomology
modules and local cohomology modules with respect to a pair of ideals.
Corollary 2.11. Suppose that N is a finitely generated a-torsion R-module for some
e J). If Extt−i (N, H i (M)) ∈ S for all i ≤ t, then Hat (N, M) ∈ S.
a ∈ W(I,
I,J

R

Proof. The result follows by 2.2. Note that Γa (N) ⊆ ΓI,J (N) and by [8, Lemma 2.1]

we have Exti (N, M) ∼
= H i (N, M) for any integer i.
R

a

Corollary 2.12. Suppose that N is a finitely generated a-torsion R-module for some
e J). If Ext j (N, H i (M)) ∈ S for all i < t and all j < t −i, then Hai (N, M) ∈ S
a ∈ W(I,
R

I,J

for all i < t.

The following result is a generalization of [2, Theorem 2.3].
i (M)) ∈ S
Theorem 2.13. Let N be an (I, J)-torsion R-module. If ExtRs+t+1−i (N, HI,J
i (M)) ∈ S for all t < i < s + t, and Exts+t (N, M) ∈ S,
for all i < t, ExtRs+t−1−i (N, HI,J
R
t (M)) ∈ S.
then ExtsR (N, HI,J

6

SH. PAYROVI AND M. LOTFI PARSA

Proof. Let F(−) = HomR (N, −) and G(−) = ΓI,J (−). Then we have FG(M) =
HomR (N, M). By [15, Theorem 11.38], there is the Grothendieck spectral sequence
p,q

q

p+q

E2 := ExtRp (N, HI,J (M)) ⇒ ExtR (N, M).
There is a finite filtration
0 = ϕ s+t+1 H s+t ⊆ ϕ s+t H s+t ⊆ · · · ⊆ ϕ 1 H s+t ⊆ ϕ 0 H s+t = Exts+t
R (N, M)
such that E∞s+t−i,i ∼
= ϕ s+t−i H s+t /ϕ s+t+1−i H s+t for all i ≤ s +t. It is enough to show
that E2s,t ∈ S. We have the following exact sequences
s,t
0 −→ Ker dt+1−i

s,t
dt+1−i
s,t
−→ Et+1−i −→

s+t+1−i,i
Et+1−i

and
s−t−1+i,2t−i
s,t
s,t
−→ 0
0 −→ Im dt+1−i
−→ Kerdt+1−i
−→ Et+2−i
s+t+1−i,i
s+t−1−i,i
for all i. By hypothesis, Et+1−i
∈ S for all i < t, and E1+i−t
∈ S for all
s−t−1+i,2t−i
t < i < s + t. It follows that Et+1−i
∈ S for all t − s < i < t. Note that if
s−t−1+i,2t−i
s−t−1+i,2t−i
i ≤ t − s, then Et+1−i
= 0. Hence Et+1−i
∈ S for all i < t, and theres−t−1+i,2t−i
s,t
fore Im dt+1−i
∈ S for all i < t. Also we have Es+t+2
= E∞s,t ∈ S, because
E s,t ∼
= ϕ s H s+t /ϕ s+1 H s+t and ϕ s H s+t ⊆ ϕ 0 H s+t = Exts+t (N, M) ∈ S. Now the claim
∞

R



follows by the above exact sequences.
j−i

i (M)) ∈ S
Corollary 2.14. Let N be an (I, J)-torsion R-module. Let ExtR (N, HI,J
i (M)) ∈ S for all t < i <
for j = s + t, s + t + 1 and all i < t, and ExtRs+t−1−i (N, HI,J
s
t
s + t. Then Exts+t
R (N, M) ∈ S if and only if ExtR (N, HI,J (M)) ∈ S.



Proof. The claim follows by 2.2 and 2.13.
The following result is a generalization of [17, Theorem 2.3].

i (M)) ∈ S
Corollary 2.15. Let N be an (I, J)-torsion R-module. If Extt+1−i
(N, HI,J
R
t (M)) ∈ S.
for all i < t, and ExttR (N, M) ∈ S, then HomR (N, HI,J

Proof. In 2.13, put s = 0.



i (M)) be Artinian for all a ∈ W(I,
e J) and
Proposition 2.16. Let Extt+1−i
(R/a, HI,J
R
e J). Then Ext j (R/a, H t (M))
all i < t, and Extt (R/a, M) be Artinian for all a ∈ W(I,
R

e J) and all j ∈ N0 .
is Artinian for all a ∈ W(I,

R

I,J

REGULAR SEQUENCES AND LOCAL COHOMOLOGY MODULES...

7

t (M)) is Artinian for all a ∈ W(I,
e J). Also we know
Proof. By 2.15, HomR (R/a, HI,J

that

[

t
HI,J
(M) =

t (M) a) =
(0 :HI,J

e
a∈W(I,J)

[

t
HomR (R/a, HI,J
(M)).

e
a∈W(I,J)



Now the claim follows by [11, Theorem 5.1] and [1, Theorem 2.9].

e J) and all i < t. Then
Corollary 2.17. Let ExtiR (R/a, M) be Artinian for all a ∈ W(I,
j
e J), all i < t and all j ∈ N0 .
Ext (R/a, H i (M)) is Artinian for all a ∈ W(I,
I,J

R

j

e J) and
Proof. It follows by 2.16 that ExtR (R/a, ΓI,J (M)) is Artinian for all a ∈ W(I,
j

1 (M)) is Artinian for
all j ∈ N0 . Now again using of 2.16, implies that ExtR (R/a, HI,J
e J) and all j ∈ N0 . By continuing this process, the claim follows.
all a ∈ W(I,

i (M)) ∈ S for all i ≤ t, then H t (M) ∈ S.
Lemma 2.18. If HIt−i (HI,J
I,J

Proof. Let F(−) = ΓI (−) and G(−) = ΓI,J (−). Then FG(M) = ΓI,J (−). The rest


of the proof is similar to that of 2.2.

e J) and all i < t, then
Corollary 2.19. If ExtiR (R/a, M) is Artinian for all a ∈ W(I,
i (M) is Artinian for all i < t.
HI,J

i (M)) is Artinian for all
Proof. It follows by 2.17 and [1, Theorem 2.9] that HIj (HI,J

i < t and all j ∈ N0 . Now the claim follows by 2.18.



Proposition 2.20. Let S be the class of all R-modules N with dimR N ≤ k, where k
e J) and all i < t, and
is an integer. Let Extt+1−i (R/a, H i (M)) ∈ S for all a ∈ W(I,
I,J

R

ExttR (R/a, M) ∈ S

e J). Then H t (M) ∈ S.
for all a ∈ W(I,
I,J

t (M)) ∈ S for all a ∈ W(I,
e J). Also we know that
Proof. By 2.15, HomR (R/a, HI,J
t
HI,J
(M) =

[

e
a∈W(I,J)

t (M) a) =
(0 :HI,J

[

t
HomR (R/a, HI,J
(M)).

e
a∈W(I,J)

t (M) ∈ S.
It follows that HI,J



Corollary 2.21. Let S be the class of all R-modules N with dimR N ≤ k, where k is
e J) and all i < t, then H i (M) ∈ S
an integer. If Exti (R/a, M) ∈ S for all a ∈ W(I,
R

for all i < t.

I,J

8

SH. PAYROVI AND M. LOTFI PARSA

Proof. We know that
ΓI,J (M) =

[

[

HomR (R/a, ΓI,J (M)) =

e
a∈W(I,J)

HomR (R/a, M).

e
a∈W(I,J)

1 (M) ∈ S. By keeping this process,
Therefore ΓI,J (M) ∈ S. It follows by 2.20 that HI,J

the claim follows.



Corollary 2.22. Let S be the class of Artinian R-modules, or the class of all Re J)
modules N with dimR N ≤ k, where k is an integer. If Hai (M) ∈ S for all a ∈ W(I,
i (M) ∈ S for all i < t.
and all i < t, then HI,J

Proof. The claim follows by 2.19, 2.21 and [1, Theorem 2.9].



Corollary 2.23. Let S be the class of Artinian R-modules, or the class of all Rmodules N with dimR N ≤ k, where k is an integer. Then the following statements
are equivalent:
i (M) ∈ S for all i < t;
(i) HI,J
e J) and all i < t.
(ii) Hai (M) ∈ S for all a ∈ W(I,

Proof. The claim follows by 2.5 and 2.22.



Corollary 2.24. Let S be the class of Artinian R-modules, or the class of all Rmodules N with dimR N ≤ k, where k is an integer. Then
i
e J)}.
inf{i : HI,J
(M) ∈
/ S} = inf{inf{i : Hai (M) ∈
/ S} : a ∈ W(I,

The following result is a generalization of [14, Theorem 2.13].
Theorem 2.25. Let S be the class of Artinian R-modules, or the class of all Rmodules N with dimR N ≤ k, where k is an integer. Let M be a finitely generated
e J). Then
R-module, or be a ZD-module such that M/aM ∈
/ S for all a ∈ W(I,
i
e J)}.
inf{i : HI,J
(M) ∈
/ S} = inf{S − deptha (M) : a ∈ W(I,

Proof. The claim follows by 2.24 and [14, Theorem 2.13].



REGULAR SEQUENCES AND LOCAL COHOMOLOGY MODULES...

3. S OME

9

IDENTITIES BETWEEN LOCAL COHOMOLOGY MODULES

Suppose that
d0

di

E • (M) : 0 −→ ER0 (M) −→ ER1 (M) −→ · · · −→ ERi (M) −→ ERi+1 (M) −→ · · · (∗)
L
is a minimal injective resolution of M, where ERi (M) ∼
= p∈Spec(R) µ i (p, M)ER(R/p)

is a decomposition of ERi (M) as the direct sum of indecomposable injective Rmodules, ER (R/p) denotes the injective hull of R/p and µ i (p, M) denotes the i-th
Bass number of M with respect to p. It follows by [16, Proposition 1.11] that
M

ΓI,J (ERi (M)) ∼
=

µ i (p, M)ER (R/p).

p∈W(I,J)

Hence SuppR ΓI,J (ERi (M)) = {p ∈ W(I, J) : µ i (p, M) 6= 0}.
The above mentioned results are assumed known through this section.
Theorem 3.1. Let S be a Serre subcategory closed under taking injective hulls. The
following conditions are equivalent:
i (M) ∈ S for all i < t.
(i) HI,J

(ii) ΓI,J (ERi (M)) ∈ S for all i < t.
Proof. Since ΓI,J (ERi (M)) is injective and Ker ΓI,J (d i ) = Ker d i ∩ ΓI,J (ERi (M)), thus
ΓI,J (ERi (M)) is injective hull of Ker ΓI,J (d i ). Now the claim follows by [12, Lemma
5.4]. We note that the proof of [12, Lemma 5.4] is still valid if the class of Artinian
R-modules is replaced by a Serre subcategory that is closed under taking injective


hulls.
Corollary 3.2. The following statements are equivalent:
i (M) is a finite subset of Max(R) for all i < t;
(i) SuppR HI,J
i (M) is Artinian for all i < t.
(ii) HI,J

Corollary 3.3. If (R, m) is a local ring, then
i
i
inf{i : SuppR HI,J
(M) 6⊆ {m}} = inf{i : HI,J
(M)is not Artinian}.

Proposition 3.4. Let M be a finitely generated R-module, or be a ZD-module such
that Mp /pMp 6= 0 for all p ∈ W(I, J). Then
i
inf{i : HI,J
(M) 6= 0} = inf{depth Mp : p ∈ W(I, J)}.

10

SH. PAYROVI AND M. LOTFI PARSA

Proof. Let t = inf{depth Mp : p ∈ W(I, J)}. It follows by [14, Corollary 2.14] that

µ i (p, M) = 0 for all p ∈ W(I, J) and all i < t. So ΓI,J (ERi (M)) = 0 for all i < t,
i (M) = 0 for all i < t. Therefore t ≤ inf{i : H i (M) 6= 0}. Now
and hence HI,J
I,J
t (M) 6= 0. By assumption, there is q ∈ W(I, J) such
it is enough to show that HI,J

that t = depth Mq . It follows by [14, Corollary 2.14] that µ t (q, M) 6= 0. Therefore
t (M) 6= 0 by 3.1.
ΓI,J (ERt (M)) 6= 0, and hence HI,J



We can get a generalization of [6, Theorem 2.4].
Proposition 3.5. Let M be a finitely generated R-module, or be a ZD-module such
that Mp /pMp 6= 0 for all p ∈ W(I, J) − Max(R). Then
i
inf{i : SuppR HI,J
(M) 6⊆ Max(R)} = inf{depth Mp : p ∈ W(I, J) − Max(R)}.
i (M) 6⊆ Max(R)}. It follows by 3.1 that µ i (p, M) = 0
Proof. Let t = inf{i : SuppR HI,J

for all p ∈ W(I, J) − Max(R) and all i < t, and there is q ∈ W(I, J) − Max(R) such
that µ t (q, M) 6= 0. Now it follows by [14, Corollary 2.14] that depth Mp ≥ t for all
p ∈ W(I, J) − Max(R), and depth Mq = t. Therefore inf{depth Mp : p ∈ W(I, J) −
Max(R)} = t.



i (M) be a finite subset of Max(R) for all i < t. Then
Theorem 3.6. Let SuppR HI,J
i (M) ∼ H i
there are maximal ideals m1 , m2 , . . ., mk ∈ W(I, J) such that HI,J
= m1 m2 ···mk (M)

for all i < t.
Proof. It follows by 3.1 that SuppR ΓI,J (E i (M)) is a finite subset of Max(R) for all
i < t. Let SuppR ΓI,J (E i (M)) = {mi1 , mi2 , ..., miki }, where ki is an integer. Then
ΓI,J (E (M)) ∼
=
i

ki
M

µ i (mi j , M)ER (R/mi j )

j=1

for all i < t. Put a = ∏i, j mi j . Then V(a) = {mi j : 0 ≤ i < t, 1 ≤ j ≤ ki }, and
e J). Therefore
a ∈ W(I,
Γa (E i (M)) ∼
=

M

µ i (p, M)ER (R/p)

p∈V(a)

=

ki
M

µ i (mi j , M)ER (R/mi j ) ∼
= ΓI,J (E i (M))

j=1
i (M) ∼ H i (M) for all i < t.
for all i < t, and hence HI,J
= a



REGULAR SEQUENCES AND LOCAL COHOMOLOGY MODULES...

11

i (M) be a finite subset of Max(R) for all i < t. Then
Corollary 3.7. Let SuppR HI,J

there are maximal ideals m1 , m2 , . . . , mk ∈ W(I, J) such that
i
HI,J
(M) ∼
= Hmi 1 (M) ⊕ Hmi 2 (M) ⊕ · · · ⊕ Hmi k (M)

for all i < t.
Proof. The claim follows by 3.6 and the Mayer-Vietoris sequence [4, 3.2.3].



i (M) ⊆ {m} for all i < t,
Corollary 3.8. Let (R, m) be a local ring. If SuppR HI,J
then H i (M) ∼
= H i (M) for all i < t.
I,J

m

Corollary 3.9. If (R, m) is a local ring, then
i
i
inf{i : SuppR HI,J
(M) 6⊆ {m}} = inf{i : HI,J
(M) ∼
6 Hmi (M)}.
=

The following result is a generalization of [6, Proposition 2.5].
Corollary 3.10. If (R, m) is a local ring, then
i
i
(M) ∼
6 Hmi (M)}.
(M)is not Artinian} = inf{i : HI,J
inf{i : HI,J
=

Proof. The claim follows by 3.3 and 3.9.



i (M) ⊆ {m} for all i < t,
Corollary 3.11. Let (R, m) be a local ring. If SuppR HI,J
e J) and all i < t.
then H i (M) ∼
= Hai (M) for all a ∈ W(I,
I,J

e J) and all i < t.
Proof. It follows by 2.5 that SuppR Hai (M) ⊆ {m} for all a ∈ W(I,
e J) and all i < t, by 3.8. Now again
Therefore Hai (M) ∼
= Hmi (M) for all a ∈ W(I,
i (M) ∼ H i (M) for all i < t, and the claim follows. 
using of 3.8 implies that HI,J
= m

R EFERENCES
[1]

M. Aghapournahr, L. Melkersson, Local cohomology and Serre subcategories, J. Algebra 320
(2008), 1275-1287.

[2]

M. Aghapournahr, A. J. Taherizadeh, A. Vahidi, Extension functors of local cohomology modules, Bull. Iranian Math. Soc. 37 (2011), 117-134.

[3]

M. H. Bijan-Zadeh, Torsion theories and local cohomology over commutative Noetherian
rings, J. London Math. Soc. (2) 19 (1979), 402-410.

[4]

M. P. Brodmann, R. Y. Sharp, Local Cohomology: An Algebraic Introduction with Geometric
Applications, Cambridge University Press, Cambridge, 1998.

[5]

W. Bruns, J. Herzog, Cohen-Macaulay Rings, Cambridge University Press, Cambridge, 1993.

12

[6]

SH. PAYROVI AND M. LOTFI PARSA

L. Chu, Q. Wang, Some results on local cohomology modules defined by a pair of ideals, J.
Math. Kyoto Univ. 49 (2009), 193-200.

[7]

K. Divaani-Aazar, M. A. Esmkhani, Artinianness of local cohomology modules of ZDmodules, Comm. Algebra 33 (2005), 2857-2863.

[8]

K. Divaani-Aazar, R. Sazeedeh, M. Tousi, On vanishing of generalized local cohomology
modules, Algebra Colloq. 12 (2005), 213-218.

[9]

E. G. Evans, Zero divisors in Noetherian-like rings, Trans. Amer. Math. Soc. 155 (1971),
505-512.

[10] A. Grothendieck (notes by R. Hartshorne), Local Cohomology, Springer Lecture Notes in
Math., 41, Springer-Verlag, 1966.
[11] L. Melkersson, Some applications of a criterion for Artinianness of a module, J. Pure Appl.
Algebra 101 (1995), 291-303.
[12] L. Melkersson, Modules cofinite with respect to an ideal, J. Algebra 285 (2005), 649-668.
[13] Sh. Payrovi, M. Lotfi Parsa, Finiteness of local cohomology modules defined by a pair of
ideals, Comm. Algebra 41 (2013), 627-637.
[14] Sh. Payrovi, M. Lotfi Parsa, Regular sequences and ZD-modules, Eprint arXiv: 1305.0164v1.
[15] J. Rotman, An Introduction to Homological Algebra, Academic Press, Orlando, 1979.
[16] R. Takahashi, Y. Yoshino, T. Yoshizawa, Local cohomology based on a nonclosed support
defined by a pair of ideals, J. Pure Appl. Algebra 213 (2009), 582-600.
[17] A. Tehranian, A. Pour Eshmanan Talemi, Cofiniteness of local cohomology based on a nonclosed support defined by a pair of ideals, Bull. Iranian Math. Soc. 36 (2010), 145-155.
I. K. I NTERNATIONAL U NIVERSITY, P OSTAL C ODE : 34149-1-6818 Q AZVIN - IRAN
E-mail address: shpayrovi@ikiu.ac.ir
E-mail address:

lotfi.parsa@yahoo.com

