Differential torsion theory. (Q2576911): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 07:37, 5 March 2024

scientific article
Language Label Description Also known as
English
Differential torsion theory.
scientific article

    Statements

    Differential torsion theory. (English)
    0 references
    29 December 2005
    0 references
    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\).
    0 references
    differential filters
    0 references
    modules of quotients
    0 references
    derivations
    0 references
    differential torsion theories
    0 references
    hereditary torsion theories
    0 references
    modules of coquotients
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references