Virtual Gorensteinness over group algebras. (Q2342117)

An Artin algebra \(\Lambda\) is called left (resp. right) Gorenstein if \(\Lambda\) viewed as a left (resp. right) module has finite injective dimension and it is called Gorenstein if it is both left and right Gorenstein. The problem of understanding the Gorenstein symmetry conjecture, provides a motivation for studying the class of virtually Gorenstein algebras. It is known that if \(\Lambda\) is virtually Gorenstein, then the Gorenstein symmetry conjecture is true for \(\Lambda\). An algebra \(\Lambda\) is said to be virtually Gorenstein if for every \(\Lambda\)-module \(X\), the functor \(\text{Ext}^i_\Lambda(X,-)\) vanishes for all \(i\geq 0\) on all Gorenstein injective \(\Lambda\)-modules if and only if \(\text{Ext}^i_\Lambda(-,X)\) vanishes for all \(i\geq 0\) on all Gorenstein projective \(\Lambda\)-modules. Here the authors show Theorem: Let \(G\) be a finite group and \(\Lambda\) an Artin algebra. Then the following statements are equivalent: -- \(\Lambda G\) is a virtually Gorenstein algebra; -- \(\Lambda P\) is a virtually Gorenstein algebra for all Sylow \(p\)-subgroups \(P\) of \(G\); -- \(\Lambda E\) is a virtually Gorenstein algebra for every elementary abelian subgroup \(E\) of \(G\). They also show among other results, that if \(G\) is a finite group, \(H\) a subgroup of \(G\) and \(\Lambda\) an Artin algebra such that the triple \((G,H,\Lambda)\) satisfies Moore's condition, then \(\Lambda G\) is a virtually Gorenstein algebra if and only if so is \(\Lambda H\).