TY - JOUR
T1 - Monotone-light factorisation systems and torsion theories
AU - Everaert, Tomas
AU - Gran, Marino
PY - 2013
Y1 - 2013
N2 - Given a torsion theory (Y,X) in an abelian category C, the reflector I:C->X to the torsion-free subcategory X induces a reflective factorisation system (E,M) on C. It was shown by A. Carboni, G.M. Kelly, G. Janelidze and R. Paré that (E,M) induces a monotone-light factorisation system (E',M*) by simultaneously stabilising E and localising M, whenever the torsion theory is hereditary and any object in C is a quotient of an object in X. We extend this result to arbitrary normal categories, and improve it also in the abelian case, where the heredity assumption on the torsion theory turns out to be redundant. Several new examples of torsion theories where this result applies are considered in the categories of abelian groups, groups, topological groups, commutative rings, and crossed modules
AB - Given a torsion theory (Y,X) in an abelian category C, the reflector I:C->X to the torsion-free subcategory X induces a reflective factorisation system (E,M) on C. It was shown by A. Carboni, G.M. Kelly, G. Janelidze and R. Paré that (E,M) induces a monotone-light factorisation system (E',M*) by simultaneously stabilising E and localising M, whenever the torsion theory is hereditary and any object in C is a quotient of an object in X. We extend this result to arbitrary normal categories, and improve it also in the abelian case, where the heredity assumption on the torsion theory turns out to be redundant. Several new examples of torsion theories where this result applies are considered in the categories of abelian groups, groups, topological groups, commutative rings, and crossed modules
KW - Factorisation system
KW - Monotone-light factorisation
KW - Torsion theory
KW - Normal category
KW - Torsion-free group
KW - Totally disconnected group
KW - Reduced ring
M3 - Article
SN - 0007-4497
VL - 137
SP - 996
EP - 1006
JO - Bulletin des Sciences Mathématiques
JF - Bulletin des Sciences Mathématiques
IS - 8
ER -