RELATIVE COHEN-MACAULAY FILTERED MODULES WITH A
VIEW TOWARD RELATIVE COHEN-MACAULAY MODULES

arXiv:1607.04529v2 [] 3 Aug 2017

M. MAST ZOHOURI, KH. AHMADI AMOLI∗ AND S. O. FARAMARZI
Abstract. Let R be a commutative Noetherian ring, a a proper ideal of R and M
a finite R-module. It is shown that, if (R, m) is a complete local ring, then under
certain conditions a contains a regular element on DR (Hac (M )), where c = cd(a, M ).
A non-zerodivisor characterization of relative Cohen-Macaulay modules w.r.t a is
given. We introduce the concept of relative Cohen-Macaulay filtered modules w.r.t
a and study some basic properties of such modules. In paticular, we provide a
non-zerodivisor characterization of relative Cohen-Macaulay filtered modules w.r.t
a. Furthermore, a characterization of cohomological dimension filtration of M by
the associated prime ideals of its factors is established. As a consequence, we present
a cohomological dimension filtration for those modules whose zero submodule has a
primary decomposition. Finally, we bring some new results about relative CohenMacaulay modules w.r.t a.

1. Introduction
Throughout this paper, let R denote a commutative Noetherian ring with identity
and a a proper ideal of R. For any non-zero R-module M, the ith local cohomology
module of M is defined as
Hai (M) := lim ExtiR (R/an , M).
−→

n≥1

V(a) denotes the set of all prime ideals of R containing a. For an R-module M, the
cohomological dimension of M with respect to a is defined as cd(a, M) := sup{i ∈ Z |
Hai (M) 6= 0} which is known that for a local ring (R, m) and a = m, this is equal to the
dimension of M. For unexplained notation and terminology about local cohomology
modules, we refer the reader to [3] and [4]. The notion of cohomological dimension
filtration (abbreviated as cd-filtration) of M introduced by A. Atazadeh and et al.
[1] which is a generalization of the concept of dimension filtration that is defined by
P. Schenzel [20] in local case. For any integer 0 ≤ i ≤ cd(a, M), let Mi denote the
largest submodule of M such that cd(a, Mi ) ≤ i. Because of the maximal condition
of a Noetherian R-module the submodules Mi of M are well-defined. Moreover, it
follows that Mi−1 ⊆ Mi for all 1 ≤ i ≤ cd(a, M). In the present article, we will use
the concept of relative Cohen-Macaulay modules. An R-module M is relative CohenMacaulay w.r.t a whenever Hai (M) = 0 for all i 6= heightM (a). In other words, M
is relative Cohen-Macaulay w.r.t a if and only if grade(a, M) = cd(a, M) (see [18]).
Notice that this concept has a connection with a notion which has been studied under
the title of cohomologically complete intersection ideals in [11]. It is well-known that
2010 Mathematics Subject Classification. 13D45, 13E05, 13C14.
Key words and phrases. Cohomological dimension, Filter regular sequences, Local cohomology,
Relative Cohen-Macaulay filtered modules.
∗Corresponding author .
1

2

MAST ZOHOURI, AHMADI AMOLI AND FARAMARZI

heightR (a) ≤ cd(a, R) ≤ ara(a). The ideal a is called a set-theoretic complete intersection ideal whenever heightR a = ara(a). A set-theoretic complete intersection ideal
is a cohomologically complete intersection ideal. Recently, relative Cohen-Macaulay
modules have been studied also in [12].
Sharp [21] and some other authors have shown that a Cohen-Macaulay local ring R
admits a canonical module if and only if it is the homomorphic image of a Gorenstein
local ring. In particular, if R is a complete Cohen-Macaulay local ring of dimension
n, then wR = HomR (Hmn (R), E(R/m)) is a canonical module of R. The outline of the
paper is as follows.
Section 2 is devoted to discuss main topics of this paper. We initiate this section
by showing that if (R, m) is a complete local ring and M is relative Cohen-Macaulay
w.r.t a with cd(a, M) = c > 0, and SuppR (Hac (M)) ⊆ V(m), then a contains a regular
element on DR (Hac (M)) (see Corollary 2.21). In this horizon, we prove the following
theorem (see Theorem 2.22).
Theorem 1.1. Let (R, m) be a local ring and let M be a finite R-module with cd(a, M) =
c > 0. Assume that x = x1 , . . . , xn ∈ a is a regular sequence on both M and
DR (Hac (M)). Then
cd(a, M/xM) = cd(a, M) − n.
As an application of Theorem 1.1, we bring the next result (see Corollary 2.23).
Corollary 1.2. Let (R, m) be a local ring and M be a finite R-module with cd(a, M) =
c > 0.
(i) Let x ∈ a be a regular element on both M and DR (Hac (M)). Then M is relative
Cohen-Macaulay w.r.t a if and only if M/xM is relative Cohen-Macaulay w.r.t
a.
(ii) Let x = x1 , . . . , xn ∈ a be a regular sequence on both M and DR (Hac (M)).
Then M is relative Cohen-Macaulay w.r.t a if and only if M/xM is relative
Cohen-Macaulay w.r.t a.
We define the cohomological deficiency modules of M as the matlis duality of Hai (M)
for i 6= cd(a, M), denoted by Kai (M) and further cohomological canonical module
of M if i = cd(a, M). One of the main purposes of this section is to introduce
a new class of modules over R called relative Cohen-Macaulay filtered modules (or
relative sequentially Cohen-Macaulay modules) w.r.t a, abbreviated by RCMF modules.
This is an extension of the concept of Cohen-Macaulay filtered modules (sequentially
Cohen-Macaulay modules) introduced by P. Schenzel [20] for local case. The concept
of sequentially Cohen-Macaulay modules was introduced by Stanley [22] for graded
modules. It is interesting that any relative Cohen-Macaulay R-module w.r.t a is an
RCMF R-module w.r.t a. But, any RCMF R-module w.r.t a is not a relative CohenMacaulay R-module w.r.t a necessarily. We derive permanence properties of RCMF
modules. More precisely, basic properties of RCMF modules with respect to nonzerodivisors, localization and completion are discussed. One of the main results of
this section is the following theorem (see Theorem 2.24).
Theorem 1.3. Let (R, m) be a local ring and M be a finite R-module with the cdfiltration M = {Mi }ci=0 where c = cd(a, M).

