Acyclic Complexes and Gorenstein Rings

Sergio Estrada, Alina Iacob, Holly Zolt

Research output: Contribution to journalArticlepeer-review

2 Scopus citations

Abstract

For a given class of modules A, let à be the class of exact complexes having all cycles in A, and dw(A) the class of complexes with all components in A. Denote by GI the class of Gorenstein injective R-modules. We prove that the following are equivalent over any ring R: every exact complex of injective modules is totally acyclic; every exact complex of Gorenstein injective modules is in GĨ; every complex in dw(GI) is dg-Gorenstein injective. The analogous result for complexes of flat and Gorenstein flat modules also holds over arbitrary rings. If the ring is n-perfect for some integer n ≥ 0, the three equivalent statements for flat and Gorenstein flat modules are equivalent with their counterparts for projective and projectively coresolved Gorenstein flat modules. We also prove the following characterization of Gorenstein rings. Let R be a commutative coherent ring; then the following are equivalent: (1) every exact complex of FP-injective modules has all its cycles Ding injective modules; (2) every exact complex of flat modules is F-totally acyclic, and every R-module M such that M+ is Gorenstein flat is Ding injective; (3) every exact complex of injectives has all its cycles Ding injective modules and every R-module M such that M+ is Gorenstein flat is Ding injective. If R has finite Krull dimension, statements (1)-(3) are equivalent to (4) R is a Gorenstein ring (in the sense of Iwanaga).

Original languageEnglish
Pages (from-to)575-586
Number of pages12
JournalAlgebra Colloquium
Volume27
Issue number3
DOIs
StatePublished - Sep 1 2020

Scopus Subject Areas

  • Algebra and Number Theory
  • Applied Mathematics

Keywords

  • Ding injective module
  • Gorenstein flat module
  • Gorenstein injective module
  • Gorenstein projective module
  • totally acyclic complex

Fingerprint

Dive into the research topics of 'Acyclic Complexes and Gorenstein Rings'. Together they form a unique fingerprint.

Cite this