Gorenstein projective modules and Frobenius extensions

Wei Ren

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; t…