RELATIVE COHEN-MACAULAY FILTERED MODULES

3

(i) Let x ∈ a be a regular element on M, DR (Hac (M)), and DR (Hai (Mi )) for all
0 ≤ i ≤ c. Then M is an RCMF module w.r.t a if and only if M/xM is an
RCMF module w.r.t a.
(ii) Let x = x1 , . . . , xn ∈ a be a regular sequence on M, DR (Hac (M)), and DR (Hai (Mi ))
for all 0 ≤ i ≤ c. Then M is an RCMF module w.r.t a if and only if M/xM
is an RCMF module w.r.t a.
As another main result of this section, we provide a necessary and sufficient condition
for a filtration to be cd-filtration of a module by the associated prime ideals of its
factors (see Theorem 2.27).
Theorem 1.4. Let M = {Mi }ci=0 be a filtration of the finite R-module M and
cd(a, M0 ) = 0. The following conditions are equivalent:
(i) Ass(Mi /Mi−1 ) = Assi (M) for all 1 ≤ i ≤ c;
(ii) M is the cd-filtration of M.
Atazadeh and et al. [1, Theorem 1.1] proved that if a finite R-module M has a
cd-filtration, then this filtration is uniquely determined by a reduced primary decomposition of the zero submodule in M. In the present paper, without such a condition
on M, we present a cd-filtration for all R-modules whose zero submodule has a primary decomposition (see Corollary 2.28).
In section 3, we study relative Cohen-Macaulayness in rings and modules. In view
of [15, Proposition 2.3], it follows that if (R, m) is a Cohen-Macaulay ring, then for
a maximal Cohen-Macaulay non-zero module M, relative Cohen-Macaulayness of the
ring R and the module M is equivalent, whenever SuppR (M) = Spec(R). We determine equivalency between two classes of relative Cohen-Macaulay rings and modules,
“multiplication” and “semidualizing” modules, in Corollaries 3.2 and 3.4. Among
other things, in Proposition 3.5, comparing with [15, Proposition 5.1], we show that
R is relative Cohen-Macaulay w.r.t a if and only if its canonical module is relative
Cohen-Macaulay w.r.t a. Finally, as any relative Cohen-Macaulay module w.r.t a is
an RCMF module w.r.t a, if (R, m) is a relative Cohen-Macaulay local ring w.r.t a
with cd(a, R) = c, then for all 0 ≤ i ≤ c the R-modules Kai (R) are either zero or
i-cohomological dimensional relative Cohen-Macaulay modules w.r.t a (see Proposition 3.6).
2. Cohomological dimension filtration and relative Cohen-Macaulay
filtered modules
In this section, we define and study relative Cohen-Macaulay filtered modules. As
the main objective, a characterization for such modules is presented in Theorem 2.24
and also a characterization of cd-filtration is presented in Theorem 2.27. We begin by
recalling the definition of cohomological dimension filtration due to Atazadeh and et
al. in [1] and the concept of relative Cohen-Macaulayness due to Zargar in [18].
Definition 2.1. (see [1]) Let M be a finite R-module. The increasing filtration M =
{Mi }ci=0 of submodules of M, where c = cd(a, M) is called the cohomological dimension
filtration of M if for all integer 0 ≤ i ≤ c, Mi is the largest submodule of M such that
cd(a, Mi ) ≤ i.

4

MAST ZOHOURI, AHMADI AMOLI AND FARAMARZI

Definition 2.2. (see [18]) A finite R-module M is called relative Cohen-Macaulay w.r.t
a if there is precisely one non-vanishing local cohomology module w.r.t a. Clearly, this
is the case if and only if grade(a, M) = cd(a, M).
These definitions motivate us to introduce the following concept.
Definition 2.3. Let M be a finite R-module and M = {Mi }ci=0 be the cohomological
dimension filtration of submodules of M, where c = cd(a, M). M is called a relative
Cohen-Macaulay filtered module (relative sequentially Cohen-Macaulay module) w.r.t
a, whenever Mi = Mi /Mi−1 is either zero or an i-cohomological dimensional relative
Cohen-Macaulay module w.r.t a for all 1 ≤ i ≤ c. Let us abbreviate this notion by
RCMF.
Related to the definition of RCMF modules, we state the notion of relative CohenMacaulay filtration w.r.t a which will be useful in the process.
Definition 2.4. Let M be a fininte R-module with cd(a, M) = c. An increasing
filtration C = {Ci }ci=0 of submodules of M is called a relative Cohen-Macaulay filtration
of M w.r.t a whenever Cc = M and Ci = Ci /Ci−1 is either zero or an i-cohomological
dimensional relative Cohen-Macaulay module w.r.t a for all 1 ≤ i ≤ c.
Proposition 2.5. Let C = {Ci }ci=0 be the relative Cohen-Macaulay filtration of the
R-module M w.r.t a. Then C coinsides with the cohomological dimension filtration.
Proof. First, it is clear that cd(a, Ci ) ≤ i for all 0 ≤ i ≤ c. Also we have
AssR Ci = {p ∈ AssR M | cd(a, R/p) ≤ i}

Q
by [1, Proposition 2.6]. This implies that Ci = Ha0i (Cj ) in which ai = cd(a,R/pj )≤i pj
for all 0 ≤ i ≤ c. Now let 0 ≤ i ≤ c and j ≥ i. Consider the following exact sequence
0 −→ Cj −→ Cj+1 −→ Cj+1 −→ 0.
As Cj+1 is either zero or (j + 1)-cohomological dimensional relative Cohen-Macaulay
module w.r.t a, it follows that Ha0i (Cj ) ∼
= Ha0i (Cj+1). Thus Ci = Ha0i (Cj ) for all j ≥ i.
Also since M = Cc , the proof will be completed by [1, Proposition 2.3].

