On the Gorenstein projective conjecture: IG-projective modules

摘要

Let R be a commutative Noetherian local ring. A finitely generated Gorenstein projective R-module M is called IG-projective if there exists either an irreducible epimorphism P -> M or irreducible monomorphism M -> P with P being a projective R-module. In this paper, we give a note on Gorenstein Projective Conjecture: a finitely generated IG-projective module is projective if and only if it is self-orthogonal.