Base change of (Gorenstein) transpose, k-torsionfree modules, and quasi-faithfully flat extensions
arXiv:2507.12219
Abstract
Let be a finite ring homomorphism, where is a two-sided Noetherian ring, and let be a finitely generated left -module. Under suitable homological conditions on over , we establish a close relationship between the classical transpose of over and the Gorenstein transpose of a certain syzygy module of over . As an application, for each integer , we provide a sufficient condition under which is -torsionfree over if and only if a certain syzygy of over is -torsionfree over , extending a result of Zhao. We introduce the notion of quasi-faithfully flat extensions and show that, under suitable assumptions, the extension closedness of the category of -torsionfree modules over is equivalent to that over . An application is an affirmative answer to a question posed by Zhao concerning quasi -Gorensteiness, in the case where both and are Noetherian algebras. Finally, when is a separable split Frobenius extension, it is proved that the category of -torsionfree -modules has finite representation type if and only if the same holds over , with applications to skew group rings.
Minor revision; to appear in Journal of Algebra