Remark 2.6. Let M = {Mi }ci=0 be the cd-filtration of M where c = cd(a, M). Let
1 ≤ i ≤ c. Considering the exact sequence 0 −→ Mi−1 −→ Mi −→ Mi /Mi−1 −→ 0,
we have
cd(a, Mi ) = max{cd(a, Mi−1 ), cd(a, Mi /Mi−1 )}
by [6, Corollary 2.3 (i)]. Thus cd(a, Mi ) = cd(a, Mi /Mi−1 ) for all 1 ≤ i ≤ c.
Now recall that the finiteness dimension of M relative to a, fa (M), is defined by
fa (M) := inf{i ∈ N0 : Hai (M) is not finitely generated}.
Another formulation is the b-finiteness dimension of M relative to a which is defined
by
fab (M) := inf{i ∈ N0 : b * rad(0 :R Hai (M))}.
Moreover, the b-minimum a-adjusted depth of M, denoted by λba (M), is defined by
λba (M) := inf{depth Mp + height(a + p)/p : p ∈ Spec(R) \ V(b)},

RELATIVE COHEN-MACAULAY FILTERED MODULES

5

where b is the second ideal of R without assuming b ⊆ a in general. By convention,
the infimum of the empty set of integers is interpreted by ∞.
Lemma 2.7. Let M be a relative Cohen-Macaulay R-module w.r.t a with cd(a, M) >
0. Then
cd(a, M) = cd(a, R/p) for all p ∈ AssR (M).
Proof. First, note that we have fa (M) = cd(a, M) as M is relative Cohen-Macaulay
w.r.t a and so cd(a, M) ≤ λaa (M) by [4, Theorem 9.3.7]. Let p ∈ AssR (M). If
p ∈ AssR (M) ∩ V(a), then
cd(a, M) ≤ λaa (M) ≤ depth Mp + height(a + p)/p.
That is cd(a, M) ≤ 0 which is a contradiction. Thus p ∈ AssR (M) \ V(a). Now, by
the Independence Theorem [4, Theorem 4.2.1], we have
cd(a, M) ≤ λaa (M) ≤ depth Mp + height(a + p)/p
= height(a + p)/p
≤ cd((a + p)/p, R/p)
= cd(a, R/p)
≤ cd(a, M).
Therefore cd(a, M) = cd(a, R/p).



Here several examples of RCMF modules are provided. In order to prove part (e),
we bring the following remark.
Remark 2.8. Let R −→ R′ be a faithfully flat ring homomorphism and M be an Rmodule. Then by using the Flate Base Change Theorem [4, Theorem 4.3.2] we get
cd(a, M) = cd(aR′ , M ⊗R R′ ) and grade(a, M) = grade(aR′ , M ⊗R R′ ).
Examples 2.9.
(a) Any relative Cohen-Macaulay module w.r.t a is an RCMF
module w.r.t a.
(b) Let M be an R-module with cd(a, M) = 1. Then M is an RCMF module w.r.t
a.
(c) Let R = k[X, Y ]/(XY ) and a = (x) be an ideal of R in which x is the image
of X in R. Then R is RCMF w.r.t a.
(d) Let R be a ring with cd(a, R) = c. Let Ni , 0 ≤ i ≤ c be a family of R-modules
such that either Ni = 0 or Ni is i-cohomological dimensional relative CohenMacaulay module w.r.t a. Then M = ⊕ci=0 Ni is an RCMF module w.r.t a over
R.
(e) Let R[[x]] be the formal power series ring in one variable x over the ring R.
Then a finite R-module M is an RCMF module w.r.t a if and only if M[[x]] is
an RCMF module over the ring R[[x]] w.r.t aR[[x]].
Proof. (a) Let M be a relative Cohen-Macaulay R-module w.r.t a with cd(a, M) = c.
We can assume that c > 0. Since cd(a, M) = cd(a, R/p) for all p ∈ AssR (M) by
Lemma 2.7, we have Mc = M, and Mi = 0 for all 0 ≤ i < c. It follows that M is an
RCMF module w.r.t a.
To prove part (b), let M0 ⊆ M1 = M be the cd-filtration of M. We show that M/M0
is relative Cohen-Macaulay w.r.t a. By Remark 2.6, cd(a, M/M0 ) = cd(a, M) = 1.

6

MAST ZOHOURI, AHMADI AMOLI AND FARAMARZI

On the other hand, since cd(a, Γa (M)) ≤ 0, we have Γa (M0 ) = Γa (M) as M0 is the
largest submodule of M with cd(a, M0 ) ≤ 0. Therefore considering the following exact
sequence
0 −→ Ha0(M0 ) −→ Ha0 (M) −→ Ha0 (M/M0 ) −→ Ha1 (M0 ) −→ · · · ,
we get Ha0 (M/M0 ) = 0 and so grade(a, M/M0 ) = 1 as desired.
For part (c), as it is seen in [24, Example 2.3], cd(a, R) = 1 6= 0 = heightR (a). Hence
R is not relative Cohen-Macaulay w.r.t a. On the other hand, R is RCMF w.r.t a
as (b) holds. This example shows that being RCMF w.r.t a does not lead to relative
Cohen-Macaulayness w.r.t a necessarily.
Part (d) follows by Proposition 2.5 as M admits a filtration Mi = ⊕ij=0 Nj such
that Mi /Mi−1 ∼
= Ni , is either zero or an i-cohomological dimensional relative CohenMacaulay module w.r.t a for all 1 ≤ i ≤ c. One can prove this by definitions and the
fact that cd(a, ⊕ij=0 Nj ) = i for all 0 ≤ i ≤ c.
For the last part, apply Remark 2.8 as R[[x]] is isomorphic to the I-adic completion
of R[x], where I = (x) and R[x] is faithfully flat over R.

Definition 2.10. Let (R, m, k) be a local ring, a an ideal of R and M be a finite
R-module with cd(a, M) = c. For i 6= c, the ith cohomological deficiency module of M
is defined by
Kai (M) := DR (Hai (M)) = HomR (Hai (M), ER (k)).
The module K(M) := Kac (M) is called the cohomological canonical module of M. Note
that Kai (M) = 0 for all i < 0 or i > c.
According to the above definition, we bring the following property of the cohomological canonical module of R.
Lemma 2.11. Let (R, m) be a relative Cohen-Macaulay local ring w.r.t a with cd(a, R) =
c. Then Kac (R) is a faithful relative Cohen-Macaulay R-module w.r.t a of finite injective dimension of type one.
Proof. Firstly, in [18, Theorem 4.3 (ii), (iii)], it is shown that Kac (R) is relative CohenMacaulay w.r.t a of finite injective dimension of type one. Next, as R is a relative
Cohen-Macaulay ring w.r.t a, we have AnnR Hac (R) = 0 by [14, Theorem 3.3]. Hence
AnnR Kac (R) = 0 because the annihilators of an R-module and its Matlis dual are

