arXiv:1611.08881v1 [math.AC] 27 Nov 2016

CODUALIZING MODULES
MOHAMMAD RAHMANI AND ABDOLJAVAD TAHERIZADEH

Abstract. Let (R, m) be a Noetherian local ring. In this paper, we introduce a dual
notion for dualizing modules, namely codualizing modules. We study the basic properties
of codualizing modules and use them to establish an equivalence between the category of
noetherian modules of finite projective dimension and the category of artinian modules
of finite projective dimension. Next, we give some applications of codualizing modules.
Finally, we present a mixed identity involving quasidualizing module that characterize
the codualizing module. As an application, we obtain a necessary and sufficient condition
for R to be Gorenstein.

1. introduction
Throughout this paper, (R, m, k) is a commutative Noetherian local ring with non-zero
identity. A finitely generated R-module C is semidualizing if the natural homothety map
R −→ Hom R (C, C) is an isomorphism and Ext iR (C, C) = 0 for all i > 0. Semidualizing
modules have been studied by Foxby [6], Vasconcelos [23] and Golod [8]. A semidualizing
R-module C is called dualizing if id R (C) < ∞. Recently, B. Kubik [12], introduced the dual
notion of semidualizing modules, namely quasidualizing modules. An Artinian R-module
b −→ Hom R (T, T ) is an isomorphism
T is quasidualizing if the natural homothety map R
and Ext iR (T, T ) = 0 for all i > 0. We denote the class of semidualizing and quasidualizing

R-modules by S0 (R) and Q0 (R), respectively. In [12, Theorem 3.1], Kubik showed that if

R is complete, then the Matlis duality functor, that is Hom R (−, E(k)), provides an inverse
bijection between S0 (R) and Q0 (R). In Theorem 3.1, we replace E(k) with a suitable
quasidualizing R-module. More precisely, we prove the following:
Theorem 1. Let C be a semidualizing and T, T ′ are quasidualizing R-modules.
(i) If T ∈ BC , then Hom R (C, T ) ∈ Q0 (R).
(ii) If R is complete and T ′ ∈ BT , then Hom R (T ′ , T ) ∈ S0 (R).
Next, In section 4, we define a dual notion for dualizing modules, namely codualizing modules. A quasidualizing R-module T is said to be codualizing if pd R (T ) < ∞. We state
and prove some basic facts about codualizing modules. In this section, we discuss about
the existence and uniqueness of codualizing modules over Cohen-Macaulay rings that are
homomorphic image of Gorenstein rings. Also, as a dual of a theorem of R.Y. Sharp [21,
Theorem 2.9], we obtain an inverse equivalence between the category of noetherian modules
2010 Mathematics Subject Classification. 13C05, 13H10, 13D07, 13D05.
Key words and phrases. Semidualizing modules, quasidualizing modules, dualizing modules, codualizing
modules.
1

2

M. RAHMANI AND A.- J. TAHERIZADEH

of finite projective dimension P noet (R) and the category of artinian modules of finite projective dimension P art (R). The following is Theorem 4.14.
Theorem 2. Let R be complete and let T be codualizing. There is an inverse equivalence of
categories Hom R (−, T ) : P art (R) −→ P noet (R) with the functor being its own quasi-inverse.
In the last section, we obtain a characterization of codualizing modules in terms of isomorphisms involving Ext and Tor . More precisely, the following is Theorem 5.12.
Theorem 3. Let T ba a quasidualizing R-module and let dim (R) = d. The following are
equivalent:
(i) T is codualizing.
(ii) One has
j
Tor R
i (T, Ext R (T, k))

∼
=

