MELKERSSON CONDITION ON SERRE SUBCATEGORIES

arXiv:1404.6711v1 [] 27 Apr 2014

REZA SAZEEDEH AND RASUL RASULI
Abstract. Let R be a commutative noetherian ring, let a and b be two ideals of R; and let
S be a Serre subcategory of R-modules. We give a necessary and sufficient condition by which
S satisfies Ca and Cb conditions. As an conclusion we show that over a artinian local ring,
every Serre subcategory satisfies Ca condition. We also show that Sa is closed under extension
of modules. If S is a torsion subcategory, we prove that S satisfies Ca condition. We prove that
Ca condition can be transferred via rings homomorphism. As some applications, we give several
results concerning with Serre subcategories in local cohomology theory.

1. introduction
Throughout this paper, R is a commutative noetherian ring. We denote by R-Mod the
category of R-modules of R-homomorphisms and also we denote by R-mod the full subcategory
of finitely generated R-modules. All subcategories considered in this paper are full subcategories
of R-Mod; unless otherwise stated. A subcategory S of R-Mod is called Serre if it is closed under
taking submodules, quotients and extensions of modules.
Let S be a Serre subcategory; a an ideal of R; M an R-module and n ∈ N. It is a natural
question to ask when the local cohomology modules Hai (M ) belongs to S for all i < n (or
for all i > n). The known examples of S in this area are R-mod and R-art, where R-art is
the subcategory of artinian R-modules. The same questions can be arisen for graded local
i (M ), where R is a graded ring, R is irrelevant ideal, M is a graded
cohomology modules HR
+
+
modules and i is a non-negative integer. In the case of graded local cohomology, dealing with
these questions plays an important role in measuring the number of minimal generators of the
components of graded local cohomolgy modules (cf. [BFT, BRS, S]).
The authors in [AM] gave an answer when S satisfies Ca condition where a is an ideal of R.
This condition had already been posed for the subcategory of artinian modules by L. Melkersson
[M]. We notice that this condition can easily be satisfied on a Serre subcategory whenever it is
closed under injective envelops, but T. Yoshizawa [Y] gave an example which shows that the
converse is not valid in general.
Let a be an ideal of R. In this paper we are interested in the study of Ca condition for
subcategories in some more general cases. Let S be a subcategory and let a be an ideal of
R. We show that if S is closed under taking submodules and S satisfies C√a condition, then
it satisfies Ca condition. Moreover we show that, the converse holds if S is Serre. Let b be
another ideal of R. We show that if a subcategory S satisfies Ca and Cb conditions, then it
satisfies Ca+b condition. In case where S is Serre, we find a necessary and sufficient condition by
which S satisfies Ca and Cb conditions. As a conclusion, we prove that S satisfies Ca condition
whenever S satisfies Cp condition for each minimal p ∈ Min(a). Furthermore, we show that over
an artinian ring, every Serre subcategory satisfies Ca condition for every ideal a of R.
2000 Mathematics Subject Classification. 13C60, 13D45.
Key words and phrases. Serre subcategory, Melkersson condition, local cohomology.
1

2

REZA SAZEEDEH AND RASUL RASULI