equal by [4, Remarks 10.2.2]. This completes the proof.
In the next proposition, we provide a cohomological result of RCMF modules.
Proposition 2.12. Let M be an RCMF module w.r.t a with M = {Mi }ci=0 its cdfiltration, where c = cd(a, M). Then for all 1 ≤ i ≤ c,
Hai (M) ∼
= Hai (Mi ),
= Hai (Mi ) ∼
where Mi = Mi /Mi−1 for all 1 ≤ i ≤ c. In particular, it follows that Kai (M) ∼
=
Kai (Mi ) for all 1 ≤ i ≤ c.

RELATIVE COHEN-MACAULAY FILTERED MODULES

7

Proof. Let 1 ≤ i ≤ c. By using the short exact sequence
0 −→ Mi−1 −→ Mi −→ Mi −→ 0
and since cd(a, Mi−1 ) ≤ i − 1, we have an isomorphism Hai (Mi ) ∼
= Hai (Mi ). Now, as
Mi = Mi /Mi−1 is relative Cohen-Macaulay w.r.t a, it yields isomorphisms Haj (Mi ) ∼
=
Haj (Mi−1 ) for all j < i. By induction, it follows that
H i (M) = H i (Mc ) ∼
= H i (Mi ),
= H i (Mi+1 ) ∼
= ... ∼
= H i (Mc−1 ) ∼
a

a

a

a

a

which completes the first part of the assertion. Now by virtue of Definition 2.10, we

obtain Kai (M) ∼
= Kai (Mi ) for all 1 ≤ i ≤ c as desired.
We will provide the definitions and results which are needed in the process. The
following definition is a generalization of the concept of a-filter regular M-sequences
which has been stated in [5].
Definition 2.13. (see [23]) A sequence x1 , . . . , xn of elements of R is called an a-filter
regular M-sequence if xi ∈
/ p for all
p ∈ AssR (M/(x1 , . . . , xi−1 )M) \ V(a) for all 1 ≤ i ≤ n.
By definition, it deduces that every regular M-sequence is an a-filter regular Msequence and any R-filter regular M-sequence is a poor regular M-sequence.
Remark 2.14.
(i) Let n be a positive integer. By definition, we can find n elements
of a which form an a-filter regular M-sequence as follows. If AssR (M) ⊆ V(a),
then choose y1 ∈ a arbitrarily. If not, since a * ∪p∈AssR (M )\V(a) p, there exists
y1 ∈ a such that y1 ∈
/ p for all p ∈ AssR (M) \ V(a). Again, if AssR (M/y1 M) ⊆
V(a), then choose y2 ∈ a arbitrarily. If not, since a * ∪p∈AssR (M/y1 M )\V(a) p,
there esists y2 ∈ a such that y2 ∈
/ p for all p ∈ AssR (M/y1 M)\V(a). Proceeding
the same way, we can find y1 , . . . , yn ∈ a which form an a-filter regular Msequence.
(ii) For any positive integer n, there are n elements of R which form a poor regular
M-sequence.
Definition 2.15. (see [16] and [17]) For a ring R, let ER be the injective hull of
the direct sum ⊕m∈Max(R) R/m of all simple R-modules and DR (−) be the functor
HomR (−, ER ). (Note that DR (−) is a natural generalization of Matlis duality functor
to non-local rings.)
Lemma 2.16. Let M be a finite dimensional finite R-module and n be a positive
integer such that ExtjR (R/a, DR (Hat (M))) = 0 for all t > n and all j ∈ N0 . Then for
i
any a-filter regular M-sequence x1 , . . . , xi with i > n, ExtjR (R/a, DR (H(x
(M))) =
1 ,...,xi )
0 for all j ∈ N0 . In particular, it holds for n = cd(a, M).
Proof. In the proof of [13, Lemma 3.3], it is used the fact that for every exact sequence
of R-modules, the finiteness of sided modules lead to the finiteness of the middle one.
Thus the same method of the proof works exactly replacing “finite modules” by “zero
modules”.


8

MAST ZOHOURI, AHMADI AMOLI AND FARAMARZI

Applying Lemma 2.16, we obtain the following result which is needed for Corollary 2.21.
Lemma 2.17. Let n be a positive integer such that ExtjR (R/a, DR (Hat (M))) = 0 for
all t > n and all j ∈ N0 . Then HomR (R/a, DR (Han (M))) = 0. In particular, it holds
for n = cd(a, M).
Proof. By Grothendieck’s Vanishing Theorem [4, Theorem 6.1.2], we may assume that
n ≤ dim M. In view of Remark 2.14(i) and using Lemma 2.16, we can trace the
same method of the proof of [13, Theorem 3.4] by replacing “finite modules” by “zero
modules” to get the assertion.

Notice that the assumption “complete local” in [13, Lemma 3.3 and Theorem 3.4]
is due to show that the finiteness properties of local cohomology modules. But we
eliminated it in Lemma 2.17 because we do not need this assumption for vanishing of
local cohomology modules.
Definition 2.18. (see [10]) An R-module M is called a-cofinite if SuppR (M) ⊆ V(a)
and ExtjR (R/a, M) is finite for all j ≥ 0.
Remark 2.19. (see [7, Theorem 2.1]) For a finite R-module M and a non-negative
integer c if Hai (M) is a-cofinite for all i < c, then HomR (R/a, Hac(M)) is finite.
Lemma 2.20. Let (R, m) be a complete local ring, c a non-negative integer. Let
Hai (M) = 0 for all i < c and SuppR (M/aM) ⊆ V(m). If HomR (R/a, DR (Hac (M))) =
0, then a contains a regular element on DR (Hac (M)).
Proof. By assumption, Hai (M) is a-cofinite for all i < c. Thus HomR (R/a, Hac(M)) is finite by Remark 2.19. As SuppR (M/aM) ⊆ V(m), then SuppR (HomR (R/a, Hac (M))) ⊆
V(m) and so HomR (R/a, Hac (M)) is Artinian. Thus Hac (M) is Artinian by [4, Theorem 7.1.2]. Now, as R is a complete local ring, DR (Hac (M)) is finite by [4, Theorem
10.2.12]. Also, since HomR (R/a, DR (Hac (M))) = 0 by our assumption, a contains a
regular element on DR (Hac (M)) as required.

