On a non-vanishing Ext
In this paper, we define Gorenstein injective rings, Gorenstein injective modules and their envelopes. The main topic of this paper is to show that if is a Gorenstein integral domain and is a left -module, then the torsion submodule of Gorenstein injective envelope of is also Gorenstein injective. We can also show that if is a torsion -module of a Gorenstein injective integral domain , then the Gorenstein injective envelope of is torsion.