The Existence of Gorenstein Injective Envelopes

Let R be a commutative Noetherian ring. We prove that every R-module N of finite Gorenstein injective dimension has a Gorenstein injective envelope : N ! G where injective dimension of Ker is finite and is injective.