Differential torsion theory. (Q2576911): Difference between revisions

Let \(R\) be a ring with derivation \(\delta\colon R\to R\). For an \(R\)-module \(M_R\) the function \(d\colon M\to M\) is a `\(\delta\)-derivation' if \(d(x+y)=d(x)+d(y)\) and \(d(xa)=d(x)a+x\delta(a)\), where \(x,y\in M\), \(a\in R\). A (Gabriel) filter \(\mathcal F\) of right ideals of \(R\) is called `differential filter' if for each \(K\in{\mathcal F}\) there is an ideal \(I\in{\mathcal F}\) such that \(\delta (I)\subseteq K\). In this case the corresponding hereditary torsion theory \(\tau\) is said to be a `differential torsion theory'. If \(\tau\) is a hereditary torsion theory of \(\text{Mod}_R\) and a derivation \(d\) on an \(R\)-module \(M_R\) extends to a derivation \(d_\tau\) on the module of quotients \(Q_\tau(M)\), then \(d_\tau\) is unique. Moreover, every derivation \(d\) defined on an \(R\)-module \(M_R\) has a unique extension \(d_\tau\) to the module of quotients of \(M_R\) if and only if \(\tau\) is a differential torsion theory. Some dual results are obtained for a cohereditary torsion theory \(\tau\) of \(\text{Mod}_R\) and for colocalizations. In this case every derivation defined on an \(R\)-module \(M_R\) lifts uniquely to a derivation defined on the module of coquotients of \(M_R\).