We give necessary and sufficient conditions in order for the class of projectively coresolved Gorenstein flat modules, , (respectively that of projectively coresolved Gorenstein flat modules, ) to coincide with the class of Ding projective modules (. We show that if and only if every Ding projective module is Gorenstein flat. This is the case if the ring 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 . We also show that $ = 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, , is covering then the ring is perfect. And we show that, over a coherent ring , the converse also holds. We also give necessary and sufficient conditions in order to have , where is the class of Gorenstein projective modules.

生成讲解博客的中文版本

生成AI智能校验的中文版本