Let S1 and S2 be two Serre subcategories, let a be an ideal of R. If < S1 , S2 > and S1 ∩ S2
satisfy Ca condition, then we show that S1 and S2 satisfy Ca condition too. We also show that
Sa is closed under taking extension of modules for every Serre subcategory S. Furthermore, we
prove that if S is a subcategory which is closed under taking submodules and arbitrary direct
sums, then Sa is closed under arbitrary direct sums for each ideal a of R; in particular, if S is
a torsion subcategory, then S satisfies Ca condition. Lastly, we show that Ca condition can be
transferred via rings homomorphisms ϕ : R → S where a is an ideal of R (cf. Theorems 2.18,
2.19).
2. The main results
We start this section by the following definitions.
Definitions 2.1. Let S be a class of R-Mod, let M be an R-module and let a be an ideal of R.
The class S is said to satisfy Ca condition on M whenever Γa (M ) = M and (0 :a M ) ∈ S imply
M ∈ S.
Let D be a class of R-modules. The class S is said to satisfy Ca condition on D whenever S
satisfies Ca condition on M for every M ∈ D.
We denote by Sa the largest subclass of R-Mod such that S satisfies Ca condition on Sa . It is
clear to see that S ⊆ Sa .
The class S is said to satisfy Ca condition whenever Sa = R-Mod and S is said to be closed
under Ca condition whenever Sa = S.
In order to illustrate the above definitions and more understanding, we give several examples
of subcategories S.
Examples 2.2. (i) Let R be domain and let Stf be the class of torsion-free modules. Then Stf
satisfies Ca condition for each ideal a of R. Indeed, the case a = 0 is clear. For each non-zero
ideal a of R, if Γa (M ) = M and (0 :M a) ∈ S, it is immediate to see that (0 :M a) = Γa (M ) = 0.
Furthermore, let Stors be the class of torsion modules. Then it is evident to see that S satisfies
Ca condition for each ideal a of R.
(ii) Let S be a Serre subcategory of R-mod. It follows from [Y, Proposition 4.3] that Rmod⊆ Sa for every ideal a of R.
(iii) Let (R, m) be a local ring and let S = R-mod. Then E(R/m) ∈ Sm if and only R
is artinian. To be more precise, suppose that E(R/m) ∈ Sm . Since Γm (E(R/m)) = E(R/m)
and HomR (R/m, E(R/m)) ∼
= R/m ∈ S, the module E(R/m) is finitely generated and so R is
artinian. Conversely if R is artinian, then E(R/m) ∈ S ⊆ Sm .
We state the following proposition which gives some basic properties of Ca condition of classes
of modules, where a is an ideal of R.
Proposition 2.3. Let S,T and U be three classes of R-modules such that S ⊆ T , let a be an
ideal of R and let S satisfy Ca condition on T . Then the following statements hold.
(i) If T satisfies Ca condition on U , then
S S satisfies Ca condition on U .
(ii) There is Ta ⊆ Sa . Moreover, Sa = T Ta , where T is taken over
X
= {T | S ⊆ T and S satisfies Ca condition on T }.
(iii) Sa is closed under Ca condition.

MELKERSSON CONDITION ON SERRE SUBCATEGORIES

3

Proof. (i) Let M ∈ U be an R-module such that Γa (M ) = M and (0 :M a) ∈ S. Since S ⊆ T
and T satisfies Ca condition on U , there is M ∈ T and since S satisfies Ca condition on T , there
is M ∈ S. (ii) Let M ∈ Ta and let M = Γa (M ) such that (0 :M a) ∈ S. Then (0 :M a) ∈ T
and since M ∈ Ta , there is M ∈ T . Now, since S satisfies Ca condition on T , there is M ∈ S;
and hence M ∈ Sa . The second equality follows easily by the first claim. (iii) In view of the
definition it is clear that S ⊆ Sa ⊆ (Sa )a and S satisfies Ca condition on Sa and also Sa satisfies
Ca condition on (Sa )a . Therefore the part (i) implies that S satisfies Ca condition on (Sa )a ; and
so the definition implies that Sa = (Sa )a .

The following lemma can be useful in the proof of next results.
Lemma 2.4. Let a be an ideal of R, let S be a subcategory which is closed under taking submodules and let S satisfy Ca condition. If (0 :M a) ∈ S, then Γb (M ) ∈ S for every ideal b with
a ⊆ b.
Proof. It is clear that Γa (Γb (M )) = Γb (M ) and (0 :Γb (M ) a) = Γb ((0 :M a)). Since S is closed
under taking submodules, we have (0 :Γb (M ) a) ∈ S and since S satisfies Ca condition, we have
Γb (M ) ∈ S.

