Exact envelopes of complexes

From MaRDI portal





Let \(\mathbf C\) be the Abelian category of complexes of left \(R\)-modules, where \(R\) is an associative ring with unit element not necessarily commutative. A complex \(D\) is called DG-injective (resp. DG-projective) if \(D^n\) is injective (resp. projective) for all integers \(n\) and for any exact complex \(E\), the complex \(\Hom(E,D)\) is exact (resp. \(\Hom(D,E)\) is exact). Given a class of objects \(\mathbf A\) of any Abelian category \(\mathbf C\) it is very interesting to know the existence of \(\mathbf A\)-covers and \(\mathbf A\)-envelopes for any object of \(\mathbf C\). The authors study this question for the category of complexes. Any complex has a DG-projective envelope if and only if \(R\) is left perfect, and this is also equivalent to the fact that any complex has an exact envelope. If \(R\) is an Iwanaga-Gorenstein ring (i.e., it is left and right Noetherian and it has finite self-injective dimension on both sides), every complex of left \(R\)-modules has a DG-injective cover if and only if \(R\) has finite left global dimension.











This page was built for publication: Exact envelopes of complexes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4238105)