2017/02/09 by Christensen, Lars Winther, Kato, Kiriko · 1 citation
#13D02 #13H10 #Commutative Algebra (math.AC) #FOS: Mathematics
paper · doi:10.48550/arxiv.1702.02986
A commutative noetherian ring with a dualizing complex is Gorenstein if and only if every acyclic complex of injective modules is totally acyclic. We extend this characterization, which is due to Iyengar and Krause, to arbitrary commutative noetherian rings, i.e. we remove the assumption about a dualizing complex. In this context Gorenstein, of course, means locally Gorenstein at every prime.