When are IG-projective modules projective?

R. Luo,D. M. Jian,D.M. Jian

DOI: https://doi.org/10.48550/arXiv.1308.3834

IF: 0.6

2013-08-18

Representation Theory

Abstract:This paper concerns when a finitely generated IG-projective module is projective over commutative Noetherian local rings. We prove that a finitely generated IG-projective module is projective if and only if it is selforthogonal.

What problem does this paper attempt to address?

Gorenstein-projective Modules over Short Local Algebras

Claus Michael Ringel,Pu Zhang

DOI: https://doi.org/10.1112/jlms.12577

2022-01-01

Journal of the London Mathematical Society

Abstract:Following the well-established terminology in commutative algebra, any (not necessarily commutative) finite-dimensional local algebra.. with radical.. will be said to be short provided J(3) = 0. As in the commutative case, we show: If a short local algebra.. has an indecomposable non-projective Gorenstein-projective module M, then either A is self-injective (so that all modules are Gorenstein-projective) and then, of course, vertical bar J(2)vertical bar <= 1, or else vertical bar J(2)vertical bar = vertical bar J/J(2)vertical bar - 1 and vertical bar JM vertical bar = vertical bar J(2)vertical bar vertical bar M/JM vertical bar. More generally, we focus the attention to semi-Gorensteinprojective and 8-torsionfree modules, even to Omega-paths of length 2, 3 and 4. In particular, we show that the existence of a non-projective reflexive module implies that vertical bar J(2)vertical bar < vertical bar J/J(2)vertical bar and further restrictions. In addition, we consider exact complexes of projective modules with a non-projective image. Again, as in the commutative case, we see that if such a complex exists, then.. is self-injective or satisfies the condition vertical bar J(2)vertical bar = vertical bar J/J(2)vertical bar - 1. Also, we show that any non-projective semi-Gorensteinprojective module M satisfies Ext(1)(M, M) not equal 0. In this way, we prove the Auslander-Reiten conjecture (one of the classical homological conjectures) for arbitrary short local algebras. Many arguments used in the commutative case actually work in general, but there are interesting differences and some of our results may be new also in the commutative case.
Gorenstein Projective Modules over a Class of Generalized Matrix Algebras and Their Applications

Fang Li,Chang Ye

DOI: https://doi.org/10.1007/s10468-014-9512-9

2014-01-01

Algebras and Representation Theory

Abstract:In this article, we introduce a class of generalized matrix algebras, in which each algebra is called a normally upper triangular gm algebra, and characterise Gorenstein projective modules over this class of algebras. Moreover, a sufficient condition of strongly Gorenstein projective modules over normally upper triangular gm algebras is given. The importance of normally upper triangular gm algebras for us is that it includes the so-called path algebras of quivers over algebras and generalized path algebras. Due to this, we characterize Gorenstein projective modules and strongly Gorenstein projective modules over path algebras of quivers over algebras and generalized path algebras as applications of the main results on normally upper triangular gm algebras. At last, we give an example to show how all indecomposable Gorenstein projective modules over a given algebra are constructed by the result on generalized path algebras.
Projectively coresolved Gorenstein flat and ding projective modules

Alina Iacob

DOI: https://doi.org/10.1080/00927872.2020.1723612

2020-02-11

Communications in Algebra

Abstract:We give necessary and sufficient conditions in order for the class of projectively coresolved Gorenstein flat modules, <math>PGF</math> (respectively that of projectively coresolved Gorenstein <math>B</math> flat modules, <math>PGFB</math>), to coincide with the class of Ding projective modules (<math>DP).</math> We show that <math>PGF=DP</math> if and only if every Ding projective module is Gorenstein flat. This is the case if the ring R is coherent for example. We include an example to show that the coherence is a sufficient, but not a necessary condition in order to have <math>PGF=DP.</math> We also show that <math>PGF=DP</math> over any ring R of finite weak Gorenstein global dimension (this condition is also sufficient, but not necessary). We prove that if the class of Ding projective modules, <math>DP,</math> is covering then the ring R is perfect. And we show that, over a coherent ring R, the converse also holds. We also give necessary and sufficient conditions in order to have <math>PGF=GP,</math> where <math>GP</math> is the class of Gorenstein projective modules.Communicated by Ellen Kirkman

mathematics
Module factorizations and Gorenstein projective modules

Xiao-Wu Chen

2024-02-22

Abstract:For a regular normal element in an arbitrary ring, we study the category of its module factorizations. The cokernel functor relates module factorizations with Gorenstein projective components to Gorenstein projective modules over the quotient ring. The results are vast extensions of Eisenbud's matrix factorization theorem.

