Advanced Search

Let $R⋉M$ be a trivial extension of a ring $R$ by an $R$-$R$-bimodule $M$ such that $M_R$, ${}_{R}M$, ${(R,0)}_{R⋉M}$ and ${}_{R⋉M}(R,0)$ have finite flat dimensions. We prove that $(X,\alpha )$ is a Ding projective left $R⋉M$-module if and only if the sequence $M{\otimes }_{R}M{\otimes }_{R}X\stackrel{M\otimes \alpha }{⟶}M{\otimes }_{R}X\stackrel{\alpha }{\to }X$ is exact and $\mathrm{coker}\left(\alpha \right)$ is a Ding projective left $R$-module. Analogously, we explicitly describe Ding injective $R⋉M$-modules. As applications, we characterize Ding projective and Ding injective modules over Morita context rings with zero bimodule homomorphisms.