Search

In this article we explore a non-abelian torsion theory in the category of preordered groups: the objects of its torsion-free subcategory are the partially ordered groups, whereas the objects of the torsion subcategory are groups (with the total order). The reflector from the category of preordered groups to this torsion-free subcategory has stable units, and we prove that it induces a monotone-light factorization system. We describe the coverings relative to the Galois structure naturally associated with this reflector, and explain how these coverings can be classified as internal category actions on a Galois groupoid. Finally, we prove that in the category of preordered groups there is also a pretorsion theory, whose torsion subcategory can be identified with a category of internal groups. This latter is precisely the subcategory of protomodular objects in the category of preordered groups, as recently discovered by Clementino, Martins-Ferreira, and Montoli.

For a commutative, unital and integral quantale V, we generalize to V-groups the results developed by Gran and Michel for preordered groups. We first of all show that, in the category V-Grp of V-groups, there exists a torsion theory whose torsion and torsion-free subcategories are given by those of indiscrete and separated V-groups, respectively. It turns out that this torsion theory induces a monotone-light factorization system that we characterize, and it is then possible to describe the coverings in V-Grp. We next classify these coverings as internal actions of a Galois groupoid. Finally, we observe that the subcategory of separated V-groups is also a torsion-free subcategory for a pretorsion theory whose torsion subcategory is the one of symmetric V-groups. As recently proved by Clementino and Montoli, this latter category is actually not only coreflective, as it is the case for any torsion subcategory, but also reflective.

We give a full classification of representation types of the subcategories of representations of an m×n rectangular grid with monomorphisms (dually, epimorphisms) in one or both directions, which appear naturally in the context of clustering as two-parameter persistent homology in degree zero. We show that these subcategories are equivalent to the category of all representations of a smaller grid, modulo a finite number of indecomposables. This equivalence is constructed from a certain cotorsion torsion triple, which is obtained from a tilting subcategory generated by said indecomposables.

Let PreOrd(C) be the category of internal preorders in an exact category C. We show that the pair (Eq(C),ParOrd(C)) is a pretorsion theory in PreOrd(C), where Eq(C) and ParOrd(C) are the full subcategories of internal equivalence relations and of internal partial orders in C, respectively. We observe that ParOrd(C) is a reflective subcategory of PreOrd(C) such that each component of the unit of the adjunction is a pullback-stable regular epimorphism. The reflector F: PreOrd(C) -> PardOrd(C) turns out to have stable units in the sense of Cassidy, Hébert and Kelly, thus inducing an admissible categorical Galois structure. In particular, when C is the category Set of sets, we show that this reflection induces a monotone-light factorization system (in the sense of Carboni, Janelidze, Kelly and Paré) in PreOrd(Set). A topological interpretation of our results in the category of Alexandroff-discrete spaces is also given, via the well-known isomorphism between this latter category and PreOrd(Set).

The purpose of this article is to prove that the category of cocommutative Hopf K-algebras, over a field K of characteristic zero, is a semi-abelian category. Moreover, we show that this category is action representable, and that it contains a torsion theory whose torsion-free and torsion parts are given by the category of groups and by the category of Lie K-algebras, respectively.

The purpose of this article is to prove that the category of cocommutative Hopf K-algebras, over a field K of characteristic zero, is a semi-abelian category. Moreover, we show that this category is action representable, and that it contains a torsion theory whose torsion-free and torsion parts are given by the category of groups and by the category of Lie K-algebras, respectively., SCOPUS: ar.j, info:eu-repo/semantics/published

The purpose of this paper is to extend results about skew injective modules to a torsion theoretic setting. Given ahereditary torsion theory t a module M is called t-skew injective if all endomorphisms of t -dense submodules of M can be extended to endomorphismsof M. A characterization of t skew injectivity using split short exact sequences is given.