(

k

i = j = d,

0

otherwise.

Ext iR (T, Tor R
i (T, k))

∼
=

(

k

i = j = d,

0

otherwise.

(iii) One has

We use this result to characterize Gorenstein rings.
2. preliminaries
In this section, we recall some definitions and facts which are needed throughout this
paper. For an R-module M , the injective hull of M , is always denoted by E(M ). Also
we use (−)∨ = Hom R (−, E(R/m)) for the Matlis duality functor and use νR (M ) for the
cardinal number of minimal generating set of a finitely generated R-module M , that is,
νR (M ) = vdim k (k ⊗R M ). The depth of a (not necessarily finitely generated) R-module M
is
depth R (M ) = inf{i ≥ 0 | Ext iR (R/m, M ) 6= 0}.
Also the width of M is defined to be
width R (M ) = inf{i ≥ 0 | Tor R
i (R/m, M ) 6= 0}.
If M is finitely generated with depth R (M ) = t, then the type of M , denoted by rR (M ), is
defined to be rR (M ) = vdim k (Ext tR (k, M )). If dim R (M ) = depth R (M ), then M is said to
be a Cohen-Macaulay (abbreviated to CM) R-module. If, in addition, dim R (M ) = dim (R),
then M is said to be a maximal Cohen-Macaulay (abbreviated to MCM) R-module.
Definition 2.1. A finitely generated R-module C is semidualizing if it satisfies the following
conditions:
(i) The natural homothety map χC
R : R −→ Hom R (C, C) is an isomorphism.
(ii) Ext iR (C, C) = 0 for all i > 0.
For example R itself is semidualizing. An R-module D is dualizing if it is semidualizing and
that id R (D) < ∞. For example, the canonical module of a Cohen-Macaulay local ring, if
exists, is dualizing.
Following [12], an Artinian R-module T is called quasidualizing if it satisfies the following
conditions:

CODUALIZING MODULES

3

b −→ Hom R (T, T ) is an isomorphism.
(i) The natural homothety map χTRb : R

(ii) Ext iR (T, T ) = 0 for all i > 0.

For example E(R/m) is a quasidualizing R-module. Also, if R is Artinian, then it is
quasidualizing.
Definition 2.2. Let X be an R-module. The Auslander class with respect to X is the class
AX of R-modules M such that:
i
(i) Tor R
i (X, M ) = 0 = Ext R (X, X ⊗R M ) for all i ≥ 1, and

(ii) The natural map ωXXM : M → Hom R (X, X ⊗R M ) is an isomorphism.
The Bass class with respect to X is the class BX of R-modules M such that:
(i) Ext iR (X, M ) = 0 = Tor R
i (X, Hom R (X, M )) for all i ≥ 1, and
(ii) The natural map θXXM : X ⊗R Hom R (X, M ) → M is an isomorphism.
Following [12], the class of derived X-reflexive R-modules, denoted by GX , consists of those
R-modules M for which
(i) Ext iR (M, X) = 0 = Ext iR (Hom R (M, X), X) for all i ≥ 1, and
(ii) The natural biduality map δMXX : M → Hom R (Hom R (M, X), X) is an isomorphism.
If C is semidualizing, then AC contains all R-modules of finite projective dimension and BC
contains all R-modules of finite injective dimension. Also, if any two R-modules in a short
exact sequence are in AC (resp. BC ), then so is the third (see [10, Corollary 6.3]). If X = R,
then the class GR is the so-called totally reflexive R-modules. Also, if T is quasidualizing,
then the class GT is introduced in [12] as a generalization of Matlis reflexive modules.
Recall that an element x ∈ R is said to be coregular on the R-module M if the map
x

M −→ M is surjective. Also, the sequence x1 , · · · , xn is said to be a M -coregular sequence
if xi is 0 : (x1 , · · · , xi−1 )-coregular for all 1 ≤ i ≤ n.
M

Lemma 2.3. Let x ∈ m be R-regular and T ∈ Q0 (R). Then for all i > 0, we have
Ext iR (R/xR, T ) = 0 = Ext iR (Hom R (R/xR, T ), T )
Proof. We can assume that R is complete. First, since fd R (R/xR) = 1 < ∞, and that
T ∨ ∈ S0 (R) by [12, Theorem 3.1], we have Ext i (R/xR, T )∨ ∼
= Tor R (R/xR, T ∨) = 0 for
R

i

all i > 0 by [4, Theorem 3.2.13]. Hence Ext iR (R/xR, T ) = 0 for all i > 0. Next, note that
by [17, Theorem 10.66], there is a third quadrant spectral sequence


p
q
R
Ep,q
2 = Ext R Ext R (R/xR, T ), T =⇒ Tor n R/xR, Hom R (T, T ) .
p

But Ext qR (R/xR, T ) = 0 for all q > 0 and hence Ep,q
collapses on the p-axis. So that, for
2

all i > 0, we get
Ext iR (Hom R (R/xR, T ), T ) ∼
= Tor R
i (R/xR, R) = 0.

Proposition 2.4. Let C ∈ S0 (R) and T ∈ Q0 (R). Then we have the following:
(i) dim (C) = dim (R) and Ass R (C) = Ass (R). If, in addition, R is complete, then
Ass (C) = Att R (T ).

4

M. RAHMANI AND A.- J. TAHERIZADEH

(ii) For a non-zero R-module M , we have C ⊗R M 6= 0 and that Hom R (C, M ) 6= 0 6=
Hom R (M, T ).
(iii) An element x ∈ m is R-regular (C-regular) if and only if it is T -coregular.
(iv) Suppose that x ∈ m is R-regular. Then C/xC ∈ S0 (R/xR) and Hom R (R/xR, T ) ∈
Q0 (R/xR).
(v) depth R (C) = depth (R) = width R (T ).
(vi) C and T are both indecomposable.
Proof. In part (i), the first two equalities follow from the definition of C. For the last
equality, use [12, Theorem 3.1] and [2, Corollary 10.2.20].

For (ii), C ⊗R M 6= 0

and Hom R (C, M ) 6= 0 both follow from the fact that Supp R (C) = Spec (R).

Also

Hom R (M, T ) 6= 0 follows from [12, Lemma 3.11]. For (iii), we can assume that R is
x

complete. Now, note that for an element x ∈ m, R −→ R is a monomorphism if and only
x

if T −→ T is an epimorphism since by Lemma 2.3, Ext 1R (R/xR, T ) = 0. In (iv), the fact
that C/xC ∈ S0 (R/xR) is well-known. For the other claim, note that the exact sequence
x

0 −→ R −→ R −→ R/xR −→ 0,
in conjunction with the five lemma and Lemma 2.3 show that θR/xRT T is an isomorphism.
Consider the following commutative diagram
χT
b ⊗R R/xR
R

b R
b
R/x

/ R/xR ⊗R Hom R (T, T )
∼
=

θR/xRT T


Hom R Hom R (R/xR, T ), T
∼
=

b R
b
R/x

Hom(R/xR,T )
b
R/xR

χb

/ Hom R/xR





Hom R (R/xR, T ), Hom R (R/xR, T )
Hom(R/xR,T )

in which the unspecified isomorphism is from Hom-tensor adjointness. Hence, χR/x
b R
b

is an isomorphism. Next, by [17, Theorem 10.64], there exists a third quadrant spectral
sequence



p
q
n
Ep,q
2 = Ext R/xR Hom R (R/xR, T ), Ext R (R/xR, T ) =⇒ Ext R Hom R (R/xR, T ), T .
p

On the other hand, by Lemma 2.3, we have Ext qR (R/xR, T ) = 0 for all q > 0. Therefore,
Ep,q
2 collapses on the p-axis and we have the isomorphism


Ext nR/xR Hom R (R/xR, T ), Hom R (R/xR, T ) ∼
= Ext nR Hom R (R/xR, T ), T = 0,
for all n > 0, where the last equality holds by lemma 2.3.

(v). The left hand side equality is well-known. For the other equality, we can assume
that R is complete and then proceed by induction on d = depth (R). If d = 0, then
b 6= 0, and so Hom R (k ⊗ b T, T ) ∼
Hom Rb (k, R)
= Hom Rb (k, Hom R (T, T )) 6= 0. In particular,
R
k ⊗R T 6= 0, whence width R (T ) = 0. Now, assume inductively that d > 0. Choose x ∈ m to

be R-regular. By (iii), x is T -coregular, and hence there exists an exact sequence
x

0 −→ Hom R (R/xR, T ) −→ T −→ T −→ 0.
By (iv), Hom R (R/xR, T ) is a quasidualizing R/xR-module, and so by induction hypothesis

CODUALIZING MODULES

5

depth (R/xR) = width R/xR (Hom R (R/xR, T )). Finally, if t = width R (T ), the long exact
sequence
x

x

R
R
R
· · · → Tor R
i+1 (k, T ) → Tor i+1 (k, T ) → Tor i (k, Hom R (R/xR, T )) → Tor i (k, T ) → · · · ,
R
shows that Tor R
i (k, Hom R (R/xR, T )) = 0 for all i < t − 1 and since Tor t (k, T ) 6= 0 we

have Tor R
t−1 (k, Hom R (R/xR, T )) 6= 0. Consequently,
width R/xR (Hom R (R/xR, T )) = width R (Hom R (R/xR, T )) = t − 1,
and so d = t, as wanted.
b must be decomposable
(vi). Note that if C (resp. T ) is decomposable, then R (resp. R)
b
which is impossible since R (resp. R) is local.


Lemma 2.5. Let R be complete and M be a Matlis reflexive R-module of finite projective
dimension. Then M ∈ GT .
Proof. See [12, Proposition 3.9].



3. Quasidualizing modules via semidualizing modules
In this section, our aim is to generalize [12, Theorem 3.1], which says that if R is complete,
then the Matlis dual functor provides an inverse bijection between the classes S0 (R) and
Q0 (R).
Theorem 3.1. Let C be a semidualizing and T, T ′ are quasidualizing R-modules.
(i) If T ∈ BC , then Hom R (C, T ) ∈ Q0 (R).
(ii) If R is complete and T ′ ∈ BT , then Hom R (T ′ , T ) ∈ S0 (R).
(iii) If T ∈ AC , then C ⊗R T ∈ Q0 (R).
Proof. (i) By assumption, θCT : C ⊗R Hom R (C, T ) → T is an isomorphism. Now consider
the following commutative diagram
χT
b
R

b
R

/ Hom R (T, T )
∼
=

Hom(θCT ,T )

Hom R



C ⊗R Hom R (C, T ), T
∼
=



b
R

Hom(C,T )
R

χb


/ Hom R Hom R (C, T ), Hom R (C, T )
Hom(C,T )

in which the unlabeled isomorphism is Hom-tensor adjointness. Therefore, χRb

must

be an isomorphism. Next, consider the following third quadrant spectral sequence [17,
Theorem 10.62],
p
R
n
Ep,q
2 = Ext R (Tor q (C, Hom R (C, T )), T ) =⇒ Ext R (Hom R (C, T ), Hom R (C, T )).
p

p,q
But, since T ∈ BC , we have Tor R
q (C, Hom R (C, T )) = 0 for all q > 0. So that E2 collapses

on the p-axis and we have the isomorphisms

6

M. RAHMANI AND A.- J. TAHERIZADEH

Ext nR (Hom R (C, T ), Hom R (C, T )) ∼
= Ext nR (C ⊗R Hom R (C, T ), T ) ∼
= Ext nR (T, T ) = 0,
for all n ≥ 0.
(ii). First, note that Hom R (T ′ , T ) is a finitely generated R-module by [13, Lemma 2.1].
Now, the proof is similar to the part (i).
(iii) By assumption, ωCT : T → Hom R (C, C ⊗R T ) is an isomorphism. Now consider the
following commutative diagram
b
R

χT
b
R

/ Hom R (T, T )
∼
=

Hom(T,ωCT )




Hom R T, Hom R (C, C ⊗R T )
∼
=


b
R

χC⊗T
b
R

/ Hom R C ⊗R T, C ⊗R T



in which the unlabeled isomorphism is Hom-tensor adjointness. Therefore, χC⊗T
must be an
b
R

isomorphism. Next, consider the following third quadrant spectral sequence [17, Theorem
10.64],
p
q
n
Ep,q
2 = Ext R (T, Ext R (C, C ⊗R T )) =⇒ Ext R (C ⊗R T, C ⊗R T ).
p

But, since T ∈ AC , we have Ext qR (C, C ⊗R T ) = 0 for all q > 0. So that Ep,q
collapses on
2
the p-axis and we have the isomorphisms
Ext n (C ⊗R T, C ⊗R T ) ∼
= Ext n (T, T ) = 0,
= Ext n (T, Hom (C, C ⊗R T )) ∼
R

R

for all n ≥ 0.

R



Corollary 3.2. (See [12, Theorem 3.1]) Let R be complete. Then (−)∨ : S0 (R) −→ Q0 (R)
and (−)∨ : Q0 (R) −→ S0 (R) are inverse bijections.
Proof. In the Theorem 3.1, set T = T ′ = E(R/m).



Theorem 3.3. Let T be a quasidualizing R-module.
(i) T ⊗R T 6= 0 if and only if dim (R) = 0.
∼ R.
(ii) T ⊗R T ∈ Q0 (R) if and only if T =
Proof. (i). Assume that T ⊗R T 6= 0. By [14, Corollary 7.4], ℓR (T ⊗R T ) < ∞ and then,
b
by [12, Theorem 3.1], (T ⊗R T )∨ is a semidualizing R-module
of finite length. It follows, by

b = dim b ((T ⊗R T )∨ ) = 0, as wanted. Conversely,
Proposition 2.4(i), that dim (R) = dim (R)
R
assume that dim (R) = 0. Then, R is complete with respect to m-adic topology and that T

is noetherian. Thus, in particular, T is semidualizing and so by Proposition 2.4(ii), we have
T ⊗R T 6= 0.
(ii). Assume that T ⊗R T is quasidualizing. Then, by (i), dim (R) = 0. Then, R is com-

plete with respect to m-adic topology. Also, by [12, Theorem 3.1], T ⊗R T is semidualizing.
Hence, by [7, Theorem 3.2], T ∼

= R. The converse is evident.
Corollary 3.4. (See [5]) Assume that p is a prime ideal of a (not necessarily local) ring R.

CODUALIZING MODULES

7

(i) E(R/p) ⊗R E(R/p) 6= 0 if and only if dim (Rp ) = 0.
(ii) E(R/p) ⊗R E(R/p) ∼
= E(R/p) if and only if Rp is Artinian Gorenstein.
Proof. (i). Note that E(R/p) is a quasidualizing Rp -module. Now the result follows from
Theorem 3.3(i)
(ii). If Rp is Artinian Gorenstein, then Rp ∼
= E(R/p) and so E(R/p)⊗R E(R/p) ∼
= E(R/p)
∼
is quasidualizing. Conversely, if E(R/p) ⊗R E(R/p) = E(R/p), then since E(R/p) is quasidualizing, by Theorem 3.3(ii), we have Rp ∼
= E(R/p), whence Rp is Artinian Gorenstein. 
4. Existence and uniqueness
Proposition 4.1. Let T be a quasidualizing R-module.
(i) If id R (T ) < ∞, then T ∼
= E(R/m).
(ii) If pd R (T ) < ∞, then pd R (T ) = dim (R).
b
Proof. (i). Note that T ∨ is a semidualizing R-module
by [12, Theorem 3.1]. Also, note

that pd Rb (T ∨ ) < ∞. Hence, by Proposition 2.4(v) and the Auslander-Buchsbaum formula,
b
we have pd b (T ∨ ) = 0, whence T ∨ is a finitely generated free R-module.
But then T ∨∨ ∼
=
R

b
E(R/m)t for some t ∈ N. Since T is a Matlis reflexive R-module,
we have T ∼
= E(R/m)t .
∼ E(R/m).
Now, by Proposition 2.4(vi), we have T =
(ii).

b
In view of [12, Theorem 3.1], T ∨ must be dualizing for R.

Now, there are

(in)equalities

b = id b (T ∨ ) ≤ pd R (T ) ≤ dim (R),
dim (R)
R

in which the last inequality follows from [15, Corollary 3.2.7].



Remark 4.2. In [19, Theorem 3.20], the authors proved that a d-dimensional local ring
R is Gorenstein if and only if there exists a d-perfect quasidualizing R-module with 1dimensional socle. Then, in [19, Question 3.22], they asked that can one omit the condition
”1-dimensional socle”? The answer is negative as the following example shows. Let R be a
complete CM ring that is not Gorenstein. Let ωR be the dualizing module of R. Then we
∼ R/Ann R (ωR ) ∼
have νR (ωR ) ≥ 2, since otherwise ωR must be cyclic, and hence R =
= ωR ;
so that R is Gorenstein which is impossible. Now, by [19, Theorem 3.19] and [12, Theorem
∨
3.1], ωR
is a d-perfect quasidualizing R-module and that
∨
vdim k (Soc (ωR
)) = vdim k (k ⊗R ωR ) ≥ 2.

An explicit example is R = k[[X, Y, Z]]/(X 2 , XY, Y 2 ).
Definition 4.3. Let T be a quasidualizing R-module. We say that T is a codualizing
R-module if pd R (T ) < ∞.
Example 4.4.

If R is Artinian, then it is codualizing. Also, if R is Gorenstein, then

E(R/m) is codualizing.
Remark 4.5. Note that if there exists a codualizing R-module, then R must be Cohenb Now, by [12,
Macaulay. Indeed, if T is codualizing over R, then it is codualizing over R.
b
Theorem 3.1], there exists a semidualizing R-module
K such that T = Hom Rb (K, E(R/m)).

8

M. RAHMANI AND A.- J. TAHERIZADEH

b ≤ id b (K) = depth (R),
b
Now, one has id Rb (K) ≤ pd Rb (T ) < ∞. Thus, we have dim (R)
R
b and so R is CM. Also, if R is complete then T is codualizing if and only if T ∨ is
whence R

dualizing by [12, Theorem 3.1] and the fact that pd R (T ), id R (T ∨ ) are simultaneously finite.
In particular, R is Gorenstein if and only if E(R/m) is codualizing.
Lemma 4.6. Let x ∈ m be R-regular, C ∈ S0 (R) and T ∈ Q0 (R).
(i) C is dualizing for R if and only if C/xC is dualizing for R/xR.
(ii) T is codualizing for R if and only if Hom R (R/xR, T ) is codualizing for R/xR.

Proof. The part (i) is well-known. For (ii), we can assume that R is complete. We have
to show that pd R (T ) < ∞ if and only if pd R/xR (Hom R (R/xR, T )) < ∞. By Proposition
2.4(iii), there exists an exact sequence
x

0 −→ Hom R (R/xR, T ) −→ T −→ T −→ 0,
which, for any finitely generated R-module N , induces a long exact sequence
x

x

i
i
i
· · · → Ext i−1
R (T, N ) → Ext R (T, Hom R (R/xR, N )) → Ext R (T, N ) → Ext R (T, N ) → · · · .

Note that all terms in the above long exact sequence are finitely generated by [13, Theorem
2.2]. Now, a simple use of Nakayama’s lemma shows that pd R (T ) < ∞ if and only if
pd R (Hom R (R/xR, T )) < ∞. Finally, since
pd R/xR (Hom R (R/xR, T )) = pd R (Hom R (R/xR, T )) − 1,
we are done.



Lemma 4.7. Let M and N be two non-zero artinian R-modules. Let x ∈ m be R-regular
and M -coregular. Then a homomorphism ϕ : M −→ N is an isomorphism if and only if the
induced homomorphism
Hom R (R/xR, ϕ) : Hom R (R/xR, M ) −→ Hom R (R/xR, N )
is an isomorphism.
Proof. The necessity is trivial. Assume that Hom R (R/xR, ϕ) is an isomorphism. The exact
sequence
0 −→ ker(ϕ) −→ M −→ N ,
induces an exact sequence
0 → Hom R (R/xR, ker(ϕ)) → Hom R (R/xR, M ) → Hom R (R/xR, N ),

: x = Hom R (R/xR, ker(ϕ)) = 0. In the following, we
ker(ϕ)

use induction on i to show that 0 : xi = 0 for all i ≥ 1. Suppose, on the contrary,
ker(ϕ)


that 0 : xi 6= 0. Consider 0 6= m ∈ 0 : xi . Then, we have xi m = 0 and so
ker(ϕ)
ker(ϕ)


xi−1 m ∈ 0 : x = 0 which implies that m ∈ 0 : xi−1 = 0, a contradiction. Now,
ker(ϕ)
ker(ϕ)

S
0 : xi = 0. Next, consider the exact
since ker(ϕ) is artinian, we have ker(ϕ) =
from which we conclude that 0

i≥1

sequence

ker(ϕ)

0 −→ M −→ N −→ Coker (ϕ) −→ 0,
to induce an exact sequence
Hom R (R/xR, M ) → Hom R (R/xR, N ) → Hom R (R/xR, Coker (ϕ)) → Ext 1R (R/xR, M ) = 0.

CODUALIZING MODULES

9

It follows that Hom R (R/xR, Coker (ϕ)) = 0. A similar argument as above, shows that
Coker (ϕ) = 0.



Lemma 4.8. Let M and N be two R-modules. Let x be an R-regular and N -coregular
element for which xM = 0. Then for all i > 0 we have
∼ Tor R/xR (M, Hom R (R/xR, N )).
Tor R (M, N ) =
i

i−1



Proof. Note that Tor R
i (−, N )

i∈N0

is a positive strongly connected sequence of covariant

functors. Now, apply the functor M ⊗R − the exact sequence
x

0 −→ Hom R (R/xR, N ) −→ N −→ N −→ 0,
to obtain the following exact sequence
x

R
Tor R
1 (M, N ) → Tor 1 (M, N ) → M ⊗R Hom R (R/xR, N ) → M ⊗R N .
x

R
But, Tor R
1 (M, N ) → Tor 1 (M, N ) is just the zero map, and that M ⊗R N = 0. Thus, we

have
∼
Tor R
1 (M, N ) = M ⊗R Hom R (R/xR, N ) = M ⊗R/xR Hom R (R/xR, N ).
On the other hand, if F is a free R/xR-module, then pd R (F ) = 1 and hence Tor R
i (M, N ) =
0 for all i > 1. According to [18, Exercise 8.10], the proof is complete.



Theorem 4.9. Let R → (S, n) be a local ring epimorphism of local rings with R is Gorenstein, S is CM, dim (R) = n and dim (S) = m. Then Tor R
n−m (S, E(R/m)) is codualizing
for S.
Proof. One has S ∼
= R/I for some ideal I of R with grade R (I) = ht R (I) = n − m. Assume
that x is a maximal R-sequence in I. Set R = R/xR. By Lemma 4.8, we have the iso∼
morphism Tor R
n−m (S, E(R/m)) = S ⊗R ER (R/m). Now, R is Gorenstein and the induced
homomorphism R → S is again an epimorphism. Hence, we can replace R by R, and
assume that n = m. Note that S ⊗R E(R/m) is a Artinian S-module. We have to show that
S ⊗R E(R/m) ∈ Q0 (S) and that pd S (S ⊗R E(R/m)) < ∞. Observe that the completion
of S in n-adic topology coincides with the completion of S as an R-module since mS = n.
Also, we have the isomorphisms
b R)
b ∼
b R)
b ∼
b R).
b
S ⊗R E(R/m) = S ⊗R ERb (R/m
= S ⊗Rb ERb (R/m
= Sb ⊗Rb ERb (R/m

Moreover, we have the commutative diagram

R

b
R

φ

b
φ

/S

/ Sb

which allows us to make an additional assumption that R and S are complete in respective
topologies. In view of [12, Theorem 3.1], we have to show that

Hom R (S, R) ∼
= Hom S S ⊗R ER (R/m), ES (S/n) ∈ S0 (S).

First, note that G–dim R (S) < ∞ by [3, Theorem 1.4.9], and then we have the equality
G–dim R (S) = depth (R) − depth R (S) = 0, by [3, Theorem 1.4.9]. Hence, the natural

10

M. RAHMANI AND A.- J. TAHERIZADEH

biduality map δSR : S → Hom R (Hom R (S, R), R) is an isomorphism. Now, the commutative
diagram
δSR

S

/ Hom R (Hom R (S, R), R)
∼
=


Hom R (S ⊗S Hom R (S, R), R)
∼
=


S

Hom(S,R)

/ Hom S (Hom R (S, R), Hom R (S, R))

χS
Hom(S,R)

shows that χS

is an isomorphism. Also, by [17, Theorem 10.64], there is a third

quadrant spectral sequence
p
q
n
Ep,q
2 = Ext S (Hom R (S, R), Ext R (S, R)) =⇒ Ext R (Hom R (S, R), R).
p

But, since G–dim R (S) = 0, we have Ext qR (S, R) = 0 for all q > 0, and then Ep,q
2 collapses
on the p-axis. So that, we have the isomorphism
Ext n (Hom R (S, R), Hom R (S, R)) ∼
= Ext n (Hom R (S, R), R) = 0,
S

R

for all n > 0. Now, we need only to show that pd S (S ⊗R E(R/m)) < ∞. To do this, first
note that pd R (E(R/m)) = n. On the other hand, by [4, Theorem 3.2.1], we have
Tor R (S, E(R/m)) ∼
= Ext i (S, R)∨ = 0,
i

R

for all i > 0. Hence, a bounded free resolution of E(R/m), by applying S ⊗R −, gives a
bounded free resolution for S ⊗R E(R/m) as an S-module, as wanted.



Notation 4.10. We denote the full subcategory of artinian (resp. noetherian) R-modules
of finite projective dimension by P art (R)(resp. P noet (R)).
Lemma 4.11. Let T be a quasidualizing R-module. If M ∈ P art (R), then M ֒→ T m for
some m ∈ N.
Proof. We can assume that R is complete. Note that Hom R (M, T ) is a finitely generated
R-module. Now, in view of Lemma 2.5, the exact sequence Rm −→ Hom R (M, T ) −→ 0,
m ∈ N, induces an exact sequence
0 −→ M ∼
= Hom R (Hom R (M, T ), T ) −→ T m ,
as wanted.



Theorem 4.12. Let dim (R) = d. Let T be codualizing and let M be an R-module.
(i) Let M ∈ P art (R) with width R (M ) = dim (R). Then M ∼
= T m for some m ∈ N.
(i) M ∈ P art (R) if and only if there exists an exact sequence
0 −→ M −→ T0 −→ · · · −→ Tn −→ 0,
for some n ∈ N, in which every Ti is a finite direct sum of copies of T .
Proof. In the rest of the proof, we can assume that R is complete.
(i). Choose x to be a maximal R-sequence in m. Then, x is M -coregular as well. Now,
Hom R (R/xR, M ) is a free R/xR-module of finite length. Therefore, by Proposition 4.1(ii)

CODUALIZING MODULES

11

and Lemma 4.6(ii), we have the isomorphisms

m
Hom R (R/xR, M ) ∼
= R/xR
∼
= Hom R (R/xR, T )m
∼
= Hom R (R/xR, T m ),
for some m ∈ N. Now, in view of Lemma 4.7, we have M ∼
= T m.
(ii). If there exists such an exact sequence, then it easily follows that M ∈ P art (R). We
shall prove the converse. By Lemma 4.12, we can write an exact sequence
0 −→ M −→ T0 −→ K0 −→ 0,
in which T0 is a finite direct sum of copies of T . Now, if K0 = 0, then we are done. If not,
since K0 ∈ P art (R), by another use of Lemma 4.12, we can write an exact sequence
0 −→ K0 −→ T1 −→ K1 −→ 0,
in which T1 is a finite direct sum of copies of T . Now, we can proceed the same way to get
an exact sequence
0 −→ M −→ T1 −→ · · · −→ Tn −→ · · · .
To complete the proof, note that width R (Td ) = d, and hence, by (i), we are done.



Remark 4.13. A codualizing module, if exists, is unique up to isomorphism. A complete
CM local ring admits a codualizing module.
Theorem 4.14. Let R be complete with dim (R) = d, and let T be codualizing. There is
an equivalence of categories Hom R (−, T ) : P art (R) −→ P noet (R) with the functor being its
own quasi-inverse.
Proof. First, note that if M (resp. A) is noetherian (resp. artinian), then Hom R (M, T )
(resp. Hom R (A, T )) is artinian (resp. noetherian). Now, let A ∈ P art (R). Note that
Hom R (A, T ) ∼
= Hom R (A, T ∨∨ ) ∼
= Hom R (T ∨ , A∨ ).
Now, by [17, Theorem 10.66], there exists a third quadrant spectral sequence
q
p
∨
∨
R
∨
∨
Ep,q
2 = Ext R (Ext R (k, T ), A ) =⇒ Tor n (k, Hom R (T , A )).
p

But, since T ∨ is dualizing, we have Ext qR (k, T ∨ ) = 0 for all q 6= d. Therefore Ep,q
2 collapses
on the d-th column, and we have the isomorphism
Ext d−n (Ext d (k, T ∨ ), A∨ ) ∼
= Tor R (k, Hom R (T ∨ , A∨ )).
R

R

n

Now, since Ext dR (k, T ∨ ) ∼
= k and id R (A∨ ) = d, we get
Tor R (k, Hom R (T ∨ , A∨ )) ∼
= Ext d−n (k, A∨ ) = 0,
n

R

for all n > d. Consequently, pd R (Hom R (A, T )) = pd R (Hom R (T ∨ , A∨ )) < ∞, as wanted.
Next, let M ∈ P noet (R). Choose a finite free resolution
0 −→ Ft −→ · · · −→ F0 −→ M −→ 0
and apply Hom R (−, T ) to get the complex
0 −→ Hom R (M, T ) → Hom R (F0 , T ) → · · · → Hom R (Fn , T ) → 0,
which is exact by Lemma 2.5. Now, pd R (Hom R (Fi , T )) = pd R (T ) = d for all 0 ≤ i ≤ n.
Thus, pd R (Hom R (M, T )) < ∞, as wanted. Now, we are done by Lemma 2.5.
Theorem 4.15. Let T be codualizing and M be an R-module.



12

M. RAHMANI AND A.- J. TAHERIZADEH

(i) If M ∈ P art (R), then width R (M ) = depth R (Hom R (M, T )).
(ii) If M ∈ P noet (R), then depth R (M ) = width R (Hom R (M, T )).
Proof. In the rest of the proof, we can assume that R is complete.
(i). Since Ext iR (M, T ) = 0 for all i > 0, by [17, Theorem 10.62], there is a third quadrant
spectral sequence
p
q
n
Ep,q
2 = Ext R (Tor R (k, M ), T ) =⇒ Ext R (k, Hom R (M, T )).
p

Assume that width R (M ) = t. Then, we have Ep,q
= 0 for all p > 0 whenever q < t.
2
Consequently, we get
0,i ∼
i
Hom R (Tor R
i (k, M ), T ) = E2 = Ext R (k, Hom R (M, T )),
for all 0 ≤ i ≤ t. This shows that Ext iR (k, Hom R (M, T )) = 0 for all i < t and that

Ext tR (k, Hom R (M, T )) 6= 0, whence depth R (Hom R (M, T )) = t.
(ii). One has
depth R (M )



= depth R Hom R (Hom R (M, T ), T )
= width R (Hom R (M, T )),

in which the first equality is from Lemma 2.5 and the other follows from the part (i) and
Theorem 4.14.


5. Characterizations

In this section, first, we define a new notion for artinian modules that is dual to the notion
of the type for modules, namely cotype of modules. Next, we give some basic facts about
this notion and use them to characterize dualizing modules.
Definition 5.1. Let M be an artinian R-module with width R (M ) = t. The cotype of M ,

denoted by jR (M ) is defined as jR (M ) = vdim k Tor R
t (k, M ) .
Remark 5.2. Let M be artinian, x ∈ m an R-regular and M -coregular element. Then,

according to Lemma 4.8, we have the equalities
jR (M ) = jR (Hom R (R/xR, M )) = jR/xR (Hom R (R/xR, M )).
Also, the equality jR (M ) = jRb (M ) holds. Moreover, the equality jR (M ) = rR (M ∨ ) holds,
since by [4, Theorem 3.2.13], we have the isomorphism Tor R (k, M )∨ ∼
= Ext i (k, M ∨ ) for all
i

R

i ≥ 0.
In [16], R.N.Roberts has introduced a dual notion of dimension for Artinian modules.
In [11], M.Inoue has introduced the notion of co-Cohen-Macaulayness for artinian modules.
Finally, in [25], S.Yassemi has defined a dual notion of dimension for modules, namely
the Magnitude of modules, which agrees with the definition of R.N.Roberts for artinian
modules. Following [24], an R-module M is cocyclic if it is a submodule of E(R/m) for some
m ∈ max(R). Also, if M is an R-module, then we say that p ∈ Spec (R) is a coassociated
prime ideal of M , precisely when there exists a cocyclic homomorphic image N of M for
which p = Ann R (N ). The set of coassociated prime ideal of M is denoted by Coass R (M ).
Following [25], the magnitude of M , denoted by mag R (M ), is defined to be the supremum

CODUALIZING MODULES

13

of dim R (R/p) where p runs over the set Coass R (M ). An R-module M is said to be coCohen-Macaulay (abbreviated to CCM), precisely when mag R (M ) = width R (M ).
Definition 5.3. Let M be a non-zero artinian R-module. We say that M is a maximal
co-Cohen-Macaulay (abbreviated to MCCM), precisely when mag R (M ) = width R (M ) =
dim (R).
For example, if R is Cohen-Macaulay, then E(R/m) is a MCCM R-module. In fact, the
codualizing R-module, if exists, is MCCM.
Corollary 5.4. Let M be a MCCM R-module of finite projective dimension and let T be
codualizing. Then M ∼
= T n for some n ∈ N. In particular, if jR (M ) = 1, then M is
codualizing.
Proof. Just use Theorem 4.12(i).



Lemma 5.5. Let T be codualizing and d = dim(R). Then Ext iR (T, k) = 0 = Tor R
i (T, k)
d
R
∼
∼
for all i 6= d and that Ext (T, k) = k = Tor (T, k)
R

d

Proof. We can assume that R is complete. By [20, Corollary 4.5] and [12, Theorem 3.1], the
minimal flat resolution of T is of the form
Q
cm −→
0 −→ R
Tp −→ · · · −→
ht (p)=d−1

Q

Tp −→ T −→ 0,

ht (p)=0

in which Tp is the completion of a free Rp -module with respect to pRp -adic topology. For
any prime ideal p 6= m, we can take an element x ∈ m r p. Now, multiplication of x
Q
induces an automorphism on E(R/p)
and hence on Tp , and that xk = 0. Consequently,

Q
Tp is both an isomorphism and zero. Therefore, we have
multiplication of x on k ⊗R
Tor R
i (T, k) = 0 for all i 6= d. On the other hand, we have
cm ⊗R k ∼
Tor R (T, k) = R
= k.
d

Finally, for all i ≥ 0, we have

i
∨ ∼
∨ ∼
i
Tor R
i (T, k) = Ext R (T, k ) = Ext R (T, k),
in which the first isomorphism is from [4, Theorem 3.2.1]. Now, since k ∼
= k ∨ , we get the
desired isomorphisms.


Lemma 5.6. Let M be an artinian CCM R-module with mag R (M ) = t and let T be
codualizing and d = dim(R). Then Ext iR (T, M ) = 0 for all i 6= d − t and that Ext d−t
R (T, M )
is Cohen-Macaulay of dimension t.
Proof. Induct on t. If t = 0, then M is of finite length by [25, Lemma 2.9]. Now, by
using a composition series for M in conjunction with Lemma 5.5, we have Ext iR (T, M ) = 0
for all i < d. Also, by Proposition 4.1(ii), Ext iR (T, M ) = 0 for all i > d. Moreover,
since Ext dR (T, M ) is of finite length, Ext dR (T, M ) is Cohen-Macaulay of dimension 0. Now,
assume inductively that t > 0. Then, we can find an element x ∈ m which is M -coregular.
The exact sequence
x

0 −→ Hom R (R/xR, M ) −→ M −→ M −→ 0,
induces a long exact sequence

14

M. RAHMANI AND A.- J. TAHERIZADEH

x

x

i
i
i
· · · → Ext i−1
R (T, M ) → Ext R (T, Hom R (R/xR, M )) → Ext R (T, M ) → Ext R (T, M ) → · · · .

Since, by [25, Theorem 3.3], Hom R (R/xR, M ) is CCM of dimension t − 1, by induction hypothesis, we have Ext iR (T, Hom R (R/xR, M )) = 0 for all i 6= d − (t − 1) and
d−(t−1)

Ext R

(T, Hom R (R/xR, M )) is Cohen-Macaulay of dimension t − 1.

Nakayama’s lemma, we have

Ext iR (T, M )

Hence, by

= 0 for all i 6= d − t. Finally, the exact se-

quence
x

d−(t−1)

d−t
0 → Ext d−t
R (T, M ) → Ext R (T, M ) → Ext R

shows that

d−t
Ext d−t
R (T, M )/xExt R (T, M )

Ext d−t
R (T, M )

(T, Hom R (R/xR, M )) → 0,

is Cohen-Macaulay of dimension t − 1, whence

is Cohen-Macaulay of dimension t, as wanted.



Corollary 5.7. Let M be an Cohen-Macaulay R-module with dim R (M ) = t and let T be
R
codualizing and d = dim(R). Then Tor R
i (T, M ) = 0 for all i 6= d − t and that Tor d−t (T, M )

is CCM of magnitude t.
Proof. Note that depth R (M ) = width R (M ∨ ), and by [25, Lemma 2.2] we have the equality dim R (M ) = mag R (M ∨ ). Hence M ∨ ic CCM R-module of magnitude t. Thus, by
∨
Lemma 5.6, we have Ext iR (T, M ∨ ) = 0 for all i 6= d − t and that Ext d−t
R (T, M ) is Cohen-

Macaulay of dimension t. On the other hand, by [4, Theorem 3.2.1], we have the isomorphism

Tor R (T, M )∨ ∼
= Ext i (T, M ∨ ) for all i ≥ 0. This completes the proof.
i

R

Corollary 5.8. Let M be MCCM R-module and let T be codualizing. Then we have the
∼ M.
isomorphism T ⊗R Hom R (T, M ) =
Proof. We can assume that R is complete. Since Ext i (T, T ) = 0 for all i > 0, we can
consider the following spectral sequence
q
n
R
Ep,q
2 = Tor p (T, Ext R (T, M )) =⇒ Ext R (R, M ).
p

By Lemma 5.6, Ext qR (T, M ) = 0 for all q > 0 and that Hom R (T, M ) is MCM. Hence,
Corollary 5.7 yields that Tor R
p (T, Hom R (T, M )) = 0 for all p > 0. Thus, we get the
isomorphism
T ⊗R Hom R (T, M ) ∼
= M,
= Hom R (R, M ) ∼
as wanted.



Theorem 5.9. Let M be an artinian CCM R-module with mag R (M ) = t and let T be
codualizing and d = dim(R).




R
∨
Tor
(T,
M
)
Soc
(T,
M
)
=
vdim
(i) jR (M ) = νR Ext d−t
R
k
d−t
R



R
∨
Tor
(T,
M
)
=
j
(ii) vdim k Soc R (M ) = rR Ext d−t
R
d−t (T, M ) .
R

∨
Proof. In the rest of the proof, we can assume that R is complete, and so T ∼
.
= ωR
(i). One has

jR (M ) = rR (M ∨ )



∨
= νR Extd−t
= νR Extd−t
R (T, M )
R (M , ωR )

∨
∨
= vdim k Soc Ext d−t
R (M , ωR )


∨
,
= vdim k Soc Tor R
d−t (T, M )

CODUALIZING MODULES

15

in which the first equality is from Remark 5.2 and the second one is from [1, Proposition
3.3.11(b)].
(ii). One has

vdim k Soc R (M ) = νR (M ∨ )



∨
= rR Ext d−t
= rR Ext d−t
R (T, M )
R (M , ωR )

∨
∨
= jR Ext d−t
R (M , ωR )

∨
= jR Tor R
d−t (T, M ) ,

in which the second equality is from [1, Proposition 3.3.11(a)] and third one is from Remark
5.2.



Corollary 5.10. Let R be Cohen-Macaulay and let M be an artinian R-module. The
following are equivalent:
(i) M is codualizing.
(ii) M is a MCCM R-module with jR (M ) = 1 and Ann R (M ) = 0.
Proof. (i) =⇒ (ii). Is clear by definition and Lemma 5.5.
(ii) =⇒ (i). We can assume that R is complete. So that, by Remark 4.13, R admits

a codualizing module, say T . By Theorem 5.9(i), we have νR Hom R (T, M ) = 1. Hence
Hom R (T, M ) ∼
=
= R/a for some ideal a of R. Therefore, by Corollary 5.8, we have M ∼

T ⊗R Hom R (T, M ) ∼
= T /aT . It follows that aM = 0 which implies that a = 0. Consequently,
T
is
codualizing.

M∼
=

Proposition 5.11. Let R be complete and d = dim (R). Let T be codualizing and let D be
dualizing. Then
ExtiR (T, D) ∼
=
and
TorR
i (T, D)

∼
=

(

(

D

i = d,

0

i 6= d.

E(R/m)

i = 0,

0

i > 0.

Proof. The minimal injective resolution of D is of the form
L
L
0→D→
E(R/p) → · · · →
E(R/p) → E(R/m) → 0.
ht (p)=0
ht (p)=d−1
Now, for the first isomorphism, just note that Hom R (T, E(R/p)) = 0 for all p 6= m and that
T∨ ∼
= D. Next, note that Tor R (T, D) = 0 for all i > 0. Finally, we have the isomorphisms
i

T ⊗R D ∼
= D ∨ ⊗R D ∼
= E(R/m).



Theorem 5.12. Let T ba a quasidualizing R-module and let dim(R) = d. The following
are equivalent:
(i) T is codualizing.
(ii) One has
j
TorR
i (T, ExtR (T, k))

∼
=

(

k

i = j = d,

0

otherwise.

16

M. RAHMANI AND A.- J. TAHERIZADEH

(iii) One has
ExtiR (T, TorR
i (T, k))

∼
=

(

k

i = j = d,

0

otherwise.

Proof. In the rest of the proof, we can assume that R is complete.
(i) =⇒ (ii) and (i) =⇒ (iii) are clear by Lemma 5.5.
(ii) ⇐⇒ (iii).

j
By [13, Corollary 2.3 and Theorem 3.1], Tor R
i (T, Ext R (T, k)) and

Ext iR (T, Tor R
j (T, k)) are finite dimensional k-vector spaces for all i ≥ 0 and j ≥ 0. This
explains the first isomorphism in the following display
∨
j
j
R
∼
Tor R
i (T, Ext R (T, k)) = Tor i T, Ext R (T, k)

j
∼
= Ext iR T, Ext R (T, k)∨

j
∼
= Ext iR T, Ext R (k, T ∨ )∨

∨∨
∼
, k)
= Ext iR T, Tor R
j (T
i
R
∼ Ext (T, Tor (T, k)),
=
j

R

and the other isomorphisms are from [4, Theorem 3.2.1] and the fact that k ∼
= k ∨ , for all
i ≥ 0 and j ≥ 0.
(ii) =⇒ (i). By [13, Corollary 2.3], we have Ext i (T, k) ∼
= k si and by [13, Theorem 3.1], we
R

∼ ti for some si , ti ∈ N. Hence, by assumption, we have Tor R (T, k) = 0
have Tor R
i
i (T, k) = k
∨
for all i 6= d and sd = 1 = td . Thus, Ext iR (k, T ∨ ) ∼
(T,
k)
=
0
for
all
i 6= d and
= Tor R
i
∨
d
∨ ∼ ∨ ∼
Ext (k, T ) = k = k. Therefore T is dualizing, whence T is codualizing, as wanted. 
R

Corollary 5.13. Let R be a d-dimensional Cohen-Macaulay ring.
(i) One has


TorR
i

Hdm (R), ExtjR (Hdm (R), k)

ExtiR

d
Hdm (R), TorR
i (Hm (R), k)

(ii) One has



∼
=

(

k

i = j = d,

0

otherwise.

∼
=

(

k

i = j = d,

0

otherwise.

Proof. Again, we can assume that R is complete. Now, R has a dualizing module ωR and,
∨
. Thus Hdm (R) is
in addition, by local duality [2, Theorem 11.2.8], we have Hdm (R) ∼
= ωR
codualizing, and the result follows by Theorem 5.12.



Corollary 5.14. For a d-dimensional ring R, the following are equivalent:
(i) R is Gorenstein.
(ii) One has
TorR
i
(iii) One has
ExtiR


E(R/m), ExtjR (E(R/m), k)


E(R/m), TorR
i (E(R/m), k)

∼
=

(

k

i = j = d,

0

otherwise.

∼
=

(

k

i = j = d,

0

otherwise.

CODUALIZING MODULES

17

Proof. In Theorem 5.12, set T = E(R/m) and note that R is Gorenstein if and only if
E(R/m) is codualizing by Remark 4.5.


References

1. W. Bruns and J. Herzog , Cohen-Macaulay rings, Cambridge University Press, Cambridge, 1993.
2. M.P. Brodmann and R.Y. Sharp , Local cohomology: an algebraic introduction with geometric applications, Cambridge University Press, Cambridge, 1998.
3. L.W. Christensen, Gorenstien Dimensions, Lecture Notes in Math., vol. 1747, Springer, Berlin, 2000.
4. E. Enochs and O. Jenda, Relative Homological Algebra, de Gruyter Expositions in Mathematics 30, 2000.
5. E. Enochs and O. Jenda, Tensor and torsion product of injective modules, J. Pure Appl. Algebra 76
(1991), 143–149.
6. H.-B. Foxby, Gorenstein modules and related modules, Math. Scand. 31 (1973), 267–284.
7. A. Frankild and S. Sather-Wagstaff, The set of semidualizing complexes is a nontrivial metric space, J.
Algebra 308 (2007), 124–143.
8. E. S. Golod, G-dimension and generalized perfect ideals, Trudy Mat. Inst. Steklov. Algebraic geometry
and its applications 165 (1984), 62–66.
9. R. Hartshorne, Local cohomology, A seminar given by A. Grothendieck, Harvard University, Fall, vol.
1961, Springer-Verlag, Berlin, 1967.
10. H. Holm, D. White, Foxby equivalence over associative rings, J. Math. Kyoto Univ. 47 no.4, (2007),
781–808.
11. M. Inoue, On Artinian modules, Proc. Japan Acad. 62 (1986), 205–208.
12. B. Kubik, Quasidualizing modules, J. Commut. Algebra. 6 (2014), 209–229.
13. B. Kubik, M. J. Leamer, and S. Sather-Wagstaff, Homology of Artinian and Matlis reflexive modules
I, Journal of Pure and Applied Algebra 215 (2011), 2486–2503
14. B. Kubik, M. J. Leamer, and S. Sather-Wagstaff, Homology of Artinian and mini-max modules II, J.
Algebra. 403, no.1, (2014), 229–272.
15. M. Raynaud and L. Gruson, Crit‘eres de Platitude et de Projectivite, Invent. Math. 13 (1971), 1–89.
16. R.N. Roberts, Krull dimension for Artinian modules over quasi local commutative rings, Quart. J .
Math. Oxford. 26 (1975), 269–273.
17. J.J. Rotman, An introduction to homological algebra. Second ed., Springer, New York, 2009.
18. J.J. Rotman, An introduction to homological algebra. Academic Press, 1979.
19. M. Rahmani, A.-j.Taherizadeh, Characterizing local rings via perfect and coperfect modules, Journal of
Algebra and Its Applications, to appear.
20.

M. Rahmani, A.-J. Taherizadeh, Dual of Bass numbers and dualizing modules, Communication in
Algebra, to appear.

21. R.Y. Sharp, Finitely generated modules of finite injective dimension over certain Cohen-Macaulay rings
Proc. London Math. Soc. 25 (1972) 303–328.
22. R. Takahashi and D.White, Homological aspects of semidualizing modules, Math. Scand. 106 (2010)
5–10.
23. W. V. Vasconcelos, Divisor theory in module categories, North-Holland Math. Stud. 14, North-Holland
Publishing Co., Amsterdam (1974).
24. S. Yassemi, Coassociated primes, Comm. Algebra, 23 (1995), 1473–1498.
25. S. Yassemi, Magnitude of modules, Comm. Algebra, 23 (1995), 3993–4008
Faculty of Mathematical Sciences and Computer, Kharazmi University, Tehran, Iran.
E-mail address: m.rahmani.math@gmail.com
E-mail address: taheri@khu.ac.ir