We now show that for every ideal a of R, a Serre subcategory satisfies Ca condition if and
only if it satisfies C√a condition.
Proposition 2.5. Let S be a subcategory which is closed under taking submodules. If S satisfies
C√a condition, then it satisfies Ca condition. Moreover, if S is Serre, then the converse holds
too.
Proof. Let M ba an R-module such that Γa (M ) = M , and (0 :M a) ∈ S. Then Γ√a (M ) = M
√
√
and since (0 :M a) ⊂ (0 :M a), the hypothesis implies that (0 :M a) ∈ S. Now, this fact that
S satisfies C√a condition implies that M ∈ S. For the converse, let S be a Serre subcategory
√
and for convenience we set b = a. As R is noetherian, there exists a non-negative integer n
such that bn ⊆ a. Let M be an R-module such that Γa (M ) = Γb (M ) = M and (0 :M b) ∈ S.
Consider the following exact sequence of modules
0 → b/b2 → R/b2 → R/b → 0 (†).

The module b/b2 is a finitely generated R/b-module and so for some m ∈ N there exists the
following exact sequence of R-modules
0 → K → (R/b)m → b/b2 → 0.

Applying the functor HomR (−, M ) to this exact sequence, we deduce that HomR (b/b2 , M ) ∈ S.
Moreover, applying the functor HomR (−, M ) to the exact sequence (†) and using this fact that S
is Serre, we deduce that (0 :M b2 ) ∼
= HomR (R/b2 , M ) ∈ S. Repeating the similar manner many
n
times, we get (0 :M b ) ∈ S. Now, applying the functor HomR (−, M ) to the exact sequence
0 → a/bn → R/bn → R/a → 0, we get (0 :M a) ∈ S. Lastly, since S satisfies Ca condition, we
have M ∈ S.

Proposition 2.6. Let a and b be two ideals of R and let S be a subcategory satisfying Ca and
Cb conditions. Then S satisfies Ca+b condition. In particular, if S satisfies Ca condition for
every principal ideal a, then S satisfies Ca condition for every ideal a

4

REZA SAZEEDEH AND RASUL RASULI

Proof. Let M be an R-module such that Γa+b (M ) = M and (0 :M a + b) ∈ S. It is clear that
Γa (M ) = Γb (M ) = M . On the other hand, we have the following isomorphisms
(0 :M a + b) ∼
= Hom(R/a + b, M ) ∼
= Hom(R/a, Hom(R/b, M )) ∼
= (0 :(0:M b) a)
which imply that (0 :(0:M b) a) ∈ S. Furthermore, we have the following equalities
Γa ((0 :M b)) = (0 :Γa (M ) a) = (0 :M b).

Now, since S satisfies Ca condition, we deduce that (0 :M b) ∈ S. On the other hand since
Γb (M ) = M and S satisfies Cb condition, we deduce that M ∈ S. The second assertion follows
by an easy induction on the number of generators of a.

The following easy lemma is useful in proof of the next theorem.
Lemma 2.7. Let a be an ideal of R, let S be a Serre subcategory; and let M ∈ S. Then
ExtiR (R/a, M ) ∈ S for each i ≥ 0.

Proof. Let . . . → F1 → F0 → 0 be a free resolution of R/a such that each Fi is finitely generated.
As S is Serre, HomR (Fi , M ) ∈ S for each i. Now, since ExtiR (R/a, M ) is the quotient of
submodules of HomR (Fi , M ), we deduce that ExtiR (R/a, M ) ∈ S.

Now, we are ready to state one of the main results of this paper.

