Special Issue: Bio-blended Fuels

1.   Introduction

Right (resp., left, null) quasi-Frobenius extensions of rings were first introduced by Müller ^[1] as a generalization of quasi-Frobenius rings and Frobenius extensions. They are closely related with separable extensions and group rings ^[1,2]. For instance, K. Hirata ^[2] established that a central projective separable extension equivalently characterized as a quasi-Frobenius extension. Extensive research has focused on the invariant properties of rings under right (resp., null) quasi-Frobenius extensions. Notably, key homological invariants such as the dominant dimension, injectivity, and related properties are preserved under quasi-Frobenius extensions, as demonstrated in ^[1,3].

In the 1960s, Auslander and Bridge ^[4] initially introduced the concept of finitely generated modules having Gorenstein dimension zero over a Noetherian ring; these modules are now widely termed Gorenstein projective (see ^[4,5] for further details). A number of studies, including ^[6,7,8,9,10], have explored the invariance of Gorenstein projective modules under various ring extensions such as excellent extensions, Frobenius extensions, trivial ring extensions, and separable equivalences.

It is known that the Gorenstein algebra, the Cohen-Macaulay finite algebra (CM-finite algebra, for short), and the Cohen-Macaulay finite algebra (CM-free algebra, for short) are characterized in terms of Gorenstein projective modules ^[3,11]. Recall that a ring $ \Lambda $ is called a Gorenstein ring, if the injective dimension of $ _{\Lambda}\Lambda $ and that of $ \Lambda_{\Lambda} $ are finite. Let $ \Gamma\geq \Lambda $ be a quasi-Frobenius extension of $ \Lambda $ with $ \Gamma_{\Lambda} $ a generator for $ \Lambda $-modules. It follows from [3, Proposition 7] that $ \Lambda $ is a Gorenstein ring when $ \Gamma $ is so. Note that a generator for $ \Lambda $-modules is completely faithful, but a completely faithful module is not a generator in general (see [12, P234], for detail). In this study, we shall develop their arguments and apply obtained results to right quasi-Frobenius extensions ultimately establishing the following theorem.

Theorem A. Let $ \Gamma $ be a right quasi-Frobenius extension of a two-sided Noetherian ring $ \Lambda $.

$ \mathrm{(1)} $ Suppose that $ \Gamma $ is a completely faithful left $ \Lambda $-module. Then, $ \Lambda $ is a Gorenstein ring, when $ \Gamma $ is so.

$ \mathrm{(2)} $ Suppose that $ \Gamma $ is a separable extension of $ \Lambda $. Then, $ \Gamma $ is a Gorenstein ring, when $ \Lambda $ is so.

In ^[10], Zhao proved that CM-free (resp., CM-finite) properties are invariant under separable Frobenius extensions of commutative Artin rings. It is shown by Huang et al. ^[7] that CM-free (resp., CM-finite) properties are invariant under the strongly separable quasi-Frobenius extensions. In this paper, we shall improve them and prove the same results for right quasi-Frobenius extensions of Artin algebras.

Theorem B. Let $ \Gamma $ be a separable right quasi-Frobenius extension of an Artin algebra $ \Lambda $.

$ \mathrm{(1)} $ If $ \Lambda $ is CM-free, then so is $ \Gamma $. Furthermore, if $ \Gamma $ is a generator for $ \Lambda $-modules, the converse also holds.

$ \mathrm{(2)} $ If $ \Lambda $ is CM-finite, then so is $ \Gamma $. Furthermore, if $ M $ is a relative generator for $ \mathcal{FG}(\Gamma) $, where $ \mathcal{FG}(\Gamma) $ is the category formed by all finitely generated Gorenstein projective left $ \Lambda $-modules, then $ {\operatorname{End}}{_\Lambda}M $ is a right quasi-Frobenius extension of $ {\operatorname{End}}{_\Gamma}M $.

Essential definitions and results frequently employed in this work are given in Section 2. Theorems A and B are proved in Section 3.

2.   Preliminaries

In this study, unless otherwise specified, all rings are assumed to be two-sided Noetherian rings, and all modules are finitely generated left modules. Given a ring $ \Lambda $, the category composed of all finitely generated left $ \Lambda $-modules is denoted by $ {\operatorname{mod}} \Lambda $.

Definition 2.1. ([1, Definition 1.1]) Let $ \Lambda $ be a subring of $ \Gamma $ containing the identity of $ \Gamma $. Then $ \Gamma $ is said to be a ring extension of $ \Lambda $, represented as $ \Gamma\geq \Lambda $. Such an extension $ \Gamma\geq \Lambda $ is said to be a right quasi-Frobenius extension (right QF-extension, for short), if

$ \mathrm{(1)} $ $ \Gamma_{\Lambda} $ is projective;

