Gorenstein projective modules and Frobenius extensions

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 $\mathbb{Z}\subset \mathbb{Z}G$). Moreover, for the Frobenius extension $R\subset A=R[x]/(x^2)$, we show that: a graded $A$-module is Gorenstein projective in $\mathrm{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.