Theorem 2.8. Let a and b be two ideals of R and let S be a Serre subcategory. Then the
following statements are equivalent:
(i) S satisfies Ca+b and Ca∩b conditions;
(ii) S satisfies Ca+b and Cab conditions;
(iii) S satisfies Ca and Cb conditions.
√
√
Proof. (i)⇔ (ii). As a ∩ b = ab, it follows from Proposition 2.5 that S satisfies Ca∩b condition
if and only S satisfies Cab condition.
(ii)⇒(iii). We prove that S satisfies Ca condition and a correspondence proof holds for the
ideal b. Let M be an R-module and M = Γa (M ) and (0 :M a) ∈ S. It is clear to see that
(0 :M a + b) ⊆ (0 :M a) and so (0 :M a + b) ∈ S. As S satisfies Ca+b condition, it follows
from Lemma 2.4 that Γa+b (M ) = Γb (M ) ∈ S. Now, consider the following exact sequence of
R-modules
0 → Γb (M ) → M → M/Γb (M ) → 0.
Since S is Serre, it suffices to show that M/Γb (M ) ∈ S. Applying the functor HomR (R/a, −) to
the above exact sequence and using Lemma 2.7, we conclude that (0 :M/Γb (M ) a) ∈ S. We now
prove that (0 :M/Γb (M ) a) = (0 :M/Γb (M ) ab). The inequality (0 :M/Γb (M ) a) ⊆ (0 :M/Γb (M ) ab)
is obvious. For, the other inequality, let m + Γb (M ) ∈ (0 :M/Γb (M ) ab). Then abm ⊆ Γb (M )
and so there exists n ∈ N such that bn (abm) = 0. This implies that am ⊆ Γb (M ); and hence
m + Γb (M ) ∈ (0 :M/Γb (M ) a). Therefore (0 :M/Γb (M ) ab) ∈ S. On the other hand the fact that
Γa (M/Γb (M )) = M/Γb (M ) implies that Γab (M/Γb (M )) = M/Γb (M ). Now, since S satisfies
Cab condition, there is M/Γb (M ) ∈ S.
(iii)⇒(ii). That S satisfies Ca+b condition follows by Proposition 2.6. Let M be an R-module
such that Γab (M ) = M and (0 :M ab) ∈ S. As (0 :Γa (M ) a) ⊆ (0 :M a) ⊆ (0 :M ab) ∈ S
and S satisfies Ca condition, we have Γa (M ) ∈ S. Considering the following exact sequence of
R-modules
0 → Γa (M ) → M → M/Γa (M ) → 0,

MELKERSSON CONDITION ON SERRE SUBCATEGORIES

5

it suffices to show that M/Γa (M ) ∈ S. Applying the functor HomR (R/b, −) to the above exact
sequence induces the following exact sequence of R-modules
HomR (R/b, M ) → HomR (R/b, M/Γa (M )) → Ext1R (R/b, Γa (M )).
As (0 :M b) ⊆ (0 :M ab) ∈ S, there is HomR (R/b, M ) ∼
= (0 :M a) ∈ S; moreover Lemma 2.7
implies that Ext1R (R/b, Γa (M )) ∈ S. Therefore, since S is Serre, we have
(0 :M/Γ (M ) b) ∼
= HomR (R/b, M/Γa (M )) ∈ S.
a

On the other hand, we show that Γb (M/Γa (M )) = M/Γa (M ). Let m + Γa (M ) ∈ M/Γa (M ).
Since Γab (M ) = M , there exists a positive integer n such that (ab)n m = 0. Thus bn m ⊆ Γa (M )
and so bn (m + Γa (M )) = 0. The last equality implies that m + Γa (M ) ∈ Γb (M/Γa (M )). Lastly,
since S satisfies Cb condition, we have M/Γa (M ) ∈ S.

Corollary 2.9. Let a be an ideal of R and let S be a Serre subcategory. If S satisfies Cp
condition for every minimal prime ideal p of a, then S satisfies Ca condition.
Proof. In view of Proposition 2.5, it suffices to show that S satisfies C√a condition. Let p1 , . . . , pn
√
be minimal prime ideals of R. Then a = ∩ni=1 pi . As S satisfies Cpi condition for each i, by
applying an easy induction and using Theorem 2.8, we deduce that S satisfies C√a condition. 
Corollary 2.10. Let S be a Serre subcategory and m1 , . . . , mn be maximal ideals. If S satisfies
CQni=1 mi condition, then it satisfies Cmi condition for each i.
Q
Proof. It is straightforward to see that S satisfies CR condition. On the other hand ni=1,i6=j mi +
mj = R for each j. Therefore, it follows from Theorem 2.8 that S satisfies Cmj condition for
each j.

The following corollary shows that over an artinian ring, every Serre subcategory satisfies Ca
condition for every a ideals of R.
Corollary 2.11. Let R be an artinian ring and let S be a Serre subcategory. Then S satisfies
Ca condition for each ideal a of R.
√
Q
Proof. Let MaxR = {m1 , . . . , mn }. Then 0 = ni=1 mi . It is straightforward to show that S
satisfies C0 condition and so in view of Proposition 2.5, it satisfies CQni=1 mi condition. Now
Corollary 2.10 implies that S satisfies Cmi condition for each i. Lastly, in view of Corollary 2.9
we conclude that S satisfies Ca condition for each ideal a of R.

