Gorenstein balance of Hom and tensor (Q1904457)

The authors previously defined [Math. Z. (to appear)] the notion of a Gorenstein injective module as a dualization of modules which have Gorenstein dimension zero (as defined by \textit{M. Auslander} and \textit{M. Bridger} [Mem. Am. Math. Soc. 94 (1969; Zbl 0204.36402)] and referred to here as Gorenstein projective modules). Gorenstein injective (pre)envelopes were also defined there. In this paper they show that, over an \(n\)-Gorenstein ring \(R\) (i.e. left and right noetherian and of self-injective dimension at most \(n\) on both sides), every \(R\)-module \(N\) has a Gorenstein injective preenvelope. A Gorenstein injective (resp. projective) resolution is defined as well as the Gorenstein injective (resp. projective) dimension of a module \(N\), denoted \(\text{G-id }N\) (resp. \(\text{G-pd }N\)). For \(R\) a left and right noetherian ring, the \(n\)-Gorenstein rings are characterized in terms of the existence of Gorenstein injective (resp. projective) preenvelopes (resp. precovers) and G-id (resp. G-pd). If \(R\) is Gorenstein, then the right derived functors of \(\Hom(-,-)\) computed using either a resolution of \(M\) by finitely generated Gorenstein projective modules or one of \(N\) by Gorenstein injective modules are denoted by \(\text{GExt}^i(M,N)\). The properties of GExt are investigated. It is also shown that \(\Hom(-,-)\) is right balanced by Gorenstein projective and injective modules in a suitable category and, similarly, that \(-\otimes-\) is left balanced by finitely generated Gorenstein projective modules (left and right).