Abstract
Let R be a commutative Noetherian ring and A an Artinian R-module. We prove that if A has finite Gorenstein injective dimension, then A possesses a Gorenstein injective envelope which is special and Artinian. This, in particular, yields that over a Gorenstein ring any Artinian module possesses a Gorenstein injective envelope which is special and Artinian.
ACKNOWLEDGMENT
The authors wish to thank Professor Edgar E. Enochs for his interest and comments on this work.
Notes
Communicated by V. Walther.