Let S1 and S2 be two subcategories of R-Mod. We denote by < S1 , S2 > a class of RMod consisting of all R-modules M such that there exists an exact sequence of R-modules
0 → M1 → M → M2 → 0 with Mi ∈ Si for i = 1, 2. We can also refer to < S1 , S2 > as the
class of extension modules of S1 by S2 . A well-known example is the class of minimax modules
M =< R-mod,R-art>, where R-art is the subcategory of artinian modules.
Theorem 2.12. Let S1 and S2 be two Serre subcategories, let a be an ideal of R; and let
< S1 , S2 > and S1 ∩ S2 satisfy Ca condition. Then S1 and S2 satisfy Ca condition.

6

REZA SAZEEDEH AND RASUL RASULI

Proof. We prove the claim for S1 and the proof for S2 is similar. Let M be an R-module such that
M = Γa (M ) and (0 :M a) ∈ S1 . As S1 ⊆< S1 , S2 > and < S1 , S2 > satisfies Ca condition, we
have M ∈< S1 , S2 >. Then there is an exact sequence of R-modules 0 → M1 → M → M2 → 0
such that M1 ∈ S and M2 ∈ S2 . Since S1 is Serre, it suffices to show that M2 ∈ S1 . Taking
the functor HomR (R/a, −) of the above short exact sequence, we obtain the following exact
sequence of R-modules
HomR (R/a, M ) → HomR (R/a, M2 ) → Ext1R (R/a, M1 ).

It follows from Lemma 2.7 that Ext1R (R/a, M1 ) ∈ S1 and since S1 and S2 are Serre, we have
(0 :M2 a) ∼
= HomR (R/a, M2 ) ∈ S1 ∩S2 . On the other hand, it is evident to see that Γa (M2 ) = M2
and since S1 ∩ S2 satisfies Ca condition, there is M2 ∈ S1 .

An immediate corollary can be given rise from the above theorem.
Corollary 2.13. Let M and F be the classes of all minimax modules and all modules of finite
length, respectively; and let a be an ideal of R. If M and F satisfy Ca condition, then R-mod
satisfies Ca condition.
Proof. If we consider S1 = R-mod and S2 = R−art, then it is evident to see that S1 and S2 are
Serre; < S1 , S2 >= M and S1 ∩ S2 = F. Now, the result follows immediately by the previous
theorem.

Proposition 2.14. Let S, S1 and S2 be three subcategories such that S is Serre and let a be an
ideal of R. If S satisfies Ca condition on S1 and S2 , then it satisfies Ca condition on < S1 , S2 >.
Proof. Let M ∈< S1 , S2 > be an R-module such that M = Γa (M ) and (0 :M a) ∈ S. Then
there is an exact sequence 0 → M1 → M → M2 → 0 such that M1 ∈ S1 and M2 ∈ S2 . It is clear
to see that Γa (Mi ) = Mi for i = 1, 2 and since S is Serre we have (0 :M1 a) ∈ S. Now, since S
satisfies Ca condition on S1 , we have M1 ∈ S. Applying the functor HomR (R/a, −) to the above
exact sequence and using Lemma 2.7 we deduce that (0 :M2 a) ∼
= HomR (R/a, M2 ) ∈ S. Since S
satisfies Ca condition on S2 , there is M2 ∈ S and finally since S is Serre, we have M ∈ S.

Corollary 2.15. Let S be a Serre subcategory and let a be an ideal of R. If S satisfies Ca
condition on R-art, then it satisfies Ca condition on M, where M is the class of all minimax
modules.
Proof. It is straightforward to show that S ∩ R-mod is a Serre subcategory of R-mod and it
follows from [Y, Proposition 4.3] that S ∩ R-mod satisfies Ca condition on R-mod. Now, one
can easily check that S satisfies Ca condition on R-mod. Now the result follows by Proposition
2.14 as M =< R-mod,R-art>.

