Rocky Mountain Journal of Mathematics
- Rocky Mountain J. Math.
- Volume 47, Number 8 (2017), 2641-2673.
On Ding injective, Ding projective and Ding flat modules and complexes
We characterize Ding modules and complexes over Ding-Chen rings. We show that, over a Ding-Chen ring $R$, the Ding projective (respectively, Ding injective, respectively, Ding flat) $R$-modules coincide with the Gorenstein projective (respectively, Gorenstein injective, respectively, Gorenstein flat) modules, which, in turn, are noth\-ing more than modules appearing as a cycle of an exact complex of projective (respectively, injective, respectively, flat) modules. We prove a similar characterization for chain complexes of $R$-modules: a complex~$X$ is Ding projective (respectively, Ding injective, respectively, Ding flat) if and only if each component $X_n$ is Ding projective (respectively, Ding injective, respectively, Ding flat). Along the way, we generalize some results of Stovicek and Bravo, Gillespie and Hovey to obtain other interesting corollaries. For example, we show that, over any Noetherian ring, any exact chain complex with Gorenstein injective components must have all cotorsion cycle modules, that is, $Ext ^1_R(F,Z_nI) = 0$ for any such complex $I$ and flat module $F$. On the other hand, over any coherent ring, the cycles of any exact complex $P$ with projective components must satisfy $Ext ^1_R(Z_nP,A) = 0$ for any absolutely pure module~$A$.
Rocky Mountain J. Math., Volume 47, Number 8 (2017), 2641-2673.
First available in Project Euclid: 3 February 2018
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Primary: 16D80: Other classes of modules and ideals [See also 16G50]
Secondary: 16E05: Syzygies, resolutions, complexes
Gillespie, James. On Ding injective, Ding projective and Ding flat modules and complexes. Rocky Mountain J. Math. 47 (2017), no. 8, 2641--2673. doi:10.1216/RMJ-2017-47-8-2641. https://projecteuclid.org/euclid.rmjm/1517648604