Stability of Gorenstein Classes of Modules

The purpose of this paper is to give, via totally different techniques, an alternate proof to the main theorem of [18] in the category of modules over an arbitrary ring R. In effect, we prove that this theorem follows from establishing a sequence of equalities between specific classes of R-modules. Actually, we tackle the following natural question: What notion emerges when iterating the very process applied to build the Gorenstein projective and Gorenstein injective modules from complete resolutions? In other words, given an exact sequence of Gorenstein injective R-modules G= ⋯ → G₁→ G₀→ G_-1→ ⋯ such that the complex Hom_R(H,G) is exact for each Gorenstein injective R-module H, is the module Im(G₀→ G_-1) Gorenstein injective? We settle such a question in the affirmative and the dual result for the Gorenstein projective modules follows easily via a similar treatment to that used in this paper. As an application, we provide the Gorenstein versions of the change of rings theorems for injective modules over an arbitrary ring.