Stability of Gorenstein categories

We show that an iteration of the procedure used to define theGorenstein projective modules over a commutative ring R yieldsexactly the Gorenstein projective modules. Specifically, givenan exact sequence of Gorenstein projective R-modules

such that the complexes Hom_R(G, H) and Hom_R(H,G) are exact for each Gorenstein projective R-module H, themodule Coker() is Gorensteinprojective. The proof of this result hinges upon our analysisof Gorenstein subcategories of abelian categories.