Gorenstein projective modules and Frobenius extensions

Original · EN

We prove that for a Frobenius extension, if a module over the extension ring is Gorenstein projective, then its underlying module over the the base ring is Gorenstein projective; the converse holds if the Frobenius extension is either left-Gorenstein or separable (e.g. the integral group ring extension Z⊂ ZG). Moreover, for the Frobenius extension R⊂ A=R[x]/(x²), we show that: a graded A-module is Gorenstein projective in GrMod(A), if and only if its ungraded A-module is Gorenstein projective, if and only if its underlying R-module is Gorenstein projective. It immediately follows that an R-complex is Gorenstein projective if and only if all its items are Gorenstein projective R-modules.