Motivated by [11, Lemma 4.3], we are particularly interested to prove the existance
of a regular element on DR (Hac (M)) as follows.
Corollary 2.21. Let (R, m) be a complete local ring and M be a relative CohenMacaulay R-module w.r.t a with cd(a, M) = c > 0 and SuppR (M/aM) ⊆ V(m). Then
a contains a regular element on DR (Hac (M)).
Proof. It is straightforward by using Lemma 2.17 and Lemma 2.20.



Now, we consider the behavior of cohomological dimension of an R-module under
non-zerodivisors.
Theorem 2.22. Let (R, m) be a local ring and M be a finite R-module with cd(a, M) =
c > 0. If x = x1 , . . . , xn ∈ a is a regular sequence on both M and DR (Hac (M)), then
cd(a, M/xM) = cd(a, M) − n.

RELATIVE COHEN-MACAULAY FILTERED MODULES

9

Proof. We prove by induction on the length of regular sequence x. Let n = 1 and
b be the m-adic completion of R. In view of the Flat Base Change Theorem [4,
R
b is faithfully flat over R, we have cdR (a, M) = cd b (aR,
b M
c) and
Theorem 4.3.2] as R
R
b M
c/x1 M).
c Thus we may assume that R is a complete
cdR (a, M/x1 M) = cdRb (aR,
local ring. Let cd(a, M) = c. It is clear that cd(a, M/x1 M) ≤ c. We claim that
c − 1 ≤ cd(a, M/x1 M). Suppose that cd(a, M/x1 M) < c − 1. Then the multiplication
map by x1 on Hac (M) is injective. As Hac (M) is a-torsion, we get Hac (M) = 0 which is a
contradiction. Thus c − 1 ≤ cd(a, M/x1 M) ≤ c. Now, we show that Hac (M/x1 M) = 0.
From the exact sequence
x

1
Hac (M) −→
Hac (M) −→ Hac (M/x1 M) −→ 0,

we obtain the following exact sequence
x

1
DR (Hac (M/x1 M)) −→ DR (Hac (M)) −→
DR (Hac (M)) −→ 0.

Since x1 is a regular element on DR (Hac (M)), we get DR (Hac (M/x1 M)) = 0. Since
the annihilators of Hac (M/x1 M) and its Matlis dual are equal by [4, Remark 10.2.2],
it deduces that Hac (M/x1 M) = 0. Therefore cd(a, M/x1 M) = c − 1, as desired. Now,
assume that the assertion holds for any sequences of length n − 1. Then the claim will
be proved by using inductive hypothesis.

We are now ready to bring an effective application of the above theorem which is
needed in Theorem 2.24.
Corollary 2.23. Let (R, m) be a local ring and M be a finite R-module with cd(a, M) =
c > 0.
(i) Let x ∈ a be a regular element on both M and DR (Hac (M)). Then M is relative
Cohen-Macaulay w.r.t a if and only if M/xM is relative Cohen-Macaulay w.r.t
a.
(ii) Let x = x1 , . . . , xn ∈ a be a regular sequence on both M and DR (Hac (M)).
Then M is relative Cohen-Macaulay w.r.t a if and only if M/xM is relative
Cohen-Macaulay w.r.t a.
Proof. (i) As cd(a, M/xM) = cd(a, M) − 1 by Theorem 2.22, and grade(a, M/xM) =
grade(a, M) − 1, the assertion follows easily.
Part (ii) follows by part (i) and using induction on n.

We are now in a position to bring a non-zerodivisor characterization of RCMF
modules.
Theorem 2.24. Let (R, m) be a local ring and M be a finite R-module with the cdfiltration M = {Mi }ci=0 where cd(a, M) = c.
(i) Let x ∈ a be a regular element on M, DR (Hac (M)), and DR (Hai (Mi )) for all
0 ≤ i ≤ c. Then M is an RCMF module w.r.t a if and only if M/xM is an
RCMF module w.r.t a.
(ii) Let x = x1 , . . . , xn ∈ a be a regular sequence on M, DR (Hac (M)), and DR (Hai (Mi ))
for all 0 ≤ i ≤ c. Then M is an RCMF module w.r.t a if and only if M/xM
is an RCMF module w.r.t a.

10

MAST ZOHOURI, AHMADI AMOLI AND FARAMARZI

Proof. For part (i), let Mi = Mi /Mi−1 . First, as x ∈ a is an M-regular element, we
0
show that MQ
0 = 0. By the notion of [1, Proposition 2.3], we know that M0 = Ha0 (M)
where a0 = cd(a,R/pj )=0 pj . Let cd(a, R/pj ) = 0. Then we have Ha0 (R/pj ) 6= 0 and
so there exists r ∈ R \ pj and n ∈ N such that ran ⊆ pj . Thus a ⊆ pj that is
impossible because pj ∈ AssR (M). Therefore {pj | cd(a, R/pj ) = 0} = ∅ and hence
Ha00 (M) = HR0 (M) = 0. That is, M0 = 0 as we claimed. Now, let 1 ≤ i ≤ c. Then
AssR (Mi ) ⊆ AssR (M) by [1, Proposition 2.6]. Therefore x is also Mi -regular element
for all i ≥ 1. Also, it is easy to see that Mi ∩ xM = xMi and xMi ∩ Mi−1 = xMi−1
for all 1 ≤ i ≤ c. (Note that if m ∈ M and xm ∈ Mi , then m ∈ Mi because x is a
non-zerodivisor on Mi . Hence xM ∩ Mi ⊆ xMi .) Now, let M be an RCMF module
w.r.t a. Then we have
Mi /xMi ∼
= (Mi /xMi )/(Mi−1 /(xMi ∩ Mi−1 ))
= Mi /(xMi + Mi−1 ) ∼
∼
= (Mi /(Mi ∩ xM))/(Mi−1 /(xM ∩ Mi−1 ))
∼
= ((Mi , xM)/xM)/((Mi−1 , xM)/xM).
Therefore as x is Mi -regular element, {(Mi+1 , xM)/xM}c−1
i=0 is a relative CohenMacaulay filtration of M/xM w.r.t a by Corollary 2.23. Notice that Hai (Mi ) ∼
=
Hai (Mi ) for all i. Therefore by virtue of Proposition 2.5, M/xM is an RCMF module
w.r.t a. Moreover, by Theorem 2.22, M/xM is a (c − 1)-cohomological dimensional
RCMF module w.r.t a. Conversely, suppose that M/xM is an RCMF module w.r.t a.
Then the cohomological dimension filtration {Mi′ }c−1
i=0 of M/xM has the property that
′
M′ i = Mi′ /Mi−1
is either zero or i-cohomological dimensional relative Cohen-Macaulay
module w.r.t a. Let Mi+1 denote the preimage of Mi′ in M, Mi+1 := Mi+1 /Mi for
0 ≤ i ≤ c − 1, and M0 := 0. Since AssR M′i ⊆ AssR M by [1, Proposition 2.6], it
deduces that AssR Mi ⊆ AssR M and so x is an Mi -regular element. By the isomor′
′
phisms as we mentioned in above, Mi /xMi ∼
/Mi−2
for all 1 ≤ i ≤ c, as all Mi ’s
= Mi−1
′
contain xM (here put M−1 := 0). Thus Mi /xMi is relative Cohen-Macaulay w.r.t a
′
′
and cd(a, Mi /xMi ) = cd(a, Mi−1
/Mi−2
) for all 1 ≤ i ≤ c. Now, by Theorem 2.22 and
Corollary 2.23, Mi is i-cohomological dimensional relative Cohen-Macaulay module
w.r.t a as x is non-zerodivisor on Mi . Therefore M is RCMF module w.r.t a.
Part (ii) follows by part (i) and applying the induction on n.

Another property of RCMF modules is about localization behaviour. It is clear that
if M is a relative Cohen-Macaulay R-module w.r.t a and p ∈ SuppR (M) ∩ V(a), then
Mp is relative Cohen-Macaulay Rp -module w.r.t aRp and cd(a, M) = cd(aRp , Mp ).
Proposition 2.25. Let M be an RCMF R-module w.r.t a. Then Mp is an RCMF
Rp -module w.r.t aRp for any prime ideal p ∈ SuppR (M) ∩ V(a).
Proof. Let M = {Mi }ci=0 denote the cd-filtration of M, where c = cd(a, M). Let
p ∈ V(a). Consider the filtration {Mi ⊗R Rp }ci=0 . We claim that this is a cd-filtration
of Mp . First, as
cd(a, M) = max{cd(a, Mc−1 ), cd(a, M/Mc−1 )},
and
cd(aRp , Mp ) = max{cd(aRp , (Mc−1 )p ), cd(aRp , (M/Mc−1)p )},

RELATIVE COHEN-MACAULAY FILTERED MODULES

11

and M/Mc−1 is relative Cohen-Macaulay w.r.t a, we have cd(aRp , (M/Mc−1 )p ) =
cd(a, M/Mc−1) = c and cd(aRp , (Mc−1 )p ) ≤ cd(a, M) = c. Thus cd(aRp , Mp ) = c.
Further, Mi /Mi−1 ⊗R Rp is either zero or a relative Cohen-Macaulay Rp -module w.r.t
aRp of cohomological dimension i for all 1 ≤ i ≤ c. Therefore in view of Proposition 2.5, the claim is proved.

We can also show that passage to completion preserves the property of RCMF, as
illustrated below.
c is an RCMF
Proposition 2.26. Let M be a finite RCMF R-module w.r.t a. Then M
b
b wherebis the a-adic completion.
R-module
w.r.t aR,
Proof. Let {Mi }ci=0 denote the relative Cohen-Macaulay filtration of M, where c =
ci }ci=0 is a relative Cohen-Macaulay filtration of the R-module
b
c
cd(a, M). Then {M
M
b by Flate Base Change Theorem [4, Theorem 4.3.2]. Thus by Proposition 2.5,
w.r.t aR
c is an RCMF module over R
b w.r.t aR.
b
M

The other main result of this section is a characterization of the cd-filtration of
M in terms of associated prime ideals of its factors. For all i, set AssiR (M) = {p ∈
AssR (M) | cd(a, R/p) = i}.
Theorem 2.27. Let M = {Mi }ci=0 be a filtration of the finite R-module M and
cd(a, M0 ) = 0. The following conditions are equivalent:
(i) AssR (Mi /Mi−1 ) = AssiR (M) for all 1 ≤ i ≤ c;
(ii) M is the cd-filtration of M.
Proof. By virtue of [1, Proposition 2.6 (iii)], we only have to prove the implication
(i) ⇒ (ii). First, we claim that
AssR (Mi−1 ) ∩ AssR (Mi /Mi−1 ) = ∅ for all 1 ≤ i ≤ c.
Contrarily, assume that for some 1 ≤ i ≤ c, there is p ∈ AssR (Mi−1 ) ∩ AssR (Mi /Mi−1 ).
Then cd(a, Mi−1 ) ≥ i by (i). If i > 1, by hypothesis, AssR (Mi−1 /Mi−2 ) = Assi−1
R (M)
and so p ∈
/ AssR (Mi−1 /Mi−2 ). Thus, considering the exact sequence 0 −→ Mi−2 −→
Mi−1 −→ Mi−1 /Mi−2 −→ 0, we have p ∈ AssR (Mi−2 ). As cd(a, R/p) = i, we have
cd(a, Mi−2 ) ≥ i. By repeating this descending process,
cd(a, M0 ), cd(a, M1 ), . . . , cd(a, Mi−2 ), cd(a, Mi−1 )
are all not less than i. Hence cd(a, M0 ) ≥ i > 0 which is a contradiction. Now, consider
the exact sequence 0 −→ Mc−1 −→ M −→ M/Mc−1 −→ 0, we have cd(a, Mc−1 ) ≤ c−1
as AssR (Mc−1 ) ∩ AssR (M/Mc−1 ) = ∅. Now, let N be the largest submodule of M such
that cd(a, N) ≤ c − 1 and p ∈ AssR (N/Mc−1 ). Since AssR (N/Mc−1 ) ⊆ AsscR (M), we
have cd(a, R/p) = c. But p ∈ SuppR (N/Mc−1 ) ⊆ SuppR (N) and so cd(a, R/p) ≤
cd(a, N) ≤ c − 1 which is impossible. Therefore AssR (N/Mc−1) = ∅ and Mc−1 is the
largest submodule of M such that cd(a, Mc−1 ) ≤ c − 1. Now, descendingly, we proceed
this method to prove that M is the cd-filtration of M.

We end this section by a consequence of the above theorem which gives us a cdfiltration for certain modules.

12

MAST ZOHOURI, AHMADI AMOLI AND FARAMARZI

Corollary 2.28. (compare [1, Proposition 2.3]) Let ∩ni=1 Ni be a reduced primary decomposition of (0) in M, where Ni is pi -primary, and Mi = ∩cd(a,R/pj )>i Nj for all
0 ≤ i ≤ c = cd(a, M). Assume that cd(a, ∩cd(a,R/pj )>0 Nj ) = 0. Then {Mi }ci=0 is the
cd-filtration of M.
Proof. Let 1 ≤ i ≤ c. It is easy to see that Mi−1 = Mi ∩Li , where Li is the intersection
of all Nj ’s such that cd(a, R/pj ) = i. By rewriting the indices, let Li = N1 ∩ . . . ∩ Nm .
By Theorem 2.27, we need to show that AssR (Mi /Mi−1 ) = {p1 , . . . , pm }. First, we
note that AssR (Mi /Mi−1 ) = AssR (Mi + Li /Li ) ⊆ AssR (M/Li ). Also, AssR (M/Li ) =
AssR (⊕nj=1 M/Nj ) = {p1 , . . . , pm }. Thus, it is enough to show that {p1 , . . . , pm } ⊆
AssR (Mi /Mi−1 ). We have Mi−1 = Li ∩ Li+1 ∩ . . . ∩ Lc and Mi = Li+1 ∩ Li+2 ∩ . . . ∩ Lc .
Let 1 ≤ r ≤ m. We show that pr ∈ AssR (Mi /Mi−1 ). As (0) = ∩nj=1 Nj , is a reduced
primary decomposition, it deduces that
(1)

cr ∩ . . . ∩ Nm ) ∩ Li+1 ∩ . . . ∩ Lc .
Mi−1 $ (N1 ∩ . . . ∩ N

For convenience, we denote the right side of (1) by A for the rest. So there exists x ∈ A
such that x ∈
/ Mi−1 . Notice that (Mi−1 : x) = (Nr : x). Now, as Nr is pr -primary,
there exists t > 0 such that pr t M ⊆ Nr . Hence pr t x ⊆ Mi−1 . Suppose that s ≥ 0 is
the least integer such that pr s+1 x ⊆ Mi−1 and pr s * Mi−1 . This implies that there
exists y ∈ pr s x such that y ∈
/ Mi−1 . Now, it is easy to see that pr = (Mi−1 : y), i.e.,
pr ∈ AssR (Mi /Mi−1 ). This completes the proof.

3. Relative Cohen-Macaulayness in rings and modules
In this section, we prove some results concerning relative Cohen-Macaulay rings
and modules. We begin by determining two classes of modules for which relative
Cohen-Macaulayness is equivalent for rings and modules.
Definition 3.1. (see [8]) An R-module M is called multiplication if for every submodule N of M there exists an ideal a of R such that N = aM. Moreover, if AnnR M = 0,
then M is called faithful multiplication.
Corollary 3.2. Let M be a faithful multiplication R-module. Then M is relative
Cohen-Macaulay w.r.t a if and only if R is relative Cohen-Macaulay w.r.t a.
Proof. Using [2, Theorem 2.2 (b)], we have Supp(M) = Spec(R). Thus cd(a, M) =
cd(a, R) by [6, Theorem 2.2]. On the other hand, grade(a, M) = grade(a, R) by [2,
Theorem 2.2 (a)]. Therefore grade(a, M) = cd(a, M) if and only if grade(a, R) =
cd(a, R) as required.

Definition 3.3. (see [9] and [25]) The R-module M is semidualizing if it satisfies the
following:
(i) M is finitely generated,
(ii) The homotopy map χR
M : R −→ HomR (M, M), defined by r 7→ [s 7→ rs], is an
isomorphism, and
(iii) ExtiR (M, M) = 0 for all i > 0.

RELATIVE COHEN-MACAULAY FILTERED MODULES

13

Corollary 3.4. Let M be a semidualizing R-module. Then M is relative CohenMacaulay w.r.t a if and only if R is relative Cohen-Macaulay w.r.t a.
Proof. The assertion easily follows by [19, Proposition 2.1.16] and [19, Theorem 2.2.6].

Comparing with [15, Proposition 5.1], we prove the following result on canonical
modules by getting benefit from the concept of semidualizing modules.
Proposition 3.5. Let (R, m) be a local ring and wR be its canonical module. Then R
is relative Cohen-Macaulay w.r.t a if and only if wR is relative Cohen-Macaulay w.r.t
a.
Proof. As the canonical modules are semidualizing, we have grade(a, wR ) = grade(a, R)
by [19, Theorem 2.2.6]. On the other hand, SuppR (wR ) = Spec(R) by [19, Proposition
2.1.16] and so cd(a, wR ) = cd(a, R) by [6, Theorem 2.2]. Therefore grade(a, R) =
cd(a, R) if and only if grade(a, wR ) = cd(a, wR ), as required.

Next result is about the cohomological deficiency modules of a relative CohenMacaulay ring.
Proposition 3.6. Let (R, m) be a relative Cohen-Macaulay local ring w.r.t a with
cd(a, R) = c. Then for all 0 ≤ i ≤ c, the R-modules Kai (R) are either zero or icohomological dimensional relative Cohen-Macaulay modules w.r.t a.
Proof. By assumption and Example 2.9(a), we deduce that the quotient ideal Ii :=
ai /ai−1 in the cd-filtration {ai }ci=0 of R is either zero or an i-cohomological dimensional
relative Cohen-Macaulay ideal w.r.t a for all 1 ≤ i ≤ c . In view of Proposition 2.12,
it follows that Kai (R) ∼
= Kai (Ii ) for all 0 ≤ i ≤ c. Since Ii is either zero or an
i-cohomological dimensional relative Cohen-Macaulay ideal w.r.t a, we have Kai (Ii )
is either zero or the cohomological canonical module of Ii . But the cohomological
canonical module of Ii is relative Cohen-Macaulay module w.r.t a by [18, Theorem 4.3
(i)]. Thus the assertion follows.

At the end, we give some results about relative Cohen-Macaulay rings under some
mild assumptions.
Proposition 3.7. Let f : R −→ R′ be a faithfully flat homomorphism of Noetherian
rings. Then R is relative Cohen-Macaulay w.r.t a if and only if R′ is relative CohenMacauly ring w.r.t aR′ .
i
′
′
′
Proof. As Hai (R) ⊗R R′ ∼
= HaR
′ (R ) for all i ≥ 0, we get cd(a, R) = cd(aR , R ) and
′
′
grade(a, R) = grade(aR , R ). Therefore the assertion follows.


Corollary 3.8. Let f : R −→ R′ be a faithfully flat homomorphism of Noetherian
local rings and R be a relative Cohen-Macaulay w.r.t a. Then Hai (R′ ) 6= 0 if and only
′
i
if (0 :R HaR
′ (R )) = 0.
Proof. Apply Proposition 3.7 and [14, Theorem 3.3].



14

MAST ZOHOURI, AHMADI AMOLI AND FARAMARZI

b the a-adic completion of R, is relative
Example 3.9. Let a ⊆ Jac(R). Then R,
b if and only if R is relative Cohen-Macauly ring w.r.t a.
Cohen-Macaulay ring w.r.t aR
Example 3.10. The polynomial ring R[x] is relative Cohen-Macaulay ring w.r.t aR[x]
if and only if R is relative Cohen-Macaulay ring w.r.t a.
Acknowledgements. The authors are grateful to the reviewer for suggesting several improvements to the manuscript. Moreover, the authors would like to express their
thanks to Dr. Raheleh Jafari from Kharazmi University for her useful comments.
References
[1] A. Atazadeh, M. Sedghi, and R. Naghipour, Cohomological dimension filtration and annihilators
of top local cohomology modules, Colloquium Mathematicum, 139 (2015) 25-35. 1, 3, 4, 10, 11,
12
[2] H. Ansari-Toroghy, F. Farshadifar and M. Mast-Zohouri, Some remarks on multiplication and
comultiplication modules, Inter. Math. Forum 4 (6) (2009) 287-291. 12
[3] W. Bruns, J. Herzog, Cohen-Macaulay Rings, Cambridge Studies in Advanced Mathematics,
1998. 1
[4] M. P. Brodmann and R.Y. Sharp, Local cohomology: an algebraic introduction with geometric
applications, Cambridge University Press, Cambridge, 2013. 1, 5, 6, 8, 9, 11
[5] N. T. Coung, P. Schenzel and N. V. Trung, Verallgemeinerte Cohen-Macaulay-Moduln, Math.
Nachr. 85 (1978) 57-73. 7
[6] K. Divaani-Aazar, R. Naghipour and M. Tousi, Cohomological dimension of certain algebraic
varieties, Proc. Amer. Math. Soc. 130 (2002) 3537-3544. 4, 12, 13
[7] M. T. Dibaei and S. Yassemi, Associated primes and cofiniteness of local cohomology modules,
manuscripta math. 117 (2005) 199-205. 8
[8] Z.A. El-Bast and P.F. Smith, Multiplication modules, Comm. Algebra 16 (1988) 755-779. 12
[9] H. B. Foxby, Gorenstein modules and related modules, Math. Scand. 31 (1972) 267-284. 12
[10] R. Hartshorne, Affine duality and cofiniteness, Invent. Math. 9 (1970) 145-164. 8
[11] M. Hellus and P. Schenzel, On cohomologically complete intersections, Journal of Algebra, 320
(2008) 3733-3748. 1, 8
[12] M. Hellus and P. Schenzel, Notes on local cohomology and duality, Journal of Algebra, 401
(2014) 48-61. 2
[13] K. Khashyarmanesh and F. Khosh-Ahang, On the finiteness properties of Matlis duals of local
cohomology modules, Proc. Indian Acad. Sci. Math. Sci. 118 (2008), no. 2, 197206. 7, 8
[14] L. R. Lynch, Annihilators of top local cohomology, Comm. Algebra 40 (2012) 542-551. 6, 13
[15] W. Mahmood, On cohomologically complete intersections in Cohen-Macaulay rings, Math. Reports 18(68), 1 (2016), 21-40. 3, 13
[16] A. Ooishi, Matlis duality and the width of a module, Hiroshima Math. J. 6(3) (1976) 573-587. 7
[17] A. S. Richardson, Co-localization, co-support and local cohomology, Rocky Mountain J. Math.
36(5) (2006) 1679-1703. 7
[18] M. Rahro Zargar, Some duality and equivalence results, arXiv:1308.3071v2. 1, 3, 4, 6, 13
[19] S. Sather-Wagstaff, Semidualizing modules, http://www.ndsu.edu/pubweb/ ssatherw/DOCS/sdm.pdf.
13
[20] P. Schenzel, On the dimension filtration and Cohen-Macaulay filtered modules, in: Commutative
Algebra and Algebraic Geometry, Lecture Notes in Pure Appl. Math., vol. 206, Dekker, New
York, (1999) 245-264. 1, 2
[21] R.Y. Sharp, On Gorenstien modules over a complete Cohen-Macaulay local ring, Quart. J.
Math. Oxford Ser. 22 (1971), 425-434. 2
[22] R.P. Stanley, Combinatorics and Commutative Algebra, Second edition, Birkhuser Boston, 1996.
2
[23] N. V. Trung, Absolutely superficial sequences, Math. Proc. Camb. Phil. soc., (1983) 35-47. 7

RELATIVE COHEN-MACAULAY FILTERED MODULES

15

[24] M. Varbaro, Cohomological and projective dimensions, Compositio Math. 149 (2013) 1203-1210.
6
[25] W. V. Vasconcelos, Divisor theory in module categories, North-Holland Math. stud., vol. 14,
North HollandPublishing Co., Amsterdam, 1974. 12
Department of Mathematics, Payame Noor University, Tehran, 19395-3697, Iran.
E-mail address: zohouri@phd.pnu.ac.ir
Department of Mathematics, Payame Noor University, Tehran, 19395-3697, Iran.
E-mail address: khahmadi@pnu.ac.ir
Department of Mathematics, Payame Noor University, Tehran, 19395-3697, Iran.
E-mail address: faramarzi@tabrizu.ac.ir