For each subcategory S of R-Mod,
we set S 0 = {0} and S n+1 =< S n , S >; for n ∈ N.
S n
Moreover, we set < S >ext = S . It is clear to see that < S >ext is closed under taking
extension of modules.
The following theorem shows that if S is a Serre subcategory of R-Mod and a is an ideal of
R, then Sa is closed under taking extension of modules.
Theorem 2.16. Let S be a Serre subcategory and let a be an ideal of R. Then Sa is closed
under taking extension of modules.

MELKERSSON CONDITION ON SERRE SUBCATEGORIES

7

Proof. As S satisfies Ca condition on Sa , it follows from Proposition 2.14 that S satisfies Ca
condition on Sa2 . Repeating this way we deduce that S satisfies Ca condition on San for each
n ∈ N. Therefore S satisfies Ca condition on < Sa >ext . On the other hand, S ⊆ Sa ⊆< Sa >ext
and by the definition Sa is the largest subcategory of R-Mod such that S satisfies Ca condition
on Sa . Thus this fact implies that Sa =< Sa >ext .

We recall from [St] that a Serre subcategory S of R-Mod is torsion subcategory if it is closed
under taking arbitrary direct sums of modules. As direct limit of a direct system of modules is
a quotient of a direct sum of modules, a torsion subcategory is closed under taking direct limits.
The following theorem shows that a torsion subcategory S satisfies Ca condition for each ideal
a of R.
Theorem 2.17. Let S be a subcategory which is closed under taking submodules and let a be an
ideal of R. Then the following statements hold.
(i) If S is closed under taking arbitrary direct sums, then so is Sa .
(ii) If S is a torsion subcategory, then S satisfies Ca condition.
`
`
`
Proof. (i) Let {Mi } be a subclass of Sa . Then we show that Mi ∈ Sa . Let Mi = Γa ( Mi )
and (0 :` Mi a) ∈ S. Since S is closed under taking submodules, there is (0 :Mi a) ∈ S; and
moreover Mi = Γa (Mi ) `
for each i. Thus Mi ∈ Sa yields Mi ∈ S for each `
i. Now, according to
the hypothesis we have Mi ∈ S and so by the definition of Sa we have Mi ∈ Sa .
(ii) Let M = Γa (M ) and let (0 :M a) ∈ S. For every finitely generated submodule N of M , it
is straightforward to see that Γa (N ) = N and (0 :N a) ∈ S ∩ R-mod. Now, since S ∩ R−mod
satisfies Ca condition on R-mod by [Y, Proposition 4.3], we have N ∈ S. Finally, since M is
direct limit of its finitely generated submodules, the assumption implies that M ∈ S.

Let φ : R → S be a rings homomorphism. Each S-module M can be considered as an Rmodule and so we set an additive and faithful functor φ⋆ : S-Mod→ R-Mod. It is straightforward
to see that if φ⋆ (S) is a Serre subcategory of R-Mod, then S is a Serre subcategory of S-Mod.
Moreover, the converse is valid if φ is epic. The following theorem shows that if a is an ideal of
R, then Ca condition can be transferred via rings homomorphism.
Theorem 2.18. Let φ : R → S be a rings homomorphism, let a be an ideal of R and let S be
a subcategory of S-Mod. The subcategory φ⋆ (S) satisfies Ca condition if and only if S satisfies
CaS condition.
Proof. Let M be an S-module such that M = ΓaS (M ) and (0 :M aS) ∈ S. It is clear that
M = Γa (M ) and (0 :M aS) = (0 :M a) ∈ φ⋆ (S). Since φ⋆ (S) satisfies Ca condition, we have
M ∈ φ⋆ (S) and so M ∈ S. The proof of converse is the similar.

Let φ : R → S be a rings homomorphism. Then there is an additive functor − ⊗R S : RMod−→ S-Mod. For a a subcategory S of R-Mod, we define S ⊗ S = {M ⊗R S|M ∈ S} which
is a class of S-Modules. We now have the following theorem.
Theorem 2.19. If φ : R → S be a faithfully flat rings homomorphism, let a be an ideal of R and
let S be a subcategory of R-mod. If S ⊗ S satisfies CaS condition, then S satisfies Ca condition.

8

