On the Gorensetein $(n,d)$-Flat and Gorensetein $(n,d)$-Injective Modules
Mostafa Amini

TL;DR
This paper explores Gorenstein (n,d)-flat and (n,d)-Gorenstein (n,d)-injective modules over rings, providing their basic properties, characterizations of rings, and deriving known results as corollaries.
Contribution
It introduces and studies the properties of Gorenstein (n,d)-flat and (n,d)-Gorenstein (n,d)-injective modules, offering new characterizations of rings based on these modules.
Findings
Characterization of rings via Gorenstein (n,d)-flat modules
Properties of Gorenstein (n,d)-injective modules
Derivation of known results as corollaries
Abstract
Let R be a ring. In this paper, Gorenstein (n,d)-flat and (n,d)-Gorenstein (n,d)-injective modules and some of their basic properties are studied. Moreover, some characterizations of rings over Gorenstein (n,d)-flat and (n,d)-Gorenstein (n,d)-injective modules are given. Also, some known results can be obtained as corollaries
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAlgebraic structures and combinatorial models · Advanced Topics in Algebra · Commutative Algebra and Its Applications
On the Gorensetein -Flat and Gorensetein -Injective Modules
M. Amini ††∗Corresponding Author
Department of Mathematics, Payame Noor University, Tehran, Iran
E-mail: [email protected]
Abstract. Let be a ring. In this paper, Gorensetein -flat and Gorenstein -injective modules are introduced and some of their basic properties are studied. Moreover, some characterizations of rings over Gorensetein -flat and Gorenstein -injective modules are given. Also, some known results can be obtained as corollaries.
**2010 MSC :13D07; 16D40; 18G25;
Keywords :Gorenstein -Flat module, Gorensetein -Injective module, -Coherent ring.
**
1. Basic Definitions and Notations
In this paper, we have assumed that is an associative ring with non-zero identity and modules are unitary. In this section, first some fundamental concepts and notations are stated. Let non-negative integers and a right -module. Then
- (1)
is said to be -presented [14] if there is an exact sequence of right -modules , where each is a finitely generated free. 2. (2)
is called right -coherent ring [14] if every -presented right -module is -presented. 3. (3)
is called -flat [13, 14] if for every -presented left -module . 4. (4)
is called -injective [13, 14] if for every -presented right -module . 5. (5)
is said to be Gorenstein flat (resp.,Gorenstein injective) [2, 3, 6] if there is an exact sequence of flat (resp., injective ) right modules with such that (resp; ) leaves the sequence exact whenever is an left injective (resp; right injective) module. 6. (6)
For any commutative ring of prime characteristic , assume that is the -th iterated Frobenius map in which . Then, the perfect closure [9] of , denoted by , is defined as the limit of the following direct system:
[TABLE] 7. (7)
Assume that is a unitary ring extension. Then, the ring is called -projective [14, 15] in case, for any right -module with an right -module , implies , where means that is a direct summand of . 8. (8)
A finite normalizing extension is called an almost excellent extension [14, 15] in case is flat, is projective, and the ring is -projective.
For more information about the relative cohence of rings and modules, see [4, 7, 9, 11]. In this paper, we introduce the Gorenstein -flat modules and Gorenstein -injective modules. A right module is said to be Gorenstein -flat (-flat for short), if there exists the following exact sequence of -flat right -modules
[TABLE]
with such that leaves this sequence exact whenever is an -presented left -module with . A right module is said to be Gorenstein -injective (-injective for short), if there exists the following exact sequence of -injective right -modules
[TABLE]
with such that leaves this sequence exact whenever is an -presented right -module with . The Gorenstein -flat dimension (resp; Gorenstein -injective dimension) of a module is denoted by (resp; ). of an -module is defined that (resp; ) if and only if has a Gorenstein -flat (resp; Gorenstein -injective) resolution of length .
In Section 2, we study some basic properties of the Gorenstein -flat and Gorenstein -injective modules. In section 3, we give sufficient conditions under which every module is Gorenstein -injective. For instance, if is a -coherent ring, then every -module is Gorenstein -injective if and only if is -injective if and only if every Gorenstein -injective is Gorenstein -flat. Finally in section 4, some results of Gorenstein (n, d)-flat and Gorenstein (n, d)-injective modules on projective algebras are given. For instance, if be a surjective ring homomorphism, a projective -module and a right -module, then is Gorenstein -flat (resp; is Gorenstein (n, d)-injective ) if and only if is Gorenstein -flat (resp; is Gorenstein (n, d)-injective ) if and only if (resp; ) is Gorenstein -flat (resp; Gorenstein -injective ). Also, if is an almost excellent extension, then the perfect closure of is right Gorenstein -injective if and only if the perfect closure of is right Gorenstein -injective.
2. Gorensetein -Flatnes and Gorensetein -Injectivity
We start with the following definition.
Definition 2.1**.**
Let be a right -module. Then
- (1)
is called Gorenstein -flat if there exists the following exact sequence of -flat right -modules:
[TABLE]
with such that leaves this sequence exact whenever is -presented left -module with . 2. (2)
is called Gorenstein -injective if there exists the following exact sequence of -injective right -modules:
[TABLE]
with such that leaves this sequence exact whenever is -presented right -module with
Lemma 2.2**.**
If is a left -coherent ring and is an -presented left -module with , then .
Proof.
Let , then we must show that . Since is a left -coherent ring and is an -presented left -module, the projective resolution where any is finitely generated free, exists. On the other hand, above exact squence is a flat resolution. So by [8, Proposition 8.17], -syzygy is flat. Hence, the exact sequence is a flat resolution. If or , then is finitely presented and consequencly by [8, Theorem 3.56], is projective and so, . ∎
In the following theorem, we show that in the case of -coherent rings, the existence of complexs of a module is sufficient to be Gorenstein -flat and Gorenstein -injective.
Theorem 2.3**.**
Let be a ring and G a right -module.
- (1)
If is a left -coherent ring, then is Gorenstein -flat if and only if there is an exact sequence
[TABLE]
of -flat right -modules such that . 2. (2)
If is a right -coherent ring, then is Gorenstein -injective if and only if there is an exact sequence
[TABLE]
of -injective right -modules such that .
Proof.
(1) () : This is a direct consequence of the definition.
() : By definition, it suffices to show that is exact for every -presented left -module with . By Lemma 2.2, . We use the induction on . Let and , then we show that is exact. To prove this, we use the induction on . The case is clear. Assume that . There exists an exact sequence , where is projective. Now, from the -coherence of and [15, Theorem 1], we deduce that is left -presented. Also, . So, the following short exact sequence of complexes exists:
\begin{array}[]{ccccccccc}&\vdots&\vdots&\vdots&\\ &\downarrow&\downarrow&\downarrow&\\ 0\longrightarrow&K\otimes_{R}F_{1}&\longrightarrow P_{0}\otimes_{R}F_{1}&\longrightarrow U\otimes_{R}F_{1}\longrightarrow 0\\ &\downarrow&\downarrow&\downarrow&\\ 0\longrightarrow&K\otimes_{R}F_{0}&\longrightarrow P_{0}\otimes_{R}F_{0}&\longrightarrow U\otimes_{R}F_{0}\longrightarrow 0\\ &\downarrow&\downarrow&\downarrow&\\ 0\longrightarrow&K\otimes_{R}F^{0}&\longrightarrow P_{0}\otimes_{R}F^{0}&\longrightarrow U\otimes_{R}F^{0}\longrightarrow 0\\ &\downarrow&\downarrow&\downarrow&\\ 0\longrightarrow&K\otimes_{R}F^{1}&\longrightarrow P_{0}\otimes_{R}F^{1}&\longrightarrow U\otimes_{R}F^{1}\longrightarrow 0\\ &\downarrow&\downarrow&\downarrow&\\ &\vdots&\vdots&\vdots&\\ &\parallel&\parallel&\parallel&\\ 0\longrightarrow&K\otimes_{R}{\mathbf{F}}&\longrightarrow P_{0}\otimes_{R}{\mathbf{F}}&\longrightarrow U\otimes_{R}{\mathbf{F}}\longrightarrow 0.\\ \end{array}
By induction, and are exact, hence is exact by [8, Theorem 6.10].
Let . Since, is -presented, the exact sequence with is projective exists. Therefore, the following short exact sequence of complexes exists:
\begin{array}[]{ccccccccc}\vdots&\vdots&\\ \downarrow&\downarrow&\\ 0\longrightarrow{\rm Tor}_{d}^{R}(U,F_{1})&\longrightarrow{\rm Tor}_{d-1}^{R}(K^{{}^{\prime}},F_{1})\longrightarrow 0\\ \downarrow&\downarrow&\\ 0\longrightarrow{\rm Tor}_{d}^{R}(U,F_{0})&\longrightarrow{\rm Tor}_{d-1}^{R}(K^{{}^{\prime}},F_{0})\longrightarrow 0\\ \downarrow&\downarrow&\\ 0\longrightarrow{\rm Tor}_{d}^{R}(U,F^{0})&\longrightarrow{\rm Tor}_{d-1}^{R}(K^{{}^{\prime}},F^{0})\longrightarrow 0\\ \downarrow&\downarrow&\\ 0\longrightarrow{\rm Tor}_{d}^{R}(U,F^{1})&\longrightarrow{\rm Tor}_{d-1}^{R}(K^{{}^{\prime}},F^{1})\longrightarrow 0\\ \downarrow&\downarrow&\\ \vdots&\vdots&\\ \parallel&\parallel&\\ 0\longrightarrow{\rm Tor}_{d}^{R}(U,{\mathbf{F}})&\longrightarrow{\rm Tor}_{d-1}^{R}(K^{{}^{\prime}},{\mathbf{F}})\longrightarrow 0.\\ \end{array}
We know that is -presented with , and so by induction, is exact. Therefore, is exact and hence, is Gorenstein -flat.
(2) () : This is a direct consequence of the definition.
() Let be a right -presented -module with . Then, a similar proof to that of (1), is exact and hence is Gorenstein -injective.
∎
Remark 2.4*.*
Let be a ring. Then:
- (1)
Every flat right -module is -flat. 2. (2)
Every injective right -module is -injective. 3. (3)
Every right -module is flat if and only if -flat. 4. (4)
Every right -module is injective if and only if -injective. 5. (5)
Every -injective right -module is -injective, for any 6. (6)
Every -flat right -module is -flat, for any 7. (7)
Every -presented left (resp; right) -module is -presented, for any 8. (8)
Every -flat right -module is Gorenstein -flat. 9. (9)
Every -injective right -module is Gorenstein -injective.
Corollary 2.5**.**
Let be a left -coherent ring and G a right -module. Then the following assertions are equivalent:
- (1)
* is Gorenstein -flat;* 2. (2)
There is an exact sequence of right -modules, where every is -flat; 3. (3)
There is a short exact sequence of right -modules, where is -flat and is Gorenstein -flat.
Proof.
and follow from definition.
For -module , there is an exact sequence
[TABLE]
where any is flat for any . By Remark 2.4, every is -flat. Thus, the exact sequence
[TABLE]
of -flat right modules exists, where . Therefore by Theorem 2.3, is Gorenstein -flat,
Assume that the exact sequence
[TABLE]
exists, where is -flat and is Gorenstein -flat. Since is Gorenstein -flat, there is an exact sequence
[TABLE]
where every is -flat. Assembling the sequences and , we get the exact sequence
[TABLE]
where and any are -flat , as desired.
∎
Corollary 2.6**.**
Let be a right -coherent ring and G a right -module. Then the following assertions are equivalent:
- (1)
* is Gorenstein -injective;* 2. (2)
There is an exact sequence of right -modules, where every is -injective; 3. (3)
There is a short exact sequence of -modules, where is -injective and is Gorenstein -injective.
Proof.
and follow from definition.
For any module , there is an exact sequence
[TABLE]
where every is injective for any . By Remark 2.4, each is -injective. So, the exact sequence
[TABLE]
of -injective right modules exists, where . Therefore, is Gorenstein -injective, by Theorem 2.3.
Assume that the exact sequence
[TABLE]
exists, where is -injective and is Gorenstein -injective. Since is Gorenstein -injective, there is an exact sequence
[TABLE]
where every is -injective. Assembling the sequences and , we get the exact sequence
[TABLE]
where and are -injective, as desired. ∎
Proposition 2.7**.**
If is Gorenstein -injective right -module, then for any and every -presented right -module with .
Proof.
Let be a Gorenstein -injective -module and . Then by hypothesis, the following -injective resolution of exists:
[TABLE]
So, for every and any , since is -presented. Thus, we deduce that .
∎
Next, we study the Gorenstein -flatness and Gorenstein -injectivity of modules, in short exact sequences.
Proposition 2.8**.**
Let be a left (resp; right) -coherent ring.
- (1)
Consider the exact sequence , where is -flat. Then --. In particular, if is Gorenstein -flat, so is . 2. (2)
Consider the exact sequence , where is -injective. Then --. In particular, if is Gorenstein -injective, so is .
Proof.
(1) We shall show that --. In fact, we may assume that -. Then, by definition, admits a Gorenstein -flat resolution:
[TABLE]
Assembling this sequence and the short exact sequence , the following commutative diagram is obtained:
\begin{array}[]{ccccccccccccccccc}0&\longrightarrow&B_{m}&\longrightarrow&\cdots&\longrightarrow&B_{1}&\longrightarrow&B_{0}&\longrightarrow&B&\longrightarrow&G&\longrightarrow&0\\ &&&&&&&&\downarrow&&\uparrow&&\\ &&&&&&&&K&={=}{={=}}&K&&\\ &&&&&&&&\downarrow&&\uparrow&&\\ &&&&&&&&0&&0&&\\ \end{array}
which shows that -. The particular case follows from Corollary 2.5.
(2) We shall show that --. In fact, we may assume that -. Then, by definition, admits a Gorenstein -injective resolution:
[TABLE]
Assembling this sequence and the short exact sequence , the following commutative diagram is obtained:
\begin{array}[]{ccccccccccccccccc}0&\longrightarrow&G&\longrightarrow&A&\longrightarrow&A_{0}&\longrightarrow&A_{1}&\longrightarrow&\cdots&\longrightarrow&A_{m}&\longrightarrow&0\\ &&&&\downarrow&&\uparrow&&\\ &&&&N&={=}{={=}}&N&&\\ &&&&\downarrow&&\uparrow&&\\ &&&&0&&0&&\\ \end{array}
which shows that -. The particular case follows from Corollary 2.6. ∎
Proposition 2.9**.**
Let be a left (resp; right) -coherent ring.
- (1)
Let be an exact sequence of right -modules. If is Gorenstein -flat and is -flat, then is Gorenstein -flat. 2. (2)
Let be an exact sequence of right -modules. If is Gorenstein -injective and is -injective, then is Gorenstein -injective.
Proof.
(1) is Gorenstein -flat. So by Corollary 2.5, there exists an exact sequence of right -modules , where is -flat and is Gorenstein -flat. Now, we consider the following diagram:
\begin{array}[]{ccccccccc}&&0&&0&&\\ &&\downarrow&&\downarrow&&\\ &0\longrightarrow&K&\longrightarrow&G&\longrightarrow&B&\longrightarrow&0\\ &&\downarrow&&\downarrow&&\parallel&&\\ &0\longrightarrow&B^{\prime}&\longrightarrow&N&\longrightarrow&B&\longrightarrow&0\\ &&\downarrow&&\downarrow&&\\ &&L&={=}&L&&\\ &&\downarrow&&\downarrow&&\\ &&0&&0&&\\ \end{array}
The exactness of the middle horizontal sequence with and are -flat, implies that is -flat. Hence from the middle vertical sequence and Corollary 2.5, we deduce that is Gorenstein -flat.
(2) Since is Gorenstein -injective, by Corollary 2.6, there exists an exact sequence of of right -modules , where is -injective and is Gorenstein -injective. Now, we consider the following diagram:
\begin{array}[]{ccccccccc}&&&&0&&0&&\\ &&&&\downarrow&&\downarrow&&\\ &&&&K&={=}&K&&\\ &&&&\downarrow&&\downarrow&&\\ 0&\longrightarrow&A&\longrightarrow&D&\longrightarrow&A^{\prime}&\longrightarrow&0\\ &&\parallel&&\downarrow&&\downarrow&&\\ 0&\longrightarrow&A&\longrightarrow&G&\longrightarrow&N&\longrightarrow&0\\ &&&&\downarrow&&\downarrow&&\\ &&&&0&&0&&\\ \end{array}
The exactness of the middle horizontal sequence with and are -injective, implies that is -injective. Hence from the middle vertical sequence and Corollary 2.6, we deduce that is Gorenstein -injective.
∎
3. -Injective Rings
A ring is right (resp; left) self--injective if is an -injective right (resp; left) -module. This section is devoted to -injective rings over which every -module is Gorenstein -injective.
Proposition 3.1**.**
Let be a ring. Then, every right -module is Gorenstein -injective if and only if every projective right -module is -injective and for any right -module and any -presented right -module with .
Proof.
Let be a projective right -module. Then by (1), is Gorenstein -injective. So, the following -injective resolution of exists:
[TABLE]
Since is projective, is -injective as a direct summand of . If is an -presented right -module with , then by Proposition 2.7 and (1), for any right -module .
Choose an injective resolution and a projective resolution of right -module , where every is -injective by (2). Assembling these resolutions, by Remark 2.4, we get the following -injective resolotion:
[TABLE]
where , and for any . Let be a -presented right -module with . Then by (2), for any . So, is exact, and hence is Gorenstein -injective. ∎
Theorem 3.2**.**
Let be a right -coherent ring. Then the following are equivalent:
- (1)
Every right -module is Gorenstein -injective; 2. (2)
Every projective right -module is -injective; 3. (3)
* is right self--injective.*
Proof.
and , is hold by Proposition 3.1.
Let be a right -module and be any free resolution of . Then by Proposition 3.1, each is -injective. Hence Corollary 2.6 completes the proof. ∎
Example 3.3**.**
Let be a ring. We claim that is not -injective. Suppose to the contrary, is -injective. is -presented, since is -presented. Hence is -presented and . By Proposition 3.1 and Theorem 3.2, is propjective. Threrefore, the exact sequence splits. Thus is a direct summand of and so, is an idempotent, a contradiction.
Proposition 3.4**.**
Let be a ring. Then:
- (1)
Every Gorenstein -injective right -module is Gorenstein -injective for any . 2. (2)
Every Gorenstein -flat right -module is Gorenstein -flat for any . 3. (3)
If is a left -coherent, then every Gorenstein -flat right -module is Gorenstein -flat for any . 4. (4)
If is a right -coherent, then every Gorenstein -injective right -module is Gorenstein -injective for any .
Proof.
(1) Let be a Gorenstein -injective right -module. By Remark 2.4, every -injective right -module is -injective for any . Thus, there is an exact sequence
[TABLE]
of -injective right -modules, where . By definition and Remark 2.4, leaves the sequence exact for any -presented right -module of finite projective dimension, since every -presented right -module is -presented and is Gorenstein -injective. Hence is Gorenstein -injective.
(4) Let be a Gorenstein -injective right -module. Since is right -coherent, every -presented right -module is -presented for any . Hence, any -injective right -module is -injective. Thus, there is an exact sequence
[TABLE]
of -injective right -modules, where . So by definition, leaves the sequence exact for any -presented right -module of finite projective dimension. Hence is Gorenstein -injective.
(2), (3) Similar to proof (1), (4).
∎
A ring is called right -regular, if every -presented right -module is projective. The following example show that Gorenstein -injectivity does not imply Gorenstein -injectivity for any .
Example 3.5**.**
Let be a field and be a -vector space with infinite rank. Let . The trivial extension of by . Then, every right -module is Gorenstein -injective. We claim that there is right -module so that is not Gorenstein -injective. Suppose to the contrary, every right -module is Gorenstein -injective. By Proposition 3.1, we see that for any right -module and any -module -presented . So, every -presented right -module is projective and it follows that is -regular or regular, a cotradiction. Since by [13, Example 3.8], is not regular.
Theorem 3.6**.**
Let be right and left -coherent ring. Then the following statements are equivalent:
- (1)
* is two-sided self--injective;* 2. (2)
Every Gorenstein -flat -module ( right and left) is Gorenstein -injective; 3. (3)
Every Gorenstein flat -module ( right and left) is Gorenstein -injective; 4. (4)
Every flat -module ( right and left) is Gorenstein -injective; 5. (5)
Every Gorenstein projective -module ( right and left) is Gorenstein -injective; 6. (6)
Every projective -module ( right and left) is Gorenstein -injective; 7. (7)
Every Gorenstein injective -module ( right and left) is Gorenstein -flat; 8. (8)
Every injective -module (right and left) is Gorenstein -flat; 9. (9)
Every Gorenstein -injective -module ( right and left) is Gorenstein -flat; 10. (10)
Every Gorenstein -injective -module ( right and left) is Gorenstein -flat.
Proof.
, , , and follow immediately from Theorem 3.2.
, and are trivial.
Assume that is a projective right (resp; left) -module. Then is flat and so, is Gorenstein -injective by (3). So, similar to proof of Proposition 3.1, is -injective. Thus, the assertion follows from Theorem 3.2.
This is similar to proof .
By [12, Proposition 2.21 and Remark 2.22], every -injective right (resp; left) -module is -flat. Suppose that is Gorenstein -injective. So, the exact sequence
[TABLE]
of -flat right (resp; left) -modules exists, where . Let be a -presented left (resp; right) -module with . Then similar to proof Theorem 2.3(1), is exact.
Let be a Gorenstein injective right (resp; left) -module. Then, the exact sequence
[TABLE]
of injective right (resp; left) -modules exists, where . By Remark 2.4, every injective -module is -injective. Also, leaves the sequence exact for any -presented right (resp; left) -module with , and so is Gorenstein -injective.
is trivial, since every injective -module is Gorenstein injective.
Let be an injective right -module. Since is Gorenstein -flat, we have a long exact sequence:
[TABLE]
where any is a -flat right -module and . Then, the split exact sequence implies that is -flat, and hence by [12, Proposition 2.21 and Remark 2.22], we deduce that is left self--injective. Similarly, is right self--injective.
Suppose that is a Gorenstein -injective right (resp; left) -module. Then by Propsition 3.4(4), is Gorenstein -injective. Also, by [12, Proposition 2.21 and Remark 2.22], every -injective right (resp; left) -module is -flat. Thus, the exact sequence
[TABLE]
of -flat right (resp; left) -modules exists, where . Then similar to proof Theorem 2.3(1), (10) follows.
By Proposition 3.4(1), every Gorenstein -injective right (resp; left) -module is Gorenstein -injective. So by (10), (9) is hold. ∎
Example 3.7**.**
Let be a commutative -regular ring. Then every -module is Gorenstein -injective and Gorenstein -flat, since by [13, Theorem 3.9], is self--injective and -coherent. But, there is an -module such that is not Gorenstein -injective and Gorenstein -flat. Since if every -module is Gorenstein -injective and Gorenstein -flat, then by Proposition 3.1, every -presented right -module with finite dimention projective is projective and consequenclay is -regular and -coherent, a contradiction. Because is -regular and if is a field of characteristic , then by [10, Example 6], is not -coherent.
4. Gorenstein -flat and
Gorenstein -injective modules on projective algebras
Lemma 4.1**.**
Let be a surjective ring homomorphism, a projective right -module and a projective left -module. Then:
- (1)
If is an -presented right (resp; left) -module, then is an -presented right -module. 2. (2)
If is an -flat right -module, then is an -flat right -module . 3. (3)
If is an -injective right -module, then is an -injective right -module .
Proof.
(1) Suppose is -presented right -module. Then, the exact sequence
[TABLE]
of right -modules exists, where is finitely generated and each is finitely generated projective for . is projective, hence the exact sequence
[TABLE]
of right -modules exists, where is finitely generated and each is finitely generated projective for , since by [8, Theorem 2.75], we have . So, is an -presented right -module.
(2) Let be an -presented left -module. Then by [5, Lemma 3.10 and Lemma 3.11], is -presented left -module. By [8, Corollary 10.61], , and so is an -flat right -module, since is -flat right -module.
(3) Let be an -presented right -module. Then is an -presented right -module. We claim that . We use the induction on . Let . Then by [8, Theorem 2.75],. Let , then by induction hypothesis and the exact sequence , where is a finitely generated free, we deduce that , and so, (3) is follows.
∎
Proposition 4.2**.**
Let be a surjective ring homomorphism, a projective right -module and a projective left -module. Then:
- (1)
If is a left -module with , then . 2. (2)
If is a left -module with , then . 3. (3)
If is a right -module with , then . 4. (4)
If is a right -module with , then .
Proof.
(1) By [5, Lemma 3.10] and [8, Corollary 10.61],
[TABLE]
. So, .
(2) By [8, Corollary 10.61], . So, (2) holds.
(3) Similar to proof (3) of lemma 4.1, So, (2) holds.
(4) By [8, Theorem 2.76], . So, .
∎
Theorem 4.3**.**
Let be a surjective ring homomorphism, a projective right -module, a projective left -module and a left -module. Then, the following statements are equivalent:
- (1)
* is Gorenstein -flat;* 2. (2)
* is Gorenstein -flat;* 3. (3)
* is Gorenstein -flat.*
Proof.
Suppose that is an -flat right -module. Then by Lemma 4.1, is an -flat right -module. But, is a flat. So if is an Gorenstein -flat right -module, then the exact sequence
[TABLE]
of -flat right -modules, where , induces the following exact sequence of -flat right -modules :
[TABLE]
where . Let be an -presented left -module with . We show that is exact. By Proposition 4.2, . Also, is an -presented left -module. Thus by hypothesis, is exact. Therefore is exact, since by [8, Corollary 10.61], . Hence, is Gorenstein -flat.
By [5, Lemma 3.10], , and hence is Gorenstein -flat.
Suppose that is an -flat right -module. Then by [5, Lemma 3.12], is an -flat right -module. So, if be a Gorenstein -flat right -module, then the exact sequence
[TABLE]
of -flat right -modules exists, where . Let be an -presented left -module with . It is sufficient to prove that is exact. is an -presented left -module by Lemma 4.1, and by Proposition 4.2, . So by hypothesis, is exact. On the other hand, by [8, Corollary 10.61], we have . Therefore, is exact, and hence is Gorenstein -flat.
∎
Theorem 4.4**.**
Let be a surjective ring homomorphism, a projective right -module, a projective left -module and a left -module. Then, the following statements are equivalent:
- (1)
* is Gorenstein -injective;* 2. (2)
* is Gorenstein -injective;* 3. (3)
* is Gorenstein -injective.*
Proof.
Suppose that is an -injective right -module. Then by Lemma 4.1, is an -injective right -module. But, is a projective -module. So if is Gorenstein -injective right -module , then the exact sequence
[TABLE]
of -injective right -modules, where , induces the following exact sequence of -injective right -modules :
[TABLE]
where . Let be an -presented right -module with . Then by [5, Lemmas 3.10 and 3.11], is an -presented right -module, and by Proposition 4.2, . Also, similar to proof (3) of Lemma 4.1, we have that
[TABLE]
By hypothesis, is exact. Therefore is exact, and hence is Gorenstein -injective.
By [8, Proposition 8.33], , since is surjective. So, we deduce that is Gorenstein -injective.
Suppose that is an -injective right -module. Then by [5, Lemma 3.12], is an -injective right -module. So, if be a Gorenstein -injective right -module, then the exact sequence
[TABLE]
of -injective right -modules exists, where . Let be an -presented right -module with . It is sufficient to prove that is exact. is an -presented right -module by Lemma 4.1. Also by Proposition 4.2, . So by hypothesis, is exact. On the other hand, similar to proof (4) of Proposition 4.2, we have . Therefore, is exact, and hence is a Gorenstein -injective.
∎
we have the following corollary.
Corollary 4.5**.**
Let be a surjective ring homomorphism, a projective -module and a -module. Then :
- (1)
** 2. (2)
**
In the following propositon, Gorenstein -injectivity of modules over almost excellent extensions is studied.
Proposition 4.6**.**
Let be an almost excellent extension. Then
- (1)
* is right Gorenstein -injective if and only if right is Gorenstein -injective.* 2. (2)
* is right Gorenstein -injective if and only if is right Gorenstein -injective.*
Proof.
(1) (): Let be a right Gorenstein -injective, then the exact sequence
[TABLE]
of -injective right -modules exists, where . Since the exact sequence is split, is right -injective. Thus by [14, Proposition 5.1], is right -injective and hence by Remark 2.4, is right Gorenstein -injective.
(): Similar to proof ().
(2) If is an almost excellent extension, then is an almost excellent extension. Hence by (1), (2) is hold.
∎
From Theorem 3.6, Proposition 4.6 and [14, Theorem 5.3] we immediately have the following corollary.
Corollary 4.7**.**
Let be an almost excellent extension and be -coherent. Then the following statements are equivalent:
- (1)
* is Gorenstein -injective;* 2. (2)
Every Gorenstein -flat right -module is Gorenstein -injective right -module; 3. (3)
Every Gorenstein -flat right -module is Gorenstein -injective right -module.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] D. Bennis and N. Mahdou, Strongly Gorenstein projective, injective, and flat modules, J. Pure Appl. Algebra , 207 (2007), 437-445.
- 2[2] E. E. Enochs and O. M. G. Jenda, Gorenstein injective and projective modules, Math. Z. 220 (1995), 611-633.
- 3[3] E. E. Enochs, O. M. G. Jenda and B. Torrecillas, Gorenstein flat modules, Nanjing Daxue Xuebao Shuxue Bannian Kan , 10 (1993), 1-9.
- 4[4] Z. Gao and F. Wang, Coherent rings and Gorenstein FP-injective modules, Comml. Algebra , 40 (2012), 1669-1679.
- 5[5] B. Ouyang, L. Duan and W. Li, Relative Projective Dimensions, Bull. Malays. Math. Sci. Soc. , 37 (3) (2014), 865-879.
- 6[6] L. X. Mao and N. Q. Ding, Gorenstein FP-injective and Gorenstein flat modules, J. Algebra Appl. 7 (2008), 491-506.
- 7[7] M.J. Nikmehr and F. Shaveisi, Relative T 𝑇 T -injective modules and relative T 𝑇 T -flat modules, Chin. Ann. Math. 32B(4) (2011), 497–506.
- 8[8] J. J. Rotman, An Introduction to Homological Algebra , Academic Press, New York, 2009.
