Projectively coresolved Gorenstein flat and Ding projective modules

From MaRDI portal



Abstract: We give necessary and sufficient conditions in order for the class of projectively coresolved Gorenstein flat modules, mathcalPGF, (respectively that of projectively coresolved Gorenstein mathcalB flat modules, mathcalPGFmathcalB) to coincide with the class of Ding projective modules (mathcalDP). We show that mathcalPGF=mathcalDP if and only if every Ding projective module is Gorenstein flat. This is the case if the ring R is coherent for example. We include an example to show that the coherence is a sufficient, but not a necessary condition in order to have mathcalPGF=mathcalDP. We also show that mathcalPGF=mathcalDP over any ring R of finite weak Gorenstein global dimension (this condition is also sufficient, but not necessary). We prove that if the class of Ding projective modules, mathcalDP, is covering then the ring R is perfect. And we show that, over a coherent ring R, the converse also holds. We also give necessary and sufficient conditions in order to have mathcalPGF=mathcalGP, where mathcalGP is the class of Gorenstein projective modules.











This page was built for publication: Projectively coresolved Gorenstein flat and Ding projective modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5119291)