REZA SAZEEDEH AND RASUL RASULI

Proof. Let M be an R-module such that M = Γa (M ) and (0 :M a) ∈ S. It is evident to see that
M ⊗R S = ΓaS (M ⊗R S) and (0 :M ⊗R S aS) ∈ S ⊗ S. Now, since S ⊗ S satisfies CaS condition,
M ⊗R S ∈ S ⊗ S and so there exists N ∈ S such that M ⊗R S = N ⊗R S. As S is a flat R-module
and N is a finitely generated R-module, there exists a canonical isomorphism of S-modules
ω : HomR (N, M ) ⊗R S → HomS (N ⊗R S, M ⊗R S).

Thus there exists an R-homomorphism u : N → M such that ω(u ⊗ 1) = u ⊗ 1S = 1N ⊗R S . Now
since S is a faithfully flat R-module, u is isomorphism and so M ∈ S.

3. applications to local cohomology
Proposition 3.1. Let a be an ideal of R, let S be a Serre subcategory satisfying Ca condition
and let M ∈ S be a finitely generated R-module. Then Hai (M ) ∈ S for each i.
Proof. We proceed by induction on i. If i = 0, then the result is clear as M ∈ S. Let i > 0 and
without loss of generality let Γa (M ) = 0. The, there exists an element x ∈ a \ Z(M ) and an
x.
exact sequence 0 → M → M → M/xM → 0. Applying the functor Hai (−) yields the following
exact sequence
x.
Hai−1 (M/xM ) → Hai (M ) → Hai (M ).
the induction hypothesis implies that Hai−1 (M/xM ) ∈ S and so (0 :Hai (M ) x) ∈ S. Therefor,
since S is Serre, (0 :Hai (M ) a) ∈ S. Now, since S satisfies Ca condition, we have Hai (M ) ∈ S. 
Corollary 3.2. Let a and b be two ideals of R, let S be a Serre subcategory satisfying
Ca and Cb condition and let M ∈ S be a finitely generated R-module. Then all modules
i (M ), H i (M ) lye in S for all i.
Hai (M ), Hbi (M ), Ha+b
ab
Proof. According to Theorem 2.8, the subcatgory S satisfies Ca+b and Cab conditions. Now, the
result follows by Proposition 3.1.

Corollary 3.3. If S is a torsion subcategory and M ∈ S, then Hai (M ) ∈ S for each i.
Proof. Without loss of generality, we may assume that M is finitely generated and so the result
follows by the previous proposition and Theorem 2.17.

Proposition 3.4. Let m1 , . . . , mt be maximal ideals and a be an arbitrary ideal of R, let S
be a Serre subcategory satisfying Ca condition and let n be a non-negative integer such that
Supp(Hai (M )) ⊆ {m1 , . . . , mt } for all i ≤ n (note that n may be ∞). Then Hai (M ) ∈ S for all
i ≤ n.
Proof. We proceed by induction on i. If i = 0, then Γa (M ) is finite length and so Γa (M ) ∈ S.
Let i > 0 and suppose inductively that the result has been proved for all values smaller than i
and all finitely generated R-modules and so we prove it for i. Now the result follows by a similar
proof mentioned in Proposition 3.1.

Corollary 3.5. Let m be a maximal ideal, let S be a Serre subcategory satisfying Cm condition
and let M be a finitely generated R-module. Then Hmi (M ) ∈ S for each i.

MELKERSSON CONDITION ON SERRE SUBCATEGORIES

9

Proof. The result follows by the previous proposition.

Proposition 3.6. Let a be an ideal of R, let S be a Serre subcategory satisfying Ca condition.
Let M be a finitely generated R-module and n be a non-negative integer such that Hai (M ) is
minimax for all i < n. Then Γm (Han (M )) ∈ S for every maximal ideal m of R.
Proof. According to [BN, Theorem 2.3], the R-module (0 :Han (M ) a) is finitely generated and so
Γm ((0 :Han (M ) a)) = (0 :Γm (Han (M )) a) is finite length. Thus (0 :Γm (Han (M )) a) ∈ S and since S
satisfies Ca condition, Γm (Han (M )) ∈ S.

