Splitting torsion pairs over pure semisimple rings. (Q2259177)

From MaRDI portal
Revision as of 19:01, 9 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Splitting torsion pairs over pure semisimple rings.
scientific article

    Statements

    Splitting torsion pairs over pure semisimple rings. (English)
    0 references
    0 references
    0 references
    27 February 2015
    0 references
    Let \(R\) be a left pure semisimple ring and \((\mathcal{D,C})\) a splitting torsion pair of the family \(R\)-ind of indecomposable left \(R\)-modules, i.e., a partition of \(R\)-ind such that \(\Hom_R(D,C)=0\) whenever \(D\in\mathcal D\) and \(C\in\mathcal C\). Splitting torsion pairs play an important role in the study of left pure semisimple hereditary rings due to the existence of the `Ext-injective partition' of \(R\)-ind and, on the other hand, they have in that context a very close relationship with tilting modules. The authors of the paper under review use splitting torsion pairs of \(R\)-ind to generalize several recent results to the non-hereditary case and also to recover other results with new proofs. For example, it is shown in the paper that if \(R\) is left pure semisimple and \((\mathcal{D,C})\) is a splitting torsion pair of \(R\)-ind such that \(\mathcal D\) contains all indecomposable injective left \(R\)-modules, then the endomorphism ring of each \(M\in\mathcal C\) is a division ring and, moreover, \(\text{Ext}_R^1(M,M)=0\). Now, if \(W\) is the direct sum of all Ext-injective modules in \(\mathcal C\) and all indecomposable projective modules in \(\mathcal D\) and \(W\) is furthermore endofinite, then there is an Ext-injective module in \(\mathcal C\) which is the source of a left almost split morphism in the category \(R\)-mod of finitely presented left \(R\)-modules. The authors also prove that \(W\) is a tilting module and that if \(R\) is hereditary then \(W\) has a hereditary endomorphism ring, which provides new proofs of some recent results.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    pure semisimple rings
    0 references
    splitting torsion pairs
    0 references
    Ext-injective modules
    0 references
    tilting modules
    0 references
    cotilting modules
    0 references
    hereditary rings
    0 references
    categories of finitely presented left modules
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references