arXiv:1709.10160v1 [] 28 Sep 2017

FPn -INJECTIVE AND FPn -FLAT COVERS AND
PREENVELOPES, AND GORENSTEIN AC-FLAT COVERS.
DANIEL BRAVO, SERGIO ESTRADA, AND ALINA IACOB
Abstract. We prove that, for any n ≥ 2, the classes of FPn -injective modules
and of FPn -flat modules are both covering and preenveloping over any ring R.
This includes the case of F P∞ -injective and F P∞ -flat modules (i.e. absolutely
clean and, respectively, level modules). Then we consider a generalization of
the class of (strongly) Gorenstein flat modules - the (strongly) Gorenstein
AC-flat modules (cycles of exact complexes of flat modules that remain exact
when tensored with any absolutely clean module). We prove that some of
the properties of Gorenstein flat modules extend to the class of Gorenstein
AC-flat modules; for example we show that this class is precovering over any
ring R. We also show that (as in the case of Gorenstein flat modules) every
Gorenstein AC-flat module is a direct summand of a strongly Gorenstein ACflat module. When R is such that the class of Gorenstein AC-flat modules is
closed under extensions, the converse is also true. We also prove that if the
class of Gorenstein AC-flat modules is closed under extensions, then this class
of modules is covering.

1. Introduction
It is well known that finitely generated and finitely presented modules (over a
ring R) play an important part in homological algebra.
In [BP17b] the authors study a refinement of the class of finitely presented modules called finitely n-presented modules; we will denote this class by FPn . Following
the characterization of noetherian and coherent rings in terms of these finitely npresented modules, they generalize the notions of noetherian and coherent rings to
what they call n-coherent rings; see Section 2 for details. The FPn -modules are
also used to define the FPn -injective and the FPn -flat modules. These are the
modules that have a vanishing property with respect to the functors Ext1R (M, −)
and TorR
1 (M, −), whenever M ∈ FPn . Thus they are generalizations of the injective
and flat modules.
In the first part of this paper, we continue the study of these classes of modules.
We show that for any n ≥ 2, the class of FPn -injective modules is both preenveloping
and covering over an arbitrary ring R, thus improving [BP17b, Theorem 4.4]. We
Date: October 2, 2017.
2010 Mathematics Subject Classification. 18G25; 18G35.
Key words and phrases. FPn -injective module, FPn -flat module, Ding injective module, Gorenstein AC-flat module.
This research has started while the authors visited the Banff International Research Station for
Mathematical Innovation and Discovery (BIRS), under the “Research in Teams” program in May
2016 (http://www.birs.ca/events/2016/research-in-teams/16rit690). The hospitality and support
of BIRS is acknowledged with gratitude. Part of the research was carried out when Sergio Estrada
visited Georgia Southern University, he wishes to thank the Department of Mathematical Sciences
at Georgia Southern University for the support during his stay in May 2017.
1

2

DANIEL BRAVO, SERGIO ESTRADA, AND ALINA IACOB

also prove a similar result for the class of FPn -flat modules, namely, that this class
is both covering and preenveloping over any ring R; this improves [BP17b, Theorem
4.5] by showing the preenveloping property. Our results also include the case of
F P∞ -flat (i.e. the level modules introduced in [BGH14]) and that of F P∞ -injective
modules (i.e. the absolute clean modules introduced also in [BGH14]). We also give
a sufficient condition for the existence of FPn -Inj-envelopes. Also, a necessary and
sufficient condition is given so that every module have an epimorphic FPn -Flatenvelope.
We use duality pairs in order to prove some of the results mentioned above.
This notion was introduced by Holm and Jørgensen in [HJ09]. Recall that a pair
of classes of modules (M, C) is a duality pair if it satisfies the following conditions:
(1) M ∈ M if and only if M + ∈ C.
(2) C is closed under direct summands and under finite direct sums.
As usual the Pontryagin dual of a left (respectively right) R-module M is defined
as the right (respectively left) R-module M + = HomZ (M, Q/Z). So in particular, if
M is a class of left modules, then C is a class of right modules. Holm and Jørgensen
also gave in [HJ09] sufficient conditions for the class M be preenveloping and also
to be precovering. These results proved to be very useful in studying the existence
of precovers and preenvelopes with respect to various classes of modules; see for
example [EI15], [HJ09] and [Iac17].
Following the ideas of preenveloping and precovering classes, we then consider
some generalizations of the Gorenstein injective and Gorenstein flat modules. We
begin by noting that the class of Ding injective modules generalizes that of the
Gorenstein injective modules; respectively the class of Ding projective modules
generalizes that of the Gorenstein projective modules. These classes were introduced by Ding and co-authors and called strongly Gorenstein FP-injective modules
and strongly Gorenstein flat modules, respectively. The two classes of modules
have some nice properties over coherent rings, analogous to the properties of the
Gorenstein projectives and Gorenstein injectives over noetherian rings. Later Gillespie renamed strongly Gorenstein flat modules as Ding projective, and Gorenstein
FP-injective as Ding injective; see [Gil10] for details. We prove that the class of
Ding injective modules is enveloping over any Ding-Chen ring. Thus we improve
on a result of Gang, Liu, Liang, who proved in [YLL13, Corollary 3.3] that this
class is special preenveloping over any Ding-Chen ring. This was also observed in
[BGH14]; see the paragraph right before the proof of [BGH14, Theorem 5.5].
We also give necessary and sufficient conditions for the class of Ding injective
modules to be covering (Theorem 3.16).
In the second part of the paper we consider a generalization of the class of
Gorenstein flat modules, namely that of Gorenstein AC-flat modules. In [BGH14],
the authors extend Gorenstein homological algebra to arbitrary rings. To do this,
they replace the finitely generated (respectively finitely presented) modules with
the modules of type F P∞ ; that is modules that have a resolution of finitely generated projective (or free) modules. In doing so, the injective (respectively FPinjective respectively) modules are replaced with the absolutely clean modules, and
the flat modules are replaced by the level modules. In turn, the Gorenstein injective,
and respectively Gorenstein projective, modules are replaced with the Gorenstein
AC-injective, and respectively Gorenstein AC-projective, modules. We define the
Gorenstein AC-flat modules as the cycles of exact complexes of flat modules that

FPn -INJECTIVE/FLAT AND GORENSTEIN AC-FLAT COVERS AND PREENVELOPES.

3

remain exact when tensoring with any absolutely clean module. We show that the
class of Gorenstein AC-flat modules is precovering over any ring R and if the ring
R is such that the class of Gorenstein AC-flat modules is closed under extensions
then this class is in fact covering.
We also define the notion of strongly Gorenstein AC-flat module and we show
that any Gorenstein AC-flat module is a direct summand of a strongly Gorenstein
AC-flat module. When R is such that the class of Gorenstein AC-flat modules is
closed under extensions, the converse is also true.
2. Preliminaries
Let R be a (unital associative) ring and n a nonnegative integer. From now on,
and unless otherwise stated, by R-module we mean a left R-module.
A module M is said to be finitely n-presented if there exists an exact sequence
Fn → Fn−1 → . . . → F1 → F0 → M → 0,
with each Fi a finitely generated projective (or free) module. Denote by FPn the
class of all finitely n-presented modules. We say that a module M is in FP∞ if and
only if M ∈ FPn for all n ≥ 0.
It is immediate from the definition that we have the following descending chain
of inclusions:
FP0 ⊇ FP1 ⊇ . . . ⊇ FPn ⊇ FPn+1 ⊇ . . . ⊇ FP∞
These classes of modules were studied in [BP17b] and [BGH14]. We recall some of
their properties.
Proposition 2.1 ([BP17b, Proposition 1.7, Theorem 1.8]). Let n ≥ 1 be an integer.
Then:
(1) The class FPn is closed under direct summands, extensions, and cokernels of
monomorphisms.
(2) FP∞ is closed under kernels of epimorphisms.
Recall that a class W is thick if it is closed under direct summands, and whenever
we are given a short exact sequence 0 → A → B → C → 0 with any two out of the
three terms in W , then so is the third. We note that FP∞ is always thick.
By Proposition (2.1), the class FPn is thick if, and only if, it is closed under
kernels of epimorphisms. Indeed, we recall the following result.
Proposition 2.2 ([BP17b, Theorem 2.4]). The class FPn is thick, if and only if,
FPk = FP∞ , for any k ≥ n.
A ring R satisfying the equivalent conditions above is said to be n-coherent. We
note that the 0-coherent rings are simply the noetherian rings, the 1-coherent rings
are the usual coherent rings, any ring is ∞-coherent. Also, we have the following
chain of inclusions:
0-coherent ⊆ 1-coherent ⊆ · · · ⊆ n-coherent ⊆ (n+1)-coherent ⊆ · · · ⊆ ∞-coherent.
The FPn -injective and FPn -flat modules are defined in terms of the finitely npresented modules. We recall the definitions next.
Definition 2.3 ([BP17b, Definition 3.1, Definition 3.2]). Let n ≥ 0 (including the
case n = ∞).

4

DANIEL BRAVO, SERGIO ESTRADA, AND ALINA IACOB

(1) A left R-module M is FPn -injective if Ext1R (F, M ) = 0 for all F ∈ FPn . We
denote by FPn -Inj the class of all FPn -injective modules.
(2) A left R-module M is FPn -flat if TorR
1 (F, M ) = 0 for all F ∈ FPn . We denote
by FPn -Flat the class of all FPn -flat modules.
With this definition, M is injective if, and only if, M is FP0 -injective, and M is
FP-injective (in the sense of Stenström [Ste70]) if, and only if, M is FP1 -injective.
The case of FP∞ -injective modules (i.e. absolutely clean) is the same as introduced
in [BGH14]; that is those M ∈ R-Mod for which Ext1R (F, M ) = 0 for all F ∈ F P∞ .
We also note that this definition of FPn -injective modules differs from that of J.
Chen and N. Ding ([DC96]) for n > 1 (they consider orthogonality with respect to
ExtnR (−, −) instead).
From Definition (2.3) we get the following ascending chain:
FP0 -Inj ⊆ FP1 -Inj ⊆ · · · ⊆ FPn -Inj ⊆ FPn+1 -Inj ⊆ · · · ⊂ FP∞ -Inj.
The FPn -flat modules have a similar ascending chain and the class of flat modules
also coincides with FP0 -Flat. Furthermore, since any module is a direct limit of
finitely presented modules and since the Tor(−, −) functor commutes with direct
limits, we note that the classes FP0 -Flat and FP1 -Flat coincide. Note that the level
modules, in the sense of [BGH14], coincide with the FP∞ -Flat modules.
For completion, we summarize the following results about the classes of FPn injective modules and FPn -flat modules presented in [BP17b]. The first one has to
do with the Pontryagin dual.
Theorem ([BP17b, Proposition 3.5 and Proposition 3.6]). Let n > 1 (this includes
the case n = ∞).
(1) M is FPn -injective if and only if M + is FPn -flat.
(2) N is FPn -flat if and only if N + is FPn -injective.
The next one captures some closure properties of these classes.
Theorem ([BP17b, Proposition 3.9, Proposition 3.10 and Proposition 3.11]). Let
n > 1 (this includes the case n = ∞). Then the classes of FPn -injective modules
and FPn -flat modules are closed under pure submodules, pure quotients, extensions,
direct limits, products and direct summands.
3. Applications of duality pairs to FPn -injective/flat covers and
preenvelopes and Ding-injective covers and envelopes
We will use duality pairs to prove the covering and preenveloping results mentioned in the introduction. By Holm and Jørgensen, [HJ09, Definition 2.1], a duality
pair (M, C) is coproduct closed if M is closed under arbitrary direct sums. The
duality pair (M, C) is product closed if M is closed under direct products. A duality
pair (M, C) is perfect if M is closed under arbitrary direct sums, under extensions,
and if R ∈ M. We also recall the following result.
Theorem ([HJ09, Theorem 3.1]). Let (M, C) be a duality pair. Then M is closed
under pure submodules, pure quotients and pure extensions. Also
(1) If (M, C) is product closed, then M is preenveloping.
(2) If (M, C) is coproduct closed, then M is covering.
(3) If (M, C) is perfect, then (M, M⊥ ) is a perfect cotorsion pair.

FPn -INJECTIVE/FLAT AND GORENSTEIN AC-FLAT COVERS AND PREENVELOPES.

5

A pair of R-modules (A, B) is said to be a cotorsion pair if
A = ⊥ B = {X ∈ R-Mod : Ext1R (X, B) for all B ∈ B}
and
B = A⊥ = {X ∈ R-Mod : Ext1R (A, X) for all A ∈ A}.
A cotorsion pair (A, B) is said to be perfect if A is covering and B is enveloping.
Standard references for cotorsion pairs are [EJ11] and [GT06].
We will also use the following results from [HJ08].
Proposition 3.1. [HJ08, Remark 2.6 and Theorem 4.3]
(1) Let G be a class of left R-modules that is closed under pure submodules. Then
G is preenveloping if and only if it is closed under set indexed direct
 products.
(2) Let B be a class of right R-modules. The class Ker TorR
(B,
−)
is the first
1
half of a perfect cotorsion pair.
An immediate application is the following result.
Proposition 3.2 ([BP17b, Proposition 4.5] and [GP17, Proposition 3.12]). For
any ring R and every n ≥ 0, the pair (FPn -Flat, FPn -Flat⊥ ) is a perfect cotorsion
pair.

Proof. This follows from FPn -Flat = Ker TorR
1 (FPn , −) and part (2) of Proposition 3.1.

In the following two results, we prove that, for any n > 1, the classes of FPn injective and FPn -flat modules are both preenveloping and covering, over any ring
R.
Proposition 3.3. ([GP17, Theorem 3.4]) Let n > 1 be an integer. The class of
FPn -flat modules is both covering and preenveloping over any ring R.
Proof. Since FPn -Flat is the left half of a perfect cotorsion pair, it is a covering
class.
By [BP17b, Proposition 3.5], a module M is FPn -flat if and only if M + is FPn injective. Also, by [BP17b, Proposition 3.9 and Proposition 3.11], the class of
FPn -flat modules is closed under direct sums and under summands. So the pair
(FPn -Flat, FPn -Inj) is a duality pair. Since, by [BP17b, Proposition 3.11] again,
FPn -flat is closed under direct products we obtain that FPn -flat is also preenveloping.

Proposition 3.4. ([GP17, Theorem 3.7]) Let n > 1 be an integer. The class of
FPn -injective modules is both covering and preenveloping over any ring R.
Proof. Since the class of FPn -injective modules is closed under pure submodules
and under set indexed direct products it is preenveloping (by Proposition 3.1.
(1)) By [BP17b, Propositions 3.6, Proposition 3.9 and Proposition 3.10], the pair
(FPn -Inj, FPn -Flat) is a duality pair. Also, from [BP17b, Proposition 3.10], the
class FPn -Inj is closed under arbitrary direct sums, so the duality pair is coproduct
closed. Therefore the class FPn -Inj is covering.

When the class of FPn -injective modules also contains the ground ring R, another application of [HJ09, Theorem 3.1] together with [BP17b, Propositions 3.6,
Proposition 3.9 and Proposition 3.10] gives the following result.

6

DANIEL BRAVO, SERGIO ESTRADA, AND ALINA IACOB

Proposition 3.5 ([BP17b, Theorem 4.4] and [GP17, Proposition 3.11]). If n > 1
and R is a self FPn -injective ring then the pair (FPn -Inj, FPn -Inj⊥ ) is a perfect
cotorsion pair.
A sufficient condition for the class of FPn -Inj-modules be enveloping is that its
left orthogonal class, ⊥ FPn -Inj, be closed under pure quotients. In terms of duality
pairs, this condition is equivalent to (⊥ FPn -Inj, FPn -Flat⊥ ) being a duality pair.
More precisely, we have:
Proposition 3.6. Let n > 1 or n = ∞. The following statements are equivalent.
(1) The class ⊥ FPn -Inj is closed under pure quotients.
(2) The pair (⊥ FPn -Inj, FPn -Flat⊥ ) is a duality pair.
If these conditions hold then the class of FPn -Inj-modules is enveloping.
Proof. (1) ⇒ (2). We show first that K ∈ ⊥ FPn -Inj if and only if K + ∈ FPn -Flat⊥ .
If K ∈ ⊥ FPn -Inj then for any G ∈ FPn -Flat we have
Ext1R (G, K + ) ∼
= Ext1R (K, G+ ) = 0
since G+ ∈ FPn -Inj. So K + ∈ FPn -Flat⊥ whenever K ∈ ⊥ FPn -Inj.
Conversely, let K be such that K + ∈ FPn -Flat⊥ . By [BP17b, Corollary 4.2], the
pair (⊥ FPn -Inj, FPn -Inj) is a complete cotorsion pair in R-Mod for every n ≥ 0. So
there exists an exact sequence 0 → A → B → K → 0 with A ∈ FPn -Inj and with
B ∈ ⊥ FPn -Inj. This gives an exact sequence
0 → K + → B + → A+ → 0
with A+ ∈ FPn -Flat and with B + ∈ FPn -Flat⊥ . Thus the sequence 0 → K + →
B + → A+ → 0 splits. Thus the initial sequence, 0 → A → B → K → 0, is
pure exact. Since the class ⊥ FPn -Inj is closed under pure quotients, it follows that
K ∈ ⊥ FPn -Inj.
The class ⊥ FPn -Inj is closed under direct summands and (arbitrary) direct sums,
so (⊥ FPn -Inj, FPn -Flat⊥ ) is a duality pair.
(2) ⇒ (1) follows from the definition of a duality pair.
Finally, assume that condition (2) holds. Then by [HJ09, Theorem 3.1] the pair
(⊥ FPn -Inj, FPn -Inj) is a perfect cotorsion pair, so the class FPn -Inj is enveloping.

We recall that, by [BP17b, Corollary 4.2], the pair (FPn -Flat, FPn -Flat⊥ ) is a
perfect cotorsion pair in R-Mod for every n ≥ 0. Hence by [HJ08, Theorem 3.4], the
class FPn -Flat⊥ is enveloping. A natural question is then to ask when is FPn -Flat
enveloping. To answer this we must introduce the notion of n-hereditary rings. A
ring is said to be left n-hereditary if every finitely (n − 1)-presented submodule of
a finitely generated projective left module is also a projective module. We refer
the reader to [BP17a] for more details on n-hereditary rings; among the results
available in that reference is the following.
Proposition 3.7. [BP17a, Proposition 23] For any n > 1, we have that ring R is
n-hereditary if and only if submodules of any FPn -Flat module is again an FPn -Flat
module.
With this at hand we can provide the following answer.

FPn -INJECTIVE/FLAT AND GORENSTEIN AC-FLAT COVERS AND PREENVELOPES.

7

Proposition 3.8. Let n > 1, then every module has an epimorphic FPn -Flatenvelope if and only if R is n-hereditary.
Proof. We first recall that a class of R-modules is a pretorsion-free class if it is
closed under submodules and direct products [Ste75, Chapter VI, §1].
Now, R is n-hereditary if and only if FPn -Flat is closed under submodules, that
is, if and only if FPn -Flat is a pretorsion-free class, given that FPn -Flat is always
closed under direct products. From [RS98, Proposition 4.1], we have that FPn -Flat
is a pretorsion-free class if and only if every left R-module has an epimorphic
FPn -Flat-envelope.

Next, we recall that the FP-injective modules (in the sense of Stenström [Ste70])
are the FP1 -injective modules in the sense of Bravo and Pérez. A module E is called
FP-injective if Ext1 (A, E) = 0 for all finitely presented R-modules A. The FPinjective dimension of an R-module B is defined to be the least integer n ≥ 0 such
that Extn+1 (A, B) = 0 for all finitely presented R-modules A. The FP-injective
dimension of B is denoted by FPdim(B) and equals ∞ if no such n exists.
We recall that R is an n-FC ring if it is both left and right coherent and
FPdim(R R) and FPdim(RR ) are both less than or equal to n. Ding and Chen
introduced the n-FC rings in [DC93] and [DC96]. Later, Gillespie in [Gil10], introduced the Ding-Chen rings. A ring R is called a Ding-Chen ring if it is an n-FC
ring for some n ≥ 0. Examples of Ding-Chen rings include all Gorenstein rings (in
the sense of Iwanaga, i.e. left and right noetherian rings of finite self injective on
both sides less or equal than n).
We also recall that, over any ring R, an R-module M is Ding injective if there
exists an exact complex of injectives
I = · · · → I1 → I0 → I−1 → · · ·
with M = Ker (I0 → I−1 ) and such that HomR (A, I) is exact for any FP-injective
module A. It follows from the definition that any Ding injective module is a Gorenstein injective module.
The dual notion is that of Ding projective modules. A module G is Ding projective if there exists an exact complex of projective modules
P = · · · → P1 → P0 → P−1 → · · ·
with G = Ker (P0 → P−1 ) and such that HomR (P, F ) is exact for any flat module
F . In particular, any Ding projective module is Gorenstein projective.
For the rest of this section we let W denote the class of modules of finite flat
dimension. It is shown in [MD07], that whenever R is a Ding-Chen ring, then the
pair (W, W ⊥ ) is a complete hereditary cotorsion pair and in [Gil10], it is shown
that the class W ⊥ is the class of Ding-injective modules, which we denote by DI.
We prove that over a Ding-Chen ring the complete cotorsion pair (W, DI) is
actually a perfect cotorsion pair, and therefore that the class DI is enveloping.
Before doing this we need to recall a few definitions and results.
A module N is said to be Gorenstein flat if there exists an exact complex of flat
modules
F = · · · → F1 → F0 → F−1 → · · ·
such that I ⊗ F is still exact for any injective module I and N is one of the cycles
of the complex F. We denote by GF the class of Gorenstein flat modules. Let GC
denote the class of Gorenstein cotorsion modules, that is the right Ext1 -orthogonal

8

DANIEL BRAVO, SERGIO ESTRADA, AND ALINA IACOB

class of that of Gorenstein flat modules. We know from [EJLR04, Theorem 2.12]
that over any coherent ring R, the pair (GF , GC) is a complete hereditary cotorsion
pair.
We also recall the following results.
Theorem ([CS81, Theorem 1]). The following statements are equivalent:
(1) R is a left coherent ring.
(2) R M is absolutely pure if and only if M ++ is an injective left R-module.
(3) MR is flat if and only if M ++ is a flat right R-module.
Theorem ([YLL13, Theorem 4.2]). Let R be a Ding-Chen ring and M an Rmodule. Then M has finite flat dimension if and only if M has finite FP-injective
(or absolutely pure) dimension
With all this at hand, we have the following result.
Proposition 3.9. Let R be a Ding-Chen ring. Then (W, GC) is a perfect duality
pair.
Proof. We check first that K ∈ W = ⊥DI if and only if K + ∈ GC.
Let K ∈ W and G ∈ GF . Then Ext1 (G, K + ) ∼
= Ext1 (K, G+ ) = 0, by a double
application of [GT06, Lemma 1.2.11] and since G+ is a Ding-injective module; this
last statement is due to [MD08, Lemma 2.8].
For the converse, let K be an R-module such that K + is a Gorenstein cotorsion
module. Since (W, DI) is a complete cotorsion pair, there is a short exact sequence
E = 0 → A → B → K → 0,
with A ∈ DI and B ∈ W. Then we have an exact sequence 0 → K + → B + →
A+ → 0, with K + Gorenstein cotorsion, B + also Goresntein cotorsion (from the
first part of the proof) and with A+ Gorenstein flat (this follows from [DC96,
Proposition 12], since any Ding injective module is Gorenstein injective). Since
Ext1 (GF , GC) = 0, then the previous sequence splits and so B + ∼
= A+ ⊕ K + . Thus
+
+
A is both Gorenstein cotorsion and Gorenstein flat. Since A ∈ GF , it fits in a
short exact sequence
0 → A+ → M → N → 0,
with M a flat module and N ∈ GF . However, since A+ ∈ GC also, any such short
exact sequence splits. It follows that A+ is flat, and so A++ is injective. Since R is
coherent, then we have that A is absolutely pure (FP-injective). Since the ring is
Ding-Chen, then by [Gil10, Theorem 4.2], the module A has finite flat dimension.
Therefore, the short exact sequence E has A, B ∈ W, which gives that K ∈ W.
Since W = ⊥ DI, then this class is closed under direct sums, summands, and
also R ∈ W. Therefore (W, GC) is a perfect duality pair.

Corollary 3.10. The class of Ding injective modules is enveloping over any DingChen ring.
Proof. Since (W, GC) is a perfect duality pair, it follows from [HJ09], that (W, DI)
is a perfect cotorsion pair. So DI is enveloping.

It was recently showed that over a Ding-Chen ring the class of Ding injective
modules coincides with, GI, the class of Gorenstein injective modules. For completion, we include here the result along with a proof of this fact.

FPn -INJECTIVE/FLAT AND GORENSTEIN AC-FLAT COVERS AND PREENVELOPES.

9

Proposition 3.11. Let R be a Ding-Chen ring. Then GI = DI.
Proof. Since any Ding injective module is Gorenstein injective, we show the other
inclusion. Let D be a Gorenstein injective module. Then D = Z0 (E), for some
exact sequence of injective modules, E = · · · → E1 → E0 → E−1 → · · · , such that
Hom(F, E) is exact for all injective modules F . By [Šťo14, Corollary 5.9], we have
Ext1 (F, D) = 0 for all modules F of finite flat dimension, that is, for all F ∈ W.
Since R is a Ding-Chen ring, we have W ⊥ = DI. Therefore D is Ding injective. 
So we get the following result.
Proposition 3.12. The class of Gorenstein injective modules is enveloping over
any Ding-Chen ring.
We also consider the existence of the Gorenstein injective (pre)covers over DingChen rings. We will use the following lemma.
Lemma 3.13. Let R be a Ding-Chen ring. If the class of Gorenstein injective
R-modules is precovering, then R is left noetherian.
Proof. Since the class of Gorenstein injectives is precovering, it is closed under
arbitrary direct sums by [HJ08, Proposition 1.2]. From [Gil10, Corollary 3.5], we
get that R is noetherian.

Now we can prove the following.
Proposition 3.14. Let R be a Ding-Chen ring. Then R is a Gorenstein ring if
and only if both the class of Gorenstein injective left R-modules and the class of
Gorenstein injective right R-modules are precovering.
Proof. If R is a Gorenstein ring, then [EJ11, Theorem 11.1.1] gives that the class
of Gorenstein injective modules is precovering.
For the converse, we get from Lemma 3.13, that R is a two sided noetherian
ring. Since R is also a Ding-Chen ring, then it has finite self injective dimension on
both sides, and so it is a Gorenstein ring.

A sufficient condition for the existence of the Gorenstein injective covers is the
following.
Proposition 3.15. Let R be any ring. If the class of Gorenstein injectives is closed
under pure submodules, then it is covering.
Proof. Let 0 → A → B → C → 0 be a pure exact sequence with B Gorenstein
injective. Since this class is closed under pure submodules, it follows that A is also
Gorenstein injective. But the class of Gorenstein injectives is closed under cokernels
of monomorphisms [EJ11, Theorem 10.1.4], so C is also Gorenstein injective. Thus
the class of Gorenstein injectives, GI, is also closed under pure quotients in this
case.
Next, since any direct sum is a pure submodule of a direct product and that GI
is closed under direct products, then it follows that it is also closed under direct
sums. Thus from [HJ08, Theorem 2.5], we see that GI is covering.

Next, we prove that, when R is a Ding-Chen ring, the class GI, of Gorenstein
injectives modules, is covering if and only if it is closed under pure submodules.
More precisely we have:

10

DANIEL BRAVO, SERGIO ESTRADA, AND ALINA IACOB

Theorem 3.16. Let R be a Ding-Chen ring. The following statements are equivalent:
(1) The class GI is closed under pure submodules.
(2) The class GI is covering.
(3) The pair (GI, GF ) is a duality pair.
Proof. (1) ⇒ (2). This is Proposition 3.15.
(2) ⇒ (3). Since GI is covering, Lemma (3.13) gives that R is left noetherian.
Now suppose that K ∈ GI, then by [DC96, Proposition 12], we get that K + ∈ GF .
Conversely, suppose that K + is Gorenstein flat. Since the ring R is left noetherian
there exists an exact sequence
(1)

0 → K → G → L → 0.

with G ∈ GI and L ∈ ⊥ GI = W. Therefore we have an exact sequence
0 → L+ → G+ → K + → 0,
with G+ ∈ GF and L+ ∈ GC, by Proposition (3.9).
Since Ext1 (K + , L+ ) = 0, then G+ ∼
= L+ ⊕ K + , and therefore L+ ∈ GF . It
+
+
follows that L ∈ GF ∩ GC, so L is a flat R-module, and from [EJ11, Corollary
3.2.17], we have that L is an injective module.
Thus we get that the short exact sequence in (1) has G ∈ GI and L an injective modules; this gives that K has finite Gorenstein injective dimension [Hol04,
Theorem 2.25]. From [Hol04, Lemma 2.18], there exists an exact sequence
0 → B → H → K → 0,
with B ∈ GI and H such that idR H = GidR K < ∞. Hence the exact sequence
0 → K + → H + → B+ → 0
has B + , K + ∈ GF ; this in turn gives that H + ∈ GF . Since idR H is finite, it follows
from [EJ11, Theorem 3.2.19] that H + has finite flat dimension. But a Gorenstein
flat module of finite flat dimension is flat ([EJ11, Corollary 10.3.4]). So H + is flat
and therefore H is injective. Thus GidR K = 0. We know from [Hol04, Proposition
3.2] that the class of Gorenstein flat modules is closed under (arbitrary) direct sums,
and under direct summands. Hence, the pair (GI, GF ) is a duality pair.
(3) ⇒ (1). From the definition of duality pairs, we have that the class GI is
closed under pure submodules.

Remark 3.17. We recently learned that Zhao and Pérez in [ZP17] also proved the
results in propositions 3.3 and 3.4 in a recent preprint of theirs. We thank the
referees for pointing out the results in Propositions 3.2, 3.3, 3.4 and 3.5 are also in
[GP17] (to appear in the Bulletin of the Malaysian Math. Sci. Soc.)
4. Gorenstein AC-flat modules
As already mentioned in the introduction, in [BGH14] Gorenstein homological
algebra is extended to arbitrary rings. To accomplish this the authors replace the
finitely generated (respectively finitely presented) modules with the modules of type
F P∞ . In doing so, the injective (respectively FP-injective) modules are replaced
with the absolutely clean modules, and the flat modules are replaced by the level
modules. In turn, the Gorenstein injective (respectively Gorenstein projective)

FPn -INJECTIVE/FLAT AND GORENSTEIN AC-FLAT COVERS AND PREENVELOPES. 11

modules are replaced with the Gorenstein AC-injective (respectively Gorenstein
AC-projective). Following the ideas of [BGH14], we define the class of Gorenstein
AC-flat modules.
Definition 4.1. A module M is Gorenstein AC-flat if there exists an exact complex
of flat modules F = . . . → F1 → F0 → F−1 → . . . such that A ⊗ F is still exact for
any absolutely clean module A and such that M is one of the cycles of the complex
F. We denote by GF ac the class of the Gorenstein AC-flat modules.
Since every injective module is an absolutely clean module, it follows that any
Gorenstein AC-flat module is also a Gorenstein flat module. We note that when
the ring R is coherent, the two classes of modules coincide, because in this case the
absolutely clean modules coincide with the absolutely pure modules; see [BGH14].
A stronger notion is that of strongly Gorenstein AC-flat module.
Definition 4.2. A module M is strongly Gorenstein AC-flat if there is an exact
d
d
d
complex of flat modules F = . . . → F −
→F −
→F −
→ . . . such that A ⊗ F is still
exact for any absolutely clean module A and such that M = Ker (F → F ).
Note that every Gorenstein AC-projective module is Gorenstein AC-flat. This
follows from the definition. Recall that a module M is Gorenstein AC-projective if
there exists an exact complex of projective modules F = . . . → F1 → F0 → F−1 →
. . . such that A ⊗ F is still exact for any absolutely clean module A and such that
M = Z0 (F).
In the remainder of this section, we show that some of the properties of the
Gorenstein flat modules extend to the class of Gorenstein AC-flat modules. We
note first that, as in the case of Gorenstein flat modules, the class of Gorenstein
AC-flat modules is precovering over any ring R.
Proposition 4.3. The class of Gorenstein AC-flat modules is precovering over any
ring R.
Proof. Let Fe be the class of exact complexes of flat modules F such that A ⊗ F is
exact, for each absolutely clean right R-module A. Then, by [EG15, Theorem 3.7],
the class Fe is special precovering. Finally we can argue as in the proof of Theorem
A in [YL14] to infer that every module has a Gorenstein AC-flat precover.

We show that (as in the case of Gorenstein flat modules) if the class of Gorenstein
AC-flat modules is closed under extensions, then it is also covering.
The following result gives some equivalent characterizations of the Gorenstein
AC-flat modules.
Lemma 4.4. Let R be any ring. The following are equivalent:
(1) M is a Gorenstein AC-flat left R-module.
(2) M is a left R-module and satisfies the following two conditions:
(a) T ori (A, M ) = 0 for all i > 0 and all absolutely clean right R-modules A.
(b) There exists an exact sequence 0 → M → F 0 → F 1 → . . . with each F i a
flat left R-module and such that A ⊗ − leaves it exact whenever A is an
absolutely clean right R-module.
(3) There exists a short exact sequence of left R-modules
0→M →F →G→0
with F flat and G Gorenstein AC-flat

12

DANIEL BRAVO, SERGIO ESTRADA, AND ALINA IACOB

Proof. The argument in [Ben09, Lemma 2.4] gives the result, once injective is replaced by absolutely clean.

Proposition 4.5. Let R be a ring such that the class of Gorenstein AC-flat modules
is closed under extensions. Then the class of Gorenstein AC-flat modules, GF ac ,
is closed under direct limits.
Proof. The argument in the proof of [GZ12, Lemma 3.1] gives the result, once
injective is replaced by absolutely clean.

Proposition 4.6. Let R be a ring such that the class GF ac is closed under extensions. Then GF ac is covering.
Proof. The class GF ac is precovering and closed under direct limits, so in this case
it is a covering class of modules.

Recall that a class of modules X is said to be projectively resolving is it is closed
under kernels of epimorphism between modules from X , extension and contains the
class of projective modules.
Lemma 4.7. If the class of Gorenstein AC-flat modules is closed under extensions,
then it is projectively resolving.
Proof. To claim that the class of Gorenstein AC-flat modules is projectively resolving, it suffices to prove that it is closed under kernels of epimorphisms. Then,
consider a short exact sequence of left R-modules 0 → A → B → C → 0, where
B and C are Gorenstein AC-flat. We prove that A is Gorenstein AC-flat. Since
B is Gorenstein AC-flat, there exists a short exact sequence of left R-modules
0 → B → F → G → 0, where F is flat and G is Gorenstein AC-flat. Consider the
following pushout diagram:
0

0

0

// A


// B


// C

// 0

0

// A


// F


// D

// 0


G


G



0
0
From the right vertical sequence, and since GF ac is closed under extensions, we
have that the R-module D is Gorenstein AC-flat. Therefore, since F is flat, we get
that A is Gorenstein AC-flat, by Lemma (4.4).

We recall that if X is a class of modules that is projectively resolving and closed
under countable direct sums, then X is also closed under direct summands; see
[Hol04, Proposition 1.4].

FPn -INJECTIVE/FLAT AND GORENSTEIN AC-FLAT COVERS AND PREENVELOPES. 13

Proposition 4.8. Let R be a ring such that the class GF ac is closed under extensions. Then (GF ac , GF ⊥
ac ) is a complete and hereditary cotorsion pair.
Proof. We begin by checking that we have a cotorsion pair.
Let X ∈ ⊥ (GF ⊥
ac ). Since GF ac is covering there is an exact sequence 0 → A →
1
B → X → 0 with B ∈ GF ac and A ∈ GF ⊥
ac . Then Ext (X, A) = 0, so we have
B ≃ A ⊕ X and so X ∈ GF ac .
The cotorsion pair is complete because GF ac is covering and any cover is a special
precover, so there are enough projectives. From Lemma (4.7), we get that the class
of Gorenstein AC-flat modules is closed under kernels of epimorphisms, and hence
the cotorsion pair is also hereditary.

We also prove an analogue result of [BM07, Theorem 3.5].
Theorem 4.9. Let R be any ring.
(1) If a module is Gorenstein AC-flat, then it is a direct summand of a strongly
Gorenstein AC-flat module.
(2) If the ring R is such that the class of Gorenstein AC-flat modules is closed
under extensions, then every direct summand of a Gorenstein AC-flat module
is Gorenstein AC-flat.
Proof. (1) Let M be a Gorenstein AC-flat module. Then there exists an exact
complex of flat modules
F = · · · → F1 → F0 → F−1 → · · ·
such that A ⊗ F is exact for any absolutely clean
L R-module A and such that M =
Ker (F0 → F−1 ). Consider the complex X = n∈Z F[n], where F[n] is the complex
F shifted by n with the corresponding differential. Then X is still an exact complex,
with the property that A ⊗ X is still exact for any absolutely clean R-module A,
and X is of the form
X = ··· → T → T → T → ··· .
Then Ker (T → T ) is a strongly Gorenstein AC-flat module and M is a direct
summand of Ker (T → T ).
(2) Since the class of Gorenstein AC-flat modules is closed under extensions, we
have that (GF ac , GF ⊥
ac ) is a complete hereditary cotorsion pair.
Let G be a Gorenstein AC-flat module, and let M be a direct summand of G. For
1
1
any K ∈ GF ⊥
ac we have Ext (G, K) = 0. Since Ext (M, K) is a direct summand of
1
1
Ext (G, K), it follows that Ext (M, K) = 0 for all K ∈ GF ⊥
ac . Thus M ∈ GF ac . 
Corollary 4.10. Let R be a ring such that the class of Gorenstein AC-flat modules
is closed under extensions. Then a module is Gorenstein AC-flat if and only if it
is a direct summand of a strongly Gorenstein AC-flat module.
References
[Ben09]

Driss Bennis. Rings over which the class of Gorenstein flat modules is closed under
extensions. Comm. Algebra, 37(3):855–868, 2009.
[BM07]
Driss Bennis and Najib Mahdou. Strongly Gorenstein projective, injective, and flat
modules. J. Pure Appl. Algebra, 210(2):437–445, 2007.
[BGH14] Daniel Bravo, James Gillespie, and Mark Hovey. The stable module category of a
general ring. ArXiv e-prints, May 2014.
[BP17a] Daniel Bravo and Carlos E. Parra. Torsion pairs over n-Hereditary rings. ArXiv e-prints,
May 2017.

14

[BP17b]

DANIEL BRAVO, SERGIO ESTRADA, AND ALINA IACOB

Daniel Bravo and Marco A. Pérez. Finiteness conditions and cotorsion pairs. J. Pure
Appl. Algebra, 221(6):1249–1267, 2017.
[CS81]
Thomas J. Cheatham and David R. Stone. Flat and projective character modules. Proc.
Amer. Math. Soc., 81(2):175–177, 1981.
[DC93]
Nanqing Ding and Jian Long Chen. The flat dimensions of injective modules.
Manuscripta Math., 78(2):165–177, 1993.
[DC96]
Nanqing Ding and Jianlong Chen. Coherent rings with finite self-F P -injective dimension. Comm. Algebra, 24(9):2963–2980, 1996.
[EG15]
Sergio Estrada and James. Gillespie. The projective stable category of a coherent
scheme. To appear in Proc. Roy. Soc. Edinburgh Sect. A., November 2015.
[EI15]
Edgar E. Enochs and Alina Iacob. Gorenstein injective covers and envelopes over Noetherian rings. Proc. Amer. Math. Soc., 143(1):5–12, 2015.
[EJ11]
Edgar E. Enochs and Overtoun M. G. Jenda. Relative homological algebra. Volume 1,
volume 30 of De Gruyter Expositions in Mathematics. Walter de Gruyter GmbH & Co.
KG, Berlin, extended edition, 2011.
[EJLR04] Edgar E. Enochs, Overtoun M. G. Jenda, and J. A. Lopez-Ramos. The existence of
Gorenstein flat covers. Math. Scand., 94(1):46–62, 2004.
[Gil10]
James Gillespie. Model structures on modules over Ding-Chen rings. Homology Homotopy Appl., 12(1):61–73, 2010.
[GP17]
Zenghui Gao and Jie Peng. FPn -Injective and FPn -Flat complexes. Bulletin of the
Malaysian Mathematical Sciences Society, May 2017.
[GT06]
Rüdiger Göbel and Jan Trlifaj. Approximations and endomorphism algebras of modules,
volume 41 of De Gruyter Expositions in Mathematics. Walter de Gruyter GmbH & Co.
KG, Berlin, 2006.
[GZ12]
Yang Gang and Liu Zhongkui. Gorenstein flat covers over gf-closed rings. Communications in Algebra, 40(5):1632–1640, 2012.
[HJ08]
Henrik Holm and Peter Jørgensen. Covers, precovers, and purity. Illinois J. Math.,
52(2):691–703, 2008.
[HJ09]
Henrik Holm and Peter Jørgensen. Cotorsion pairs induced by duality pairs. J. Commut.
Algebra, 1(4):621–633, 2009.
[Hol04]
Henrik Holm. Gorenstein homological dimensions. J. Pure Appl. Algebra, 189(1-3):167–
193, 2004.
[Iac17]
Alina Iacob. Gorenstein injective envelopes and covers over two sided noetherian rings.
Comm. Algebra, 45(5):2238–2244, 2017.
[MD07] Lixin Mao and Nanqing Ding. Envelopes and covers by modules of finite FP-injective
and flat dimensions. Comm. Algebra, 35(3):833–849, 2007.
[MD08] Lixin Mao and Nanqing Ding. Gorenstein FP-injective and Gorenstein flat modules. J.
Algebra Appl., 7(4):491–506, 2008.
[RS98]
Juan Rada and Manuel Saorin. Rings characterized by (pre)envelopes and (pre)covers
of their modules. Comm. Algebra, 26(3):899–912, 1998.
[Ste70]
Bo Stenström. Coherent rings and fp-injective modules. Journal of the London Mathematical Society, 2(2):323–329, 1970.
[Ste75]
Bo Stenström. Rings of quotients. Springer-Verlag, New York-Heidelberg, 1975. Die
Grundlehren der Mathematischen Wissenschaften, Band 217, An introduction to methods of ring theory.
[Šťo14]
Jan Šťovı́ček. On purity and applications to coderived and singularity categories. ArXiv
e-prints, December 2014.
[YL14]
Gang Yang and Li Liang. All modules have Gorenstein flat precovers. Comm. Algebra,
42(7):3078–3085, 2014.
[YLL13] Gang Yang, Zhongkui Liu, and Li Liang. Ding projective and Ding injective modules.
Algebra Colloq., 20(4):601–612, 2013.
[ZP17]
Tiwei Zhao and Marco A. Pérez. Relative FP-injective and FP-flat complexes and their
model structures. ArXiv e-prints, March 2017.

FPn -INJECTIVE/FLAT AND GORENSTEIN AC-FLAT COVERS AND PREENVELOPES. 15

Instituto de Ciencias Fı́sicas y Matemáticas, Facultad de Ciencias, Universidad Austral de Chile, Valdivia, Chile
E-mail address: daniel.bravo@uach.cl
Departamento de Matemáticas, Universidad de Murcia, Campus de Espinardo, 30100
Murcia, Spain
E-mail address: sestrada@um.es
Department of Mathematical Sciences, Georgia Southern University, Statesboro,
GA 30460, U.S.A
E-mail address: aiacob@georgiasouthern.edu

