Cartan-Eilenberg complexes and resolutions
type: Item
instance of: scholarly article
title: Cartan-Eilenberg complexes and resolutions
zbMATH Open document ID: 1246.18005
author: E. Enochs
published in: Journal of Algebra
publication date: 2012-02-10T00:00:00Z
review text: The Cartan-Eilenberg injective complexes (CE injective for short) were introduced by Verdier in his thesis. In this paper, the author defines a more general notion, that of a CE(\(\mathcal{F}\)) complex, for any class \(\mathcal{F}\) of left \(R\)-modules (Definition 3.1): \(A\) is a CE(\(\mathcal{F}\)) complex if \(A\), \(Z(A)\), \(B(A)\), and \(H(A)\) are all complexes of modules from \(\mathcal{F}\). The article studies Cartan-Eilenberg injective, projective and flat complexes and shows how they can be used to get Cartan-Eilenberg resolutions. It is proved that every complex has a CE injective envelope (Theorem 4.1). Then it is proved that a complex is Cartan-Eilenberg flat if and only if it is a direct limit of finitely generated Cartan-Eilenberg projective complexes (Theorem 7.2). Proposition 7.3 establishes the existence of the CE flat covers. The Cartan-Eilenberg balance is also considered (Proposition 6.3): the functor \(\text{Hom}(-,-)\) on \(C(R\text{-Mod}) \times C(R\text{-Mod})\) is right balanced by \(CE Proj \times CE Inj\) where \(CE Proj\) and \(CE Inj\) are the classes of Cartan-Eilenberg projective and injective complexes respectively. The right derived functors of \(\text{Hom}(-,-)\) obtained this way are denoted \(\overline{\text{Ext}}^n(-,-)\). The Cartan-Eilenberg Gorenstein injective and projective complexes are also defined. There are two options for defining a CE Gorenstein injective (projective) complex: one is to use Definition 3.1 with \(\mathcal{F}\) being the class of Gorenstein injective (projective) modules, the other one is to define such a complex in terms of a complete injective (projective) resolution. The author shows (theorem 8.5) that the two definitions are equivalent. Section 9 of the paper deals with CE cotorsion pairs; the main result here (Theorem 9.4) is that if \((\mathcal{F}, \mathcal{C})\) is a hereditary cotorsion pair in \(R\text{-Mod}\) then \((CE(\mathcal{F}), CE(\mathcal{C}))\) is a hereditary cotorsion pair in \(…
Mathematics Subject Classification ID: 18G05
Mathematics Subject Classification ID: 18G25
Mathematics Subject Classification ID: 18G35
zbMATH DE Number: 6005094
zbMATH Keywords: Cartan-Eilenberg projective
zbMATH Keywords: injective complex
zbMATH Keywords: flat complex
zbMATH Keywords: Gorenstein injective complex
zbMATH Keywords: Gorenstein projective complex
zbMATH Keywords: hereditary cotorsion pair
reviewed by: A. Iacob
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2011.05.011
OpenAlex ID: W2027230017
cites work: ALL MODULES HAVE FLAT COVERS
cites work: Q3240881
cites work: Zur Homotopietheorie der Kettenkomplexe
cites work: Relative homological algebra
cites work: Q3836846
cites work: Q4271869
cites work: Cotorsion pairs and degreewise homological model structures
cites work: Kaplansky classes and derived categories
cites work: Approximations and endomorphism algebras of modules.
cites work: Cotorsion pairs, model category structures, and representation theory
cites work: Autour de la platitude
cites work: Elementary varieties and existence of flat covers
cites work: Flat covers in abelian and in non-abelian categories
cites work: Q3861607
DOI: 10.1016/J.JALGEBRA.2011.05.011
description: scientific article; zbMATH DE number 6005094