Proposition 3.7. Let (R, m) be a local ring, let a be an ideal of R, and let S be a Serre
subcategory satisfying Ca condition. If M is a finitely generated R-module of dimension n, then
Han (M ) ∈ S.
Proof. We proceed by induction on n. if n = 0, then Γa (M ) is of finite length and so there is
nothing to prove in this case. Let n > 0 and we may assume that Γa (M ) = 0. Now the result
follows by using a similar proof that mentioned in Proposition 3.1.

For an R-module M , the cohomological dimension of M with respect to an ideal a is defined
as cd(a, M ) := max{i ∈ Z : Hai (M ) 6= 0}.
The following result show that some quotients of top local cohomology modules may be belong
to Serre subcategories.
Proposition 3.8. Let (R, m) be a local ring, let a be an ideal of R, let S be a Seree subcategory,
and let M be a finitely generated R-module with c(a, M ) = n. Then Han (M )/mHan (M ) ∈ S.
Proof. we proceed by induction on n. If n = 0, the module Γa (M )/mΓa (M ) is of finite length
and so there is nothing to prove in this case. Let n > 0 and we may assume that Γa (M ) = 0 and
x.
so there exists an element x ∈ a \ Z(M ) and an exact sequence 0 → M → M → M/xM → 0. It
follows from [DNT] that c(a, M/xM ) ≤ c(a, M ) and so there is the following exact sequence
x.

Han−1 (M/xM ) → Han (M ) → Han (M ) → 0 (∗).

As each element of Han−1 (M ) is x-torsion, the equality Han−1 (M/xM ) = 0 implies that Han (M ) =
0 which is a contradiction. Therefore c(a, M/xM ) = n − 1. Now, using the inductive hypothesis,
we conclude that Han−1 (M/xM )/mHan−1 (M/xM ) ∈ S. Applying the functor R/m ⊗R − to the
exact sequence (∗), we have R/m ⊗R (0 :Han (M ) a) ∈ S, moreover there is an epimorphism

R/m ⊗R (0 :Han (M ) a) ։ Han (M )/mHan (M ) which completes the proof.
References
[AM] M. Aghapournahr and L. Melkersson, Local Cohomology and Serre subcategories, J. Algebra, 320(2008),
1275-1287.
[BN] K. Bahmanpour and R. Naghipour, On the cofiniteness of local cohomology modules, Proc. Amer. Math.
Soc, 136(2008),2359-2363.
[BFT] M. Brodmann, S. Fumasoli and R. Tajarod, Local cohomology over homogeneous rings with one-dimensional
local base ring, Proc. Amer. Math. Soc, 131(2003), 2977 - 2985.
[BRS] M. Brodmann, F. Rohrer and R. Sazeedeh, Multiplicities of graded components of local cohomology modules,
J. Pure Appl. Algebra, 197(2005), 249-278.

10

REZA SAZEEDEH AND RASUL RASULI

[DNT] K. Divaani-Aazar, R. Naghipour, AND M. Tousi, Cohomological dimension of certain algebraic varieties,
Proc. Amer. Math. Soc, 130(2002),3537-3544.
[M]
L. Melkersson, On asymptotic stability for sets of prime ideals connected with the powers of an ideal,
Math. Proc. Cambridge Philos. Soc. 107(1990), 267-271.
[S]
R. Sazeedeh, Artinianess of graded local cohomology modules, Proc. Amer. Math. Soc, 135(2007), 23392345.
[St]
B. Stenström, Rings of quotients, Die Grundlehern der Mathmatischen Wissenschaften, vol. 217, SpringerVerlag 1975.
[Y]
T.Yoshizawa, An example of Melkersson subcategory which is not closed under injective hulles,
arXiv:1011.1663v2 [] 9 Nov 2010.
Department of Mathematics, Urmia University, P.O.Box: 165, Urmia, Iran-And, School of Mathematics, Institute for Research in Fundamental Sciences (IPM), P. O. Box: 19395-5746, Tehran,
Iran
E-mail address: rsazeedeh@ipm.ir
Mathematics Department, Faculty of Science, Payame Noor University(PNU), Tehran, Iran
E-mail address: rasulirasul@yahoo.com