Rings and Algebras,Mathematical Physics,Representation Theory
Gorenstein-projective and Semi-Gorenstein-projective Modules. II

Claus Michael Ringel,Pu Zhang

DOI: https://doi.org/10.2140/ant.2020.14.1

2020-01-01

Algebra & Number Theory

Abstract:Let k be a field and q a non-zero element of k. In Part I, we have exhibited a 6-dimensional k-algebra A = A(q) and we have shown that if q has infinite multiplicative order, then A has a 3-dimensional local module which is semi-Gorenstein-projective, but not torsionless, thus not Gorenstein-projective. This Part II is devoted to a detailed study of all the 3-dimensional local A-modules for this particular algebra A. If q has infinite multiplicative order, we will encounter a whole family of 3-dimensional local modules which are semi-Gorenstein-projective, but not torsionless.
Flat modules over valuation rings

F. Couchot

DOI: https://doi.org/10.1016/j.jpaa.2007.01.010

IF: 0.834

2007-10-01

Journal of Pure and Applied Algebra

Abstract:Let R be a valuation ring and let Q be its total quotient ring. It is proved that any singly projective (respectively flat) module is finitely projective if and only if Q is maximal (respectively artinian). It is shown that each singly projective module is a content module if and only if any non-unit of R is a zero-divisor and that each singly projective module is locally projective if and only if R is self-injective. Moreover, R is maximal if and only if each singly projective module is separable, if and only if any flat content module is locally projective. Necessary and sufficient conditions are given for a valuation ring with non-zero zero-divisors to be strongly coherent or π-coherent.A complete characterization of semihereditary commutative rings which are π-coherent is given. When R is a commutative ring with a self-FP-injective quotient ring Q, it is proved that each flat R-module is finitely projective if and only if Q is perfect.

mathematics, applied
Gorenstein projective precovers and finitely presented modules

Sergio Estrada,Alina Iacob

2023-04-23

Abstract:The existence of the Gorenstein projective precovers over arbitrary rings is an open question. It is known that if the ring has finite Gorenstein global dimension, then every module has a Gorenstein projective precover. We prove here a "reduction" property - we show that, over any ring, it suffices to consider finitely presented modules: if there exists a nonnegative integer $n$ such that every finitely presented module has Gorenstein projective dimension $\le n$, then the class of Gorenstein projective modules is special precovering.

Commutative Algebra
On the projective dimension of tensor products of modules

Olgur Celikbas,Souvik Dey,Toshinori Kobayashi

2023-04-10

Abstract:In this paper we consider a question of Roger Wiegand, which is about tensor products of finitely generated modules that have finite projective dimension over commutative Noetherian rings. We construct modules of infinite projective dimension (and of infinite Gorenstein dimension) whose tensor products have finite projective dimension. Furthermore we determine nontrivial conditions under which such examples cannot occur. For example we prove that, if the tensor product of two nonzero modules, at least one of which is totally reflexive (or equivalently Gorenstein-projective), has finite projective dimension, then both modules in question have finite projective dimension.

Commutative Algebra
TC-Gorenstein projective, LC-Gorenstein injective and HC-Gorenstein flat modules

Zhen Zhang,Xiaosheng Zhu,Xiaoguang Yan

DOI: https://doi.org/10.1007/s11401-013-0811-y

2014-01-01

Chinese Annals of Mathematics Series B

Abstract:The authors introduce and investigate the -Gorenstein projective, -Gorenstein injective and -Gorenstein flat modules with respect to a semidualizing module C which shares the common properties with the Gorenstein projective, injective and flat modules, respectively. The authors prove that the classes of all the -Gorenstein projective or the -Gorenstein flat modules are exactly those Gorenstein projective or flat modules which are in the Auslander class with respect to C, respectively, and the classes of all the -Gorenstein injective modules are exactly those Gorenstein injective modules which are in the Bass class, so the authors get the relations between the Gorenstein projective, injective or flat modules and the C-Gorenstein projective, injective or flat modules. Moreover, the authors consider the (R)-projective and (R)-injective dimensions and (R)-precovers and (R)-preenvelopes. Finally, the authors study the -Gorenstein flat modules and extend the Foxby equivalences.
Strict Mittag-Leffler Conditions and Gorenstein Modules

Yanjiong Yang,Xiaoguang Yan,Xiaosheng Zhu

DOI: https://doi.org/10.1007/s10468-016-9626-3

2016-01-01

Algebras and Representation Theory

Abstract:In this paper, firstly, we characterize some rings by strict Mittag-Leffler conditions. Then, we investigate when Gorenstein projective modules are Gorenstein flat by employing tilting modules and cotorsion pairs. Finally, we study the direct limits of Gorenstein projective modules.
GORENSTEIN-PROJECTIVE MODULES OVER TRIANGULAR MATRIX ARTIN ALGEBRAS

Bao-Lin Xiong,Pu Zhang

DOI: https://doi.org/10.1142/s0219498812500661

2012-01-01

Journal of Algebra and Its Applications

Abstract:Let be an Artin algebra. Under suitable conditions, we describe all the modules in ⊥Λ, and obtain criteria for the Gorensteinness of Λ. As applications, we determine explicitly all the Gorenstein-projective Λ-modules if Λ is Gorenstein, and all the Gorenstein-projective Tn(A)-modules if A is Gorenstein.
Some Remarks on Gorenstein Projective Precovers

Víctor Becerril

2024-04-25

Abstract:In this paper, we prove that for a $n$-perfect ring $R$ various classes of relative Gorenstein projective $R$-modules are special precovering, among them including the Gorenstein projectives and Ding projectives. Also we prove that the class of projectively coresolved Gorenstein flat $\mathcal{PGF} (R)$ fulfils the same feature. We also introduce a new class of Gorenstein projective $R$-modules relative to the Auslander class $\mathcal{A} _{C} (R)$ of a semidualizing $(R,S)$-bimodule $_R C_S$.

Rings and Algebras
Gorenstein projective and weak Gorenstein flat modules

Jun Dong,Jie Wei

DOI: https://doi.org/10.1080/00927872.2024.2395988

2024-09-08

Communications in Algebra

Abstract:Let R be a ring such that all flat R -modules have finite strongly FP-injective dimension. We obtain that the class of all Gorenstein projective modules forms a left-hand class of complete and hereditary cotosion pair. As applications, we prove that the same behavior holds for the class of all weak Gorenstein flat modules. We also obtain a characterization of global Gorenstein flat-cotorsion dimension of rings in terms of weak Gorenstein flat modules.

mathematics
Some Remarks on Projective Generators and Injective Cogenerators

Li Liang,Nan Qing Ding,Gang Yang

DOI: https://doi.org/10.1007/s10114-014-3227-z

2014-01-01

Abstract:In this paper, we give a relationship between projective generators (resp., injective cogenerators) in the category of R-modules and the counterparts in the category of complexes of R-modules. As a consequence, we get that complexes of W-Gorenstein modules are actually Open image in new window -Gorenstein complexes whenever W is a subcategory of R-modules satisfying W ⊥ W, where Open image in new window is the subcategory of exact complexes with all cycles in W. We also study when all cycles of a Open image in new window -Gorenstein complexes are W-Gorenstein modules.
NOTES ON FP-PROJECTIVE MODULES AND FP-INJECTIVE MODULES

LX Mao,NQ Ding

DOI: https://doi.org/10.1142/9789812701671_0015

2005-01-01

Abstract:In this paper, we study the FP-projective dimension under changes of rings, especially under (almost) excellent extensions of rings. Some descriptions of FP-injective envelopes are also given.
𝒯_C -Gorenstein projective, ℒ_C -Gorenstein injective and ℋ_C -Gorenstein flat modules

Zhen Zhang,Xiaosheng Zhu,Xiaoguang Yan

DOI: https://doi.org/10.1007/s11401-013-0811-y

2014-01-01

Abstract:The authors introduce and investigate the 𝒯_C -Gorenstein projective, ℒ_C -Gorenstein injective and ℋ_C -Gorenstein flat modules with respect to a semidualizing module C which shares the common properties with the Gorenstein projective, injective and flat modules, respectively. The authors prove that the classes of all the 𝒯_C -Gorenstein projective or the ℋ_C -Gorenstein flat modules are exactly those Gorenstein projective or flat modules which are in the Auslander class with respect to C , respectively, and the classes of all the ℒ_C -Gorenstein injective modules are exactly those Gorenstein injective modules which are in the Bass class, so the authors get the relations between the Gorenstein projective, injective or flat modules and the C -Gorenstein projective, injective or flat modules. Moreover, the authors consider the 𝒯_C ( R )-projective and ℒ_C ( R )-injective dimensions and 𝒯_C ( R )-precovers and ℒ_C ( R )-preenvelopes. Finally, the authors study the ℋ_C -Gorenstein flat modules and extend the Foxby equivalences.
Strongly Gorenstein projective, injective, and flat modules

Driss Bennis,Najib Mahdou

DOI: https://doi.org/10.48550/arXiv.math/0606770

2006-06-30

Abstract:In this paper, we study a particular case of Gorenstein projective, injective, and flat modules, which we call, respectively, strongly Gorenstein projective, injective, and flat modules. These last three modules give us a new characterization of the first modules, and confirm that there is an analogy between the notion of Gorenstein projective, injective, and flat modules and the notion of the usual projective, injective, and flat modules.

Commutative Algebra
On the Projective-Injective Modules over Cellular Algebras

YZ Cao

DOI: https://doi.org/10.1090/s0002-9939-03-07268-x

IF: 0.9709

2003-01-01

Proceedings of the American Mathematical Society

Abstract:We show that the projective module P over a cellular algebra is injective if and only if the socle of P coincides with the top of P, and this is also equivalent to the condition that the mth socle layer of P is isomorphic to the mth radical layer of P for each positive integer m. This eases the process of determining the Loewy series of the projective-injective modules over cellular algebras.
Relative Projective Modules and Relative Injective Modules

Lixin Mao,Nanqing Ding

DOI: https://doi.org/10.1080/00927870600649111

2006-01-01

Communications in Algebra

Abstract:Let R be a ring, and n and d fixed non-negative integers. An R-module M is called (n, d)-injective if Ext d+1 R (P, M) = 0 for any n-presented R-module P. M is said to be (n, d)-projective if Ext1 R (M, N) = 0 for any (n, d)-injective R-module N. We use these concepts to characterize n-coherent rings and (n, d)-rings. Some known results are extended.
Big pure projective modules over commutative noetherian rings: Comparison with the completion

Dolors Herbera,Pavel Příhoda,Roger Wiegand

DOI: https://doi.org/10.1515/forum-2024-0031

2024-09-03

Forum Mathematicum

Abstract:A module over a ring R is pure projective provided it is isomorphic to a direct summand of a direct sum of finitely presented modules. We develop tools for the classification of pure projective modules over commutative noetherian rings. In particular, for a fixed finitely presented module M, we consider Add ⁡ ( M ) {\operatorname{Add}(M)} , which consists of direct summands of direct sums of copies of M. We are primarily interested in the case where R is a one-dimensional, local domain, and in torsion-free (or Cohen–Macaulay) modules. We show that, even in this case, Add ⁡ ( M ) {\operatorname{Add}(M)} can have an abundance of modules that are not direct sums of finitely generated ones. Our work is based on the fact that such infinitely generated direct summands are all determined by finitely generated data. Namely, idempotent/trace ideals of the endomorphism ring of M and finitely generated projective modules modulo such idempotent ideals. This allows us to extend the classical theory developed to study the behaviour of direct sum decomposition of finitely generated modules comparing with their completion to the infinitely generated case. We study the structure of the monoid V * ⁢ ( M ) {V^{*}(M)} , of isomorphism classes of countably generated modules in Add ⁡ ( M ) {\operatorname{Add}(M)} with the addition induced by the direct sum. We show that V * ⁢ ( M ) {V^{*}(M)} is a submonoid of V * ⁢ ( M ⊗ R R ^ ) {V^{*}(M\otimes_{R}\widehat{R})} , this allows us to make computations with examples and to prove some realization results.

mathematics, applied

When are IG-projective modules projective?

Gorenstein-projective Modules over Short Local Algebras

Gorenstein Projective Modules over a Class of Generalized Matrix Algebras and Their Applications

Projectively coresolved Gorenstein flat and ding projective modules

Module factorizations and Gorenstein projective modules

Gorenstein-projective and Semi-Gorenstein-projective Modules. II

Flat modules over valuation rings

Gorenstein projective precovers and finitely presented modules

On the projective dimension of tensor products of modules

TC-Gorenstein projective, LC-Gorenstein injective and HC-Gorenstein flat modules

Strict Mittag-Leffler Conditions and Gorenstein Modules

GORENSTEIN-PROJECTIVE MODULES OVER TRIANGULAR MATRIX ARTIN ALGEBRAS

Some Remarks on Gorenstein Projective Precovers

Gorenstein projective and weak Gorenstein flat modules

Some Remarks on Projective Generators and Injective Cogenerators

NOTES ON FP-PROJECTIVE MODULES AND FP-INJECTIVE MODULES

𝒯_C -Gorenstein projective, ℒ_C -Gorenstein injective and ℋ_C -Gorenstein flat modules

Strongly Gorenstein projective, injective, and flat modules

On the Projective-Injective Modules over Cellular Algebras

Relative Projective Modules and Relative Injective Modules

Big pure projective modules over commutative noetherian rings: Comparison with the completion