On Stability of Gorenstein Categories

Aimin Xu,Nanqing Ding
DOI: https://doi.org/10.1080/00927872.2012.677892
2013-01-01
Communications in Algebra
Abstract:We show that an iteration of the procedure used to define the Gorenstein projective modules over a ring R yields exactly the Gorenstein projective modules. Specifically, given an exact sequence of Gorenstein projective left R-modules G = ...G(1)G(0)G(0)G(1)... such that the complex Hom(R)(G, H) is exact for each projective left R-module H, the module Im(G(0)G(0)) is Gorenstein projective. We also get similar results for Gorenstein flat left R-modules when R is a right coherent ring. As applications, we obtain the corresponding results for Gorenstein complexes.
What problem does this paper attempt to address?