Matematisk Afdeling, Københavns Universitet, Universitetsparken 5, 2100 Kobenhavn Ø, Danmark
Abstract:
In this paper we prove that for any associative ring , and for any left -module with finite projective dimension, the Gorenstein injective dimension equals the usual injective dimension . In particular, if is finite, then also is finite, and thus is Gorenstein (provided that is commutative and Noetherian).