$ \mathrm{(2)} $ $ _{\Lambda}\Gamma_{\Gamma}\in {\operatorname{add}} _{\Lambda}({\operatorname{Hom}}_{\Lambda}(_{\Gamma}\Gamma_{\Lambda}, _{\Lambda}\Lambda_{\Lambda})_{\Gamma} $, where $ {\operatorname{add}} _{\Lambda}({\operatorname{Hom}}_{\Lambda}(_{\Gamma}\Gamma_{\Lambda}, _{\Lambda}\Lambda_{\Lambda})_{\Gamma} $ denotes the category formed by direct summands of finite copies of $ _{\Lambda}{\operatorname{Hom}}_{\Lambda}(_{\Gamma}\Gamma_{\Lambda}, _{\Lambda}\Lambda_{\Lambda})_{\Gamma} $.

The definition of a left quasi-Frobenius extension follows analogously. When a right QF-extension $ \Gamma\geq \Lambda $ additionally satisfies the criteria for a left QF-extension, it is termed a quasi-Frobenius extension (QF-extension, for short). Moreover, a QF-extension $ \Gamma\geq \Lambda $ is called a Frobenius extension if there is a bimodule isomorphism $ _{\Lambda}\Gamma_{\Gamma}\cong _{\Lambda}{\operatorname{Hom}}_{\Lambda}(_{\Gamma}\Gamma_{\Lambda}, _{\Lambda}\Lambda_\Lambda)_{\Gamma} $; see [13, Theorem 1.2] for detail.

The following remark is easy, which is important for our arguments.

Remark 2.2. Let $ \Gamma\geq \Lambda $ be a right QF-extension, then

$ \mathrm{(1)} $ $ _{\Gamma}{\operatorname{Hom}}_{\Lambda}(_{\Lambda}\Gamma_{\Gamma}, _{\Lambda}\Lambda)_{\Lambda}\in {\operatorname{add}} _{\Gamma} \Gamma_{\Lambda} $.

$ \mathrm{(2)} $ $ _{\Lambda}\Gamma $ is projective.

Recall from [13, Section 2.4] that a ring extension $ \Gamma\geq \Lambda $ is said to be a separable extension, if the map

is a split epimorphism of the $ \Gamma $-bimodule. By the definition of separable extensions, we have the following lemma.

Lemma 2.3. Let $ \Gamma\geq \Lambda $ be a separable extension and $ N\in {\operatorname{mod}} \Gamma $. Then, we have $ _{\Gamma}N\in {\operatorname{add}}_{\Gamma}(\Gamma\otimes_{\Lambda}N). $

Proof. By the definition of separable extensions, there exist a $ \Gamma $-bimodule $ Y $ and a $ \Gamma $-bimodule isomorphism $ _{\Gamma}\Gamma_{\Gamma}\oplus {_\Gamma}Y_{\Gamma}\cong {_\Gamma}(\Gamma\otimes_{\Lambda}\Gamma)_{\Gamma} $. Then, for a $ \Gamma $-module $ N $, one gets $ \Gamma $-module isomorphisms

Thus, we have $ _{\Gamma}N\in {\operatorname{add}}_{\Gamma}(\Gamma\otimes_{\Lambda}N). $ □

For a module $ M\in{\operatorname{mod}} \Lambda $ with the projective presentation,

Following ^[4], the transpose of $ M $, denoted by $ {\operatorname{Tr}} M $, is defined as the cokernel of the dualized map of $ f^{*} $, where $ (-)^{*} = {\operatorname{Hom}}_{\Lambda}(-, \Lambda) $.

Lemma 2.4. ([6, Lemma 3.1]) Suppose that $ \Gamma\geq \Lambda $ is a ring extension.

$ \mathrm{(1)} $ For any $ M \in {\operatorname{mod}} \Lambda $, there exist projective right $ \Gamma $-modules $ Q_1, Q_2 $ and a right $ \Gamma $-module isomorphism $ {\operatorname{Tr}}(\Gamma \otimes_\Lambda M)_{\Gamma}\oplus Q_1\cong ({\operatorname{Tr}} M\otimes_\Lambda\Gamma)_{\Gamma} \oplus Q_2 $.

$ \mathrm{(2)} $ If $ \Gamma_{\Lambda} $ is projective and $ N\in {\operatorname{mod}}\Gamma $, then there exist projective right $ \Lambda $-modules $ P_1, P_2 $ and a right $ \Lambda $-module isomorphism $ ({\operatorname{Tr}} N)_\Lambda\oplus P_1 \cong {\operatorname{Tr}} N\otimes_\Gamma{\operatorname{Hom}}_\Lambda(_\Lambda\Gamma_\Gamma, _\Lambda\Lambda)_{\Lambda}\oplus P_2 $.

Recall from [4, Proposition 3.8] that $ M $ is said to have Gorenstein dimension zero, denoted by $ {\operatorname{Gpd}} {_\Lambda}M = 0 $, if $ {\operatorname{Ext}}_{\Lambda}^{\geq 1}(_{\Lambda}M, \Lambda) = 0 = {\operatorname{Ext}}_{\Lambda^{o}}^{\geq 1}(({\operatorname{Tr}} M)_{\Lambda}, \Lambda) $. These modules are now often termed Gorenstein projective (see [5, Definition 10.2.1] for detail). The full subcategory of $ {\operatorname{mod}} \Lambda $ comprising all finitely generated Gorenstein projective modules is denoted by $ \mathcal{FG}(\Lambda) $. The Gorenstein projective dimension (or Gorenstein dimension) of $ M $, denoted by $ {\operatorname{Gpd}} {_\Lambda}M $, is defined as the minimal integer $ n\geq 1 $ for which there exists an exact sequence in $ {\operatorname{mod}} \Lambda $: $ 0 \to D_n \to \cdots \to D_1 \to D_0 \to M \to 0 $ with each $ D_i\in \mathcal{FG}(\Lambda) $ (see ^[4,14] for detail). If no such finite sequence exists, $ {\operatorname{Gpd}} {_\Lambda}M $ is defined to be infinite. The finitistic dimension of $ \Lambda $, denoted $ {\operatorname{fin.dim}} \Lambda $, is defined as the supremum of projective dimensions across all modules $ M $ in $ {\operatorname{mod}} \Lambda $ having finite projective dimensions.

Lemma 2.5. [6, Lemma 2.5] For a two-sided Noetherian ring $ \Lambda $, $ {\operatorname{fin.dim}} \Lambda = \sup\{{\operatorname{Gpd}} M \mid M \in {\operatorname{mod}} \Lambda $ and $ {\operatorname{Gpd}} M < \infty \} $.

Let $ B $ be a $ \Lambda $-module. From [15, P87], we know that its character module $ B^+ $ is the right $ \Lambda $-module $ {\operatorname{Hom}}_{\mathbb{Z}}(B, \mathbb{Q}/\mathbb{Z}) $. Recall from [12, P233] that $ B $ is called completely faithful, provided that for every homomorphism $ f $, $ f\otimes_{\Lambda}B = 0 $ implies $ f = 0. $ Recall that $ B $ is a generator (resp., cogenerator) for $ \Lambda $-modules if each $ \Lambda $-module is a quotient (resp., submodule) of direct sums (resp., products) of $ B $. Clearly, every generator is completely faithful, but the converse is not true in general.

Lemma 2.6. ([12, P234]) The equivalence of the following statements holds for a projective $ \Lambda $-module $ Q $.

$ \mathrm{(1)} $ $ Q $ is a completely faithful module.

$ \mathrm{(2)} $ Let $ V $ be a right $ \Lambda $-module. Then, $ V\otimes_\Lambda Q = 0 $ implies $ V = 0 $,

$ \mathrm{(3)} $ The character module $ Q^{+} $ is a cogenerator in $ {\operatorname{mod}} \Lambda^{op} $.

Lemma 2.7. Let $ \Lambda $ and $ \Gamma $ be Noetherian rings.

$ \mathrm{(1)} $ [15, Corollary 10.65] In the situation $ (_{\Lambda}A, {_\Gamma}B_{\Lambda}, {_\Gamma}C) $, assume that $ B_{\Lambda} $ is projective. Then, for any $ n\geq 1 $, there is an isomorphism

$ \mathrm{(2)} $ [5, Theorem 3.2.15] In the situation $ (_{\Lambda}A, {_\Gamma}B_{\Lambda}, {_\Gamma}C) $, assume that $ _{\Lambda}A $ is projective. Then, for any $ n\geq 1 $, there is an isomorphism

3.   Main results

Lemma 3.1. Let $ \Gamma\geq \Lambda $ be a right QF-extension, and $ X\in {\operatorname{mod}} \Lambda $. Then, for any $ i\geq 1 $, we have the following isomorphisms

$ \mathrm{(1)} $ $ {\operatorname{Ext}}_{\Gamma}^i(\Gamma\otimes_{\Lambda}X, \Gamma)\cong {\operatorname{Ext}}_{\Lambda}^i(X, \Lambda)\otimes_{\Lambda}\Gamma $;

$ \mathrm{(2)} $ $ {\operatorname{Ext}}_{\Gamma}^i(\Gamma\otimes_{\Lambda}X, \Gamma)\cong {\operatorname{Ext}}_{\Lambda}^i(_{\Lambda}X, _{\Lambda}\Gamma). $

Proof. Noting that $ _{\Lambda}\Gamma $ and $ \Gamma_{\Lambda} $ are projective by assumption and by Remark 2.2(2), the assertion follows directly from Lemma 2.7. □

Lemma 3.2. Suppose that $ \Gamma \geq \Lambda $ is a right QF-extension with $ _{\Lambda}\Gamma $ completely faithful. Then,

$ \mathrm{(1)} $ $ {\operatorname{Hom}}_{\Lambda}(_{\Lambda}\Gamma, {_\Lambda}\Lambda_{\Lambda}) $ is a completely faithful right $ \Lambda $-module.

$ \mathrm{(2)} $ $ \Gamma_{\Lambda} $ is completely faithful.

Proof. (1) It suffices to prove that the character module $ {\operatorname{Hom}}_{\Lambda}(_{\Lambda}\Gamma, {_\Lambda}\Lambda_{\Lambda})_{\Lambda}^+ $ is a cogenerator by Lemma 2.6(3), because $ {\operatorname{Hom}}_{\Lambda}(_{\Lambda}\Gamma, {_\Lambda}\Lambda_{\Lambda})_{\Lambda} $ is projective by Remark 2.2(1).

Let $ X $ be a finitely generated right $ \Lambda $-module satisfying $ {\operatorname{Hom}}_{\Lambda}(X, {\operatorname{Hom}}_{\Lambda}(_{\Lambda}\Gamma_{\Gamma}, {_\Lambda}\Lambda_{\Lambda})^+) = 0 $. Since $ _{\Lambda}\Gamma $ is projective, by [14, P78,Theorem 3.2.11], there are isomorphisms

So, $ {\operatorname{Hom}}_{\Lambda}(_{\Lambda}X, \Lambda^{+}) = 0 $ by the completely faithful property of $ _{\Lambda}\Gamma $. Since $ \Lambda^+ $ is also a cogenerator, $ X = 0 $, which implies that $ {\operatorname{Hom}}_{\Lambda}(_{\Lambda}\Gamma, _{\Lambda}\Lambda)^+ $ is a cogenerator. Thus, we obtain our claim by Lemma 2.6(3).

(2) Since $ {\operatorname{Hom}}_{\Lambda}(_{\Lambda}\Gamma_{\Gamma}, \Lambda)_{\Lambda}\in {\operatorname{add}} \Gamma_{\Lambda} $ by Remark 2.2(1), $ \Gamma $ is a completely faithful right $ \Lambda $-module as desired.

□

Remark 3.3. $ \mathrm{(1)} $ Let $ \Gamma\geq \Lambda $ be a right QF-extension such that $ \Gamma $ is a completely faithful right $ \Lambda $-module. It is not known that $ \Gamma $ is completely faithful as a left $ \Lambda $-module.

$ \mathrm{(2)} $ Let $ \Gamma\geq \Lambda $ be a right QF-extension with $ _{\Lambda}\Gamma $ a generator for $ \Lambda $-modules, then $ \Gamma_{\Lambda} $ is completely faithful by Lemma 3.2. For example, if $ \Gamma $ is an excellent extension of $ \Lambda $. It follows from [6, Proposition 4.3] that $ \Gamma $ is a right QF-extension of $ \Lambda $. By the definition of excellent extensions, $ \Gamma $ is a free $ \Lambda $-module. It follows from Lemma 3.2 that $ \Gamma $ is a completely faithful right $ \Lambda $-module.

Proposition 3.4. Let $ \Gamma\geq \Lambda $ be a right QF-extension, and let $ M\in {\operatorname{mod}}\Lambda $. If $ _{\Lambda}M $ is Gorenstein projective, so is $ _{\Gamma}(\Gamma\otimes_{\Lambda}M) $. Furthermore, if $ _{\Lambda}\Gamma $ is a completely faithful $ \Lambda $-module, then the converse holds.

Proof. By assumption, for any $ i\geq 1 $, we have $ {\operatorname{Ext}}^{i}_{\Lambda}(M, \Lambda) = 0 = {\operatorname{Ext}}^{i}_{\Lambda}(({\operatorname{Tr}} M)_{\Lambda}, \Lambda) $. Since $ \Gamma\geq \Lambda $ is a right QF-extension, one obtains that $ _{\Lambda}\Gamma $ is projective by Remark 2.2(2). By Lemma 3.1(1), one has $ {\operatorname{Ext}}_{\Gamma}^{i}(\Gamma\otimes_{\Lambda}M, \Gamma)\cong {\operatorname{Ext}}_{\Lambda}^{i}(M, \Lambda)\otimes_\Lambda \Gamma = 0 $ for any $ i\geq 1 $. On the other hand, since both $ _\Lambda\Gamma $ and $ \Gamma_\Lambda $ are projective, by Lemma 2.4 and Lemma 3.1(2), for any $ i\geq 1 $, there are isomorphisms

This implies that $ \Gamma\otimes_{\Lambda}M\in \mathcal{FG}(\Gamma) $.

Conversely, assume that $ _{\Lambda}\Gamma $ is completely faithful and $ \Gamma\otimes_{\Lambda}M\in \mathcal{FG}(\Gamma) $. Then, $ {\operatorname{Ext}}_{\Gamma}^i(\Gamma\otimes_{\Lambda}M, \Gamma) = 0 = {\operatorname{Ext}}^i_{\Gamma}({\operatorname{Tr}}(\Gamma\otimes_{\Lambda}M), \Gamma) $ for any $ i\geq 1 $.

By Lemma 3.1(1), one gets $ 0 = {\operatorname{Ext}}_{\Gamma}^i(\Gamma\otimes_{\Lambda}M, \Gamma)\cong {\operatorname{Ext}}_{\Lambda}^i(M, \Lambda)\otimes_{\Lambda}\Gamma $ for any $ i\geq 1 $. Since $ _{\Lambda}\Gamma $ is completely faithful, by Lemma 2.6(2), $ {\operatorname{Ext}}_{\Lambda}^{i}(M, \Lambda) = 0 $ for each $ i\geq 1 $.

It remains to show $ {\operatorname{Ext}}^{\geq 1}_{\Lambda}({\operatorname{Tr}} M, \Lambda) = 0 $. Since $ _{\Lambda}\Gamma $ is projective by Remark 2.2(2), for $ i\geq 1 $, we have

Note that $ \Gamma $ is a completely faithful right $ \Lambda $-module by Lemma 3.2(2), then $ {\operatorname{Ext}}^{\geq 1}_{\Lambda}(({\operatorname{Tr}} M)_{\Lambda}, \Lambda_{\Lambda}) $ = 0. □

Corollary 3.5. Let $ \Gamma\geq \Lambda $ be a right QF-extension with $ _{\Lambda}\Gamma $ completely faithful, and let $ M\in {\operatorname{mod}} \Lambda $. Then

Proof. Since $ \Gamma_{\Lambda} $ is projective, by [6, Proposition 3.2], one obtains $ {\operatorname{Gpd}} {_\Gamma}(\Gamma\otimes_{\Lambda}M)\leq{\operatorname{Gpd}} {_\Lambda}M $.

On the other hand, without loss of generality, let $ {\operatorname{Gpd}}_{\Gamma}(\Gamma \otimes_{\Lambda}M) = n < \infty $. Taking an exact sequence in $ {\operatorname{mod}} \Lambda $,

with each $ G_i\in \mathcal{FG}(\Lambda) $. Applying the exact functor $ \Gamma\otimes_{\Lambda}- $ to the above sequence yields an exact sequence in $ {\operatorname{mod}} \Gamma $

By the first part of Proposition 3.4, one gets $ \Gamma\otimes_{\Lambda}G_i\in \mathcal{FG}(\Gamma) $ for all $ 0\leq i\leq n-1. $ So, $ \Gamma\otimes_{\Lambda}K_n\in \mathcal{FG}(\Gamma) $ by assumption and by [16, Theorem 2.20]. It follows from the second part of Proposition 3.4 that $ K_n\in \mathcal{FG}(\Lambda) $. This implies $ {\operatorname{Gpd}} {_\Lambda}M\leq n $ by [16, Corollary 2.21]. □

Corollary 3.6. Suppose that $ \Gamma\geq \Lambda $ is a right QF-extension of $ \Lambda $ and $ M\in {\operatorname{mod}}\Lambda $. If $ M $ is Gorenstein projective as a $ \Lambda $-module, then so is $ {\operatorname{Hom}}_{\Lambda}(_{\Lambda}\Gamma_{\Gamma}, M) $ as a $ \Gamma $-module.

Proof. Since $ \Gamma\geq \Lambda $ is a right QF-extension, from Remark 2.2 one has $ {\operatorname{Hom}}_{\Lambda}(_{\Lambda}\Gamma_{\Gamma}, M)\cong {\operatorname{Hom}}_{\Lambda}(_{\Lambda}\Gamma_{\Gamma}, \Lambda)\otimes_{\Lambda} M $ $ \in {\operatorname{add}}_{\Gamma}(\Gamma\otimes_{\Lambda}M) $. By Proposition 3.4, $ \Gamma\otimes_{\Lambda}M $ is Gorenstein projective. The assertion follows from [16, Theorem 2.5]. □

Proposition 3.7. Let $ \Gamma $ be a right QF-extension of $ \Lambda $ and $ N\in {\operatorname{mod}}\Gamma $. Suppose that $ N $ is Gorenstein projective as a $ \Gamma $-module, then so is the underlying module $ N $ as a $ \Lambda $-module. Furthermore, the converse holds when $ \Gamma\geq \Lambda $ is separable.

Proof. By assumption, for any $ i\geq 1 $, one has $ {\operatorname{Ext}}^{i}_{\Gamma}(N, \Gamma) = 0 = {\operatorname{Ext}}^{i}_{\Gamma}(({\operatorname{Tr}} N)_{\Gamma}, \Gamma) $. Hence, for each $ i\geq 1 $, $ {\operatorname{Ext}}^{i}_{\Gamma}(_{\Gamma}N, {\operatorname{Hom}}_{\Lambda}(_{\Lambda}\Gamma_{\Gamma}, $ $ \Lambda)) = 0 $, because $ _{\Gamma}{\operatorname{Hom}}_{\Lambda}(_{\Lambda}\Gamma_{\Gamma}, \Lambda) $ is projective by Remark 2.2(1). By Lemma 2.7(1), for any positive integer $ i $, we have

On the other hand, since $ _{\Lambda}\Gamma $ is projective by Remark 2.2(2), for any positive integer $ i $, we have

This means $ _{\Lambda}N\in \mathcal{FG}(\Lambda) $ as desired.

Conversely, assume that $ N\in \mathcal{FG}(\Lambda) $. By the first part of Proposition 3.4, $ \Gamma\otimes_\Lambda N\in \mathcal{FG}(\Gamma) $. Noting that $ \Gamma \geq \Lambda $ is separable, then, by Lemma 2.3, we obtain $ _\Gamma N\in {\operatorname{add}}_{\Gamma}(\Gamma\otimes_\Lambda N) $. Thus, by [16, Theorem 2.5], one gets $ N\in \mathcal{FG}(\Gamma) $. □

Proposition 3.8. Let $ \Gamma \geq \Lambda $ be a right QF-extension, and let $ N\in {\operatorname{mod}} \Gamma $. Then, $ {\operatorname{Gpd}} {_\Lambda}N\leq{\operatorname{Gpd}}{_\Gamma}N $. Moreover, the equality holds true when $ \Gamma \geq \Lambda $ is separable.

Proof. We may assume, without loss of generality, that $ {\operatorname{Gpd}} {_\Gamma}N = m $, then we have the following exact sequence in $ {\operatorname{mod}} \Gamma $:

in $ {\operatorname{mod}} \Gamma $, where each $ {_{\Gamma}D_{i}} $ lies in $ \mathcal{FG}(\Gamma) $. Clearly, the above sequence remains exact in $ {\operatorname{mod}} \Lambda $. Also, by the first part of Proposition 3.7, we have $ _{\Lambda}{D_{i}}\in \mathcal{FG}(\Lambda) $, for each $ 0\leq i\leq m $. This implies $ {\operatorname{Gpd}}{_\Lambda}N\leq m $.

Let $ \Gamma \geq \Lambda $ be a separable right QF-extension, and we have $ _{\Gamma}N\in {\operatorname{add}} _{\Gamma}(\Gamma\otimes_{\Lambda}N) $, by Lemma 2.3. So, one has $ {\operatorname{Gpd}} {_\Gamma}N\leq {\operatorname{Gpd}}{_\Gamma}(\Gamma\otimes_{\Lambda}N)\leq {\operatorname{Gpd}}{_\Lambda}N $ by ([6, Proposition 3.2]. □

Theorem 3.9. If $ \Gamma\geq \Lambda $ is a separable right QF-extension with $ _{\Lambda}\Gamma $ completely faithful, then

Proof. This assertion follows immediately from Lemma 2.5, Corollary 3.5, and the second part of Proposition 3.8. □

Theorem 3.10. Let $ \Gamma $ and $ \Lambda $ be two Artin algebras.

$ \mathrm{(1)} $ Let $ \Gamma \geq \Lambda $ be a right QF-extension with $ _{\Lambda}\Gamma $ completely faithful. If $ \Gamma $ is Gorenstein, then so is $ \Lambda $.

$ \mathrm{(2)} $ Let $ \Gamma \geq \Lambda $ be a separable right QF-extension. If $ \Lambda $ is Gorenstein, then so is $ \Gamma $.

Proof. According to [17, Theorem 1.1], an Artin algebra is Gorenstein precisely when every finitely generated left module has finite Gorenstein projective dimension. (1) follows directly from Corollary 3.5, while (2) is an immediate consequence of the first part of Proposition 3.8. □

Let $ \Lambda $ be an Artin algebra over a commutative Artin ring $ R $. Recall from [18, Section 1] that a $ \Lambda $-module $ M $ is termed semi-Gorenstein projective, provided $ {\operatorname{Ext}}^{\geq 1} _{\Lambda}(M, \Lambda) = 0 $. We write $ ^{\bot}\Lambda = \{X \in {\operatorname{mod}} \Lambda|{\operatorname{Ext}}_{\Lambda}^{\geq 1}(X, \Lambda) = 0 \} $. $ \Lambda $ is termed left weakly Gorenstein, if $ \mathcal{GP}(\Lambda) = {^\bot}\Lambda $. The notion of left weakly Gorenstein algebras is a generalization of that of Gorenstein algebras. Hence, $ \Lambda $ is left weakly Gorenstein if, and only if, every semi-Gorenstein projective $ \Lambda $-module is Gorenstein projective.

Theorem 3.11. Let $ \Gamma $ and $ \Lambda $ be two Artin $ R $-algebras.

$ \mathrm{(1)} $ Let $ \Gamma \geq \Lambda $ be a right QF-extension with $ _{\Lambda}\Gamma $ completely faithful. If $ \Gamma $ is left weakly Gorenstein, then so is $ \Lambda $.

$ \mathrm{(2)} $ Let $ \Gamma \geq \Lambda $ be a separable right QF-extension. If $ \Lambda $ is left weakly Gorenstein, then so is $ \Gamma $.

Proof. (1) Let $ M $ be a semi-Gorenstein projective $ \Lambda $-module. Then, one has $ {\operatorname{Ext}}^{\geq 1} _{\Lambda}(M, \Lambda) = 0 $. By assumption and by Remark 2.2(2), both $ _{\Lambda}\Gamma $ and $ \Gamma_{\Lambda} $ are projective. Then, by Lemma 2.7(1), for any $ i\geq 1 $, we have $ {\operatorname{Ext}}_{\Gamma}^i(\Gamma\otimes_{\Lambda}M, \Gamma)\cong {\operatorname{Ext}}_{\Lambda}^{i}(M, \Gamma) = 0 $, which implies that $ \Gamma \otimes_{\Lambda}M $ is semi-Gorenstein projective. So, $ \Gamma \otimes_{\Lambda}M\in \mathcal{FG}(\Gamma) $ by assumption. It follows from the second part of Proposition 3.4 that $ M\in \mathcal{FG}(\Lambda) $. Hence, $ \Lambda $ is a left weakly Gorenstein algebra.

(2) suppose that $ \Lambda $ is left weakly Gorenstein. Given a semi-Gorenstein $ \Gamma $-module $ N $, by Lemma 2.7(1) and by [6, Proposition 3.2], there are isomorphisms $ {\operatorname{Ext}}^i_{\Lambda}(N, \Lambda)\cong{\operatorname{Ext}}^i_{\Lambda}(\Gamma\otimes_{\Gamma}N, \Lambda)\cong {\operatorname{Ext}}^i_{\Gamma}(_{\Gamma}N, {\operatorname{Hom}}_{\Lambda}(_{\Lambda}\Gamma_{\Gamma}, \Lambda)) $ = 0 for any $ i\geq 1 $, because $ _{\Gamma}{\operatorname{Hom}}_{\Lambda}(_{\Lambda}\Gamma_{\Gamma}, $ $ \Lambda) $ is projective by Remark 2.2(1). It implies that $ N $ is also a semi-Gorenstein $ \Lambda $-module, and, hence, one obtains $ N\in \mathcal{FG}(\Lambda) $ by assumption. Therefore, $ N\in \mathcal{FG}(\Gamma) $ by the second part of Proposition 3.7. Thus, we complete this proof. □

The following lemma is due to Y. Kitamura in ^[19].

Lemma 3.12. [19, Theorem 1.2] Let $ \Gamma\geq \Lambda $ be a right QF-extension and $ N\in {\operatorname{mod}} \Gamma $. If $ _{\Gamma}\Gamma\otimes_{\Lambda}N\in {\operatorname{add}}{_\Gamma}N $, then $ {\operatorname{End}}_{\Lambda}N\geq {\operatorname{End}}_{\Gamma}N $ also is a right QF-extension.

Let $ \Lambda $ be an Artin $ R $-algebra. By $ \mathbf{D}(-) $, we denote the standard duality $ {\operatorname{Hom}}_{R}(-, E(R/rad(R))) $, where $ E(R/rad(R)) $ is the injective envelope of $ R/rad(R) $. Following [11, Section 1], $ \Lambda $ is termed Cohen-Macaulay free, or simply, CM-free, provided $ \mathcal{FG}(\Lambda) = \mathcal{P}(\Lambda) $ (where $ \mathcal{P}(\Lambda) $ is the category of finitely generated projective $ \Lambda $-modules). Additionally, $ \Lambda $ is called Cohen-Macaulay finite[20, Section 8], or simply, CM-finite, if there exists a Gorenstein projective $ \Lambda $-module $ G $ such that $ \mathcal{FG}(\Lambda) = {\operatorname{add}}{_\Lambda}G $, and $ G $ is called a relative generator for $ \mathcal{FG}(\Lambda) $. Clearly, a Cohen-Macaulay free algebra is Cohen-Macaulay finite.

Theorem 3.13. Suppose $ \Gamma $ is a separable right QF-extension of an Artin $ R $-algebra $ \Lambda $. Then,

That is,

$ \mathrm{(1)} $ If $ \Lambda $ is CM-free, then so is $ \Gamma $. Moreover, the converse holds when $ \Gamma $ is a generator for $ {\operatorname{mod}} \Lambda $.

$ \mathrm{(2)} $ If $ \Lambda $ is CM-finite, then so is $ \Gamma $. Moreover, if $ M $ is a relative generator for $ \mathcal{FG}(\Gamma) $, then the ring homomorphism $ \rho: {\operatorname{End}}_{\Gamma}M \to {\operatorname{End}}_{\Lambda}M $ is a right QF-extension.

Proof. (1) For $ N\in \mathcal{FG}(\Gamma) $, one has $ N\in \mathcal{FG}(\Lambda) $ by the first part of Proposition 3.7. Hence, by assumption, one obtains $ _{\Lambda}N\in \mathcal{P}(\Lambda) $. So, $ \Gamma\otimes_{\Lambda}N\in \mathcal{P}(\Gamma) $. Noting that $ \Gamma\geq \Lambda $ is separable, $ _{\Gamma}N\in {\operatorname{add}} _{\Gamma}(\Gamma\otimes_{\Lambda}N) $ by Lemma 2.3. Then, $ _{\Gamma}N $ is projective. Thus, $ \Gamma $ is a CM-free algebra.

Conversely, assume that $ _{\Lambda}\Gamma $ is a generator, and $ \Gamma $ is CM-free. Let $ M\in \mathcal{FG}(\Lambda) $. By Corollary 3.6, we have $ {\operatorname{Hom}}_{\Lambda}(_{\Lambda}\Gamma_{\Gamma}, M)\in \mathcal{FG}(\Gamma) $, which is projective by assumption. Hence, $ \mathbf{D}({\operatorname{Hom}}_{\Lambda}(_{\Lambda}\Gamma_{\Gamma}, M)) $ is an injective right $ \Gamma $-module. By [15, Lemma 3.60], there is an isomorphism $ \mathbf{D}({\operatorname{Hom}}_{\Lambda}(_{\Lambda}\Gamma_{\Gamma}, M))\cong \mathbf{D}M\otimes_{\Lambda}\Gamma $. Hence, $ \mathbf{D}M $ is injective by [3, Proposition 7], which implies that $ M $ is projective. Therefore, $ \Lambda $ is CM-free.

(2) Assume that $ \Lambda $ is Cohen-Macaulay finite, with $ G $ being a relative generator for $ \mathcal{FG}(\Lambda) $. By Proposition 3.4, we have $ \Gamma \otimes_{\Lambda}G\in \mathcal{FG}(\Gamma) $. For any $ X\in \mathcal{FG}(\Gamma) $, one gets $ _{\Lambda}X\in \mathcal{FG}(\Lambda) $ by Proposition 3.7. So, $ _{\Lambda}X\in {\operatorname{add}} _{\Lambda}G $ and, hence, one gets $ _{\Gamma}(\Gamma\otimes_{\Lambda}X)\in {\operatorname{add}}_{\Gamma}(\Gamma\otimes_{\Lambda}G) $. On the other hand, noting that the ring extension $ \Gamma\geq \Lambda $ is separable, we have $ _{\Gamma}X\in {\operatorname{add}} _{\Gamma}(\Gamma \otimes_{\Lambda}X) $. It follows that $ _{\Gamma}X\in {\operatorname{add}}_{\Gamma}(\Gamma\otimes_{\Lambda}G) $, which means that $ \Gamma $ is CM-finite.

By assumption and by the above discussion, one obtains that $ \Gamma $ is Cohen-Maulay finite. If $ M $ is a relative generator for $ \mathcal{FG}(\Gamma) $, then we have that $ M\in \mathcal{FG}(\Lambda) $ by Proposition 3.7. It follows from the first part of Proposition 3.4 that $ _{\Gamma}(\Gamma\otimes_{\Lambda}M)\in \mathcal{FG}(\Gamma) $. So, $ _{\Gamma}(\Gamma\otimes_{\Lambda}M)\in {\operatorname{add}} _{\Gamma}M $ by assumption and by Proposition 3.4, which satisfies the condition of Lemma 3.12. Therefore, $ {\operatorname{End}}_{\Lambda}M \geq{\operatorname{End}}_{\Gamma}M $ is a right QF-extension as a direct consequence of Lemma 3.12. □

Recall that a separable extension $ \Gamma\geq\Lambda $ is said to be strongly separable, if $ M\in {\operatorname{add}} _{\Lambda}(\Gamma\otimes_{\Lambda}M) $ for any $ \Lambda $-module $ M $. Under this condition, $ _{\Lambda}\Gamma $ is a generator for $ \Lambda $-modules. Due to Theorems 3.10 and 3.13, we re-obtain results in ^[7].

Corollary 3.14. Let $ \Gamma $ be a strongly separable quasi-Frobenius extension of $ \Lambda $. Then

$ \mathrm{(1)} $ ([7, Corollary 3.9]) $ \Lambda $ is Gorenstein if, and only if, $ \Gamma $ is Gorenstein.

$ \mathrm{(2)} $ ([7, Corollary 3.10]) $ \Lambda $ is CM-free if, and only if, $ \Gamma $ is CM-free.

Use of AI tools declaration

The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

Acknowledgments

This work was financially supported by NSFC 12061026 and Foundation for University Key Teacher by Henan Province 2019GGJS204.

Conflict of interest

The authors declare there are no conflicts of interest.