Gorenstein homological properties and quasi-Frobenius bimodules (Q2151474)

In the paper under review, the authors establish relations of Gorenstein homological properties of modules and rings linked by a fixed quasi-Frobenius bimodule. In Section 2, for a fixed quasi-Frobenius \(S\)-\(R\)-bimodule \(X\), the authors prove the following: (1) For any left \(R\)-module \(M\), Gorenstein projective (resp., injective, flat) dimension of \(X\otimes_R M\) over \(S\) is less than or equal to that of \(M\) over \(R\). (2) For any left \(S\)-module \(M\), Gorenstein projective (resp., injective, flat) dimension of \(\Hom_S(X,M)\) over \(R\) is less than or equal to that of \(M\) over \(S\). (3) Under the additional assumptions that \(S\) is strongly \(X\)-separable over \(R\), and \(S,R\) are Artin algebras, (3a) \(R\) is Cohen-Macaulay finite (resp., free) if and only if so is \(S\), (3b) \(R\) is virtually Gorenstein if and only if so is \(S\). In Section~3, the authors consider the Gorenstein homological dimensions under quasi-Frobenius extension as a special case of quasi-Frobenius bimodules. Particularly, let \(R \subset S\) be a strongly separable quasi-Frobenius extension. The left Gorenstein global dimensions and the left finitistic Gorenstein projective dimensions of rings \(S\) and \(R\) are equal. Moreover, \(R\) is left-Gorenstein (resp., quasi-Frobenius, Cohen-Macaulay finite, Cohen-Macaulay free) if and only if so is \(S\).