Relative copure injective and copure flat modules.
type: Item
instance of: scholarly article
title: Relative copure injective and copure flat modules.
zbMATH Open document ID: 1113.16014
published in: Journal of Pure and Applied Algebra
publication date: 2007-02-02T00:00:00Z
review text: Let \(R\) be a ring. The notation \(I_n\) (resp. \(F_n\)) is used for the class of all left (resp. right) \(R\)-modules of injective (resp. flat) dimension at most \(n\). A left \(R\)-module \(M\) (resp. right \(R\)-module \(F\)) is defined to be \(n\)-copure injective (resp. \(n\)-copure flat) if \(\text{Ext}^1(N,M)=0\) (resp. \(\text{Tor}_1(F,N)=0\)) for any \(N\) in \(I_n\). Clearly \(0\)-copure injectivity (resp. 0-copure flatness) is exactly copure injectivity (resp. copure flatness) which has been widely studied. The concepts are also noted to coincide with Gorenstein injectivity and Gorenstein flatness over an \(n\)-Gorenstein ring \(R\) (resp. left and right Noetherian ring with \(\text{id}(_RR)\leq n\) and \(\text{id}(R_R)\leq n)\). \(n\)-copure injectives are characterized as the kernels of \(I_n\)-precovers of injective modules. If \(S\) is a simple ring, the concepts of \(n\)-copure injectivity and flatness are respectively characterized in terms of preservation under \(\Hom(F,-)\) and \(F\otimes-\) for all flat \(R\)-modules \(F\). If \(R\) is a left coherent ring and \(M\) a finitely presented right \(R\)-module, then \(M\) is \(n\)-copure flat if and only if \(M\) is the cokernel of an \(F_n\)-pre-envelope \(K\to F\) of a right \(R\)-module \(K\) with \(F\) flat. Left IF and QF rings are characterized with respect to \(n\)-copure injectivity or \(n\)-copure flatness of certain modules. For left Noetherian rings with \(\text{id}(_RR)\leq n\), it is shown that \(\text{l\,D}(R)<\infty\) if and only if every \(n\)-copure injective module is injective or if and only if every \(n\)-copure flat right \(R\)-module is flat. The paper closes with a section on copure injective covers and copure flat envelopes. Some results are found for specific rings, for example, for a commutative Artinian ring \(R\), \(\text{id}(R)\leq 1\) is shown to be equivalent to the existence of epic copure flat envelopes or to the existence of monic copure injective covers.
Mathematics Subject Classification ID: 16E10
Mathematics Subject Classification ID: 16D50
Mathematics Subject Classification ID: 16D40
Mathematics Subject Classification ID: 16E30
zbMATH DE Number: 5121400
zbMATH Keywords: copure injective modules
zbMATH Keywords: copure flat modules
zbMATH Keywords: pre-covers
zbMATH Keywords: pre-envelopes
zbMATH Keywords: relative covers
zbMATH Keywords: relative envelopes
zbMATH Keywords: homological dimensions
author: Lixin Mao
author: Nanqing Ding
reviewed by: Frieda Theron
MaRDI profile type: Publication
Wikidata QID: Q114155534
full work available at URL: j.jpaa.2006.03.002
OpenAlex ID: W2146462344
cites work: Envelopes and covers by modules of finite injective and projective dimensions
cites work: Modules with decompositions that complement direct summands
cites work: Injective Dimension in Noetherian Rings
cites work: Q3240881
cites work: On the exactness of flat resolvents
cites work: Rings which have flat injective modules
cites work: On copure flat modules and flat resolvents
cites work: On envelopes with the unique mapping property
cites work: Injective and flat covers, envelopes and resolvents
cites work: COPURE INJECTIVE MODULES
cites work: Q3137402
cites work: Relative homological algebra
cites work: The existence of Gorenstein flat covers
cites work: Relative injective covers
cites work: On rings with finite self-injective dimension. II
cites work: Injective modules over Noetherian rings
cites work: Q3882615
cites work: Strongly torsion free, copure flat and Matlis reflexive modules
cites work: Injective modules and prime ideals
cites work: Q4049223
cites work: Endomorphism Rings of Projective Modules
cites work: Flat covers of modules
DOI: 10.1016/J.JPAA.2006.03.002
description: scientific article; zbMATH DE number 5121400