Search

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. [ABSTRACT FROM AUTHOR]

A Galois connection between functorial topologies on abelian groups and subclasses of abelian groups is constructed by means of the notion of indiscrete topology. It is shown that the composition of this Galois connection with a previously introduced one coincides with the classical Galois connection induced by the notion of constant morphism. Examples are provided. [ABSTRACT FROM AUTHOR]

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. [ABSTRACT FROM AUTHOR]

We characterize t-structures in stable ∞-categories as suitable quasicategorical factorization systems. More precisely we show that a t-structure 픱 on a stable ∞-category C is equivalent to a normal torsion theory 픽 on C, i.e. to a factorization system 픽 = (퓔, ℳ) where both classes satisfy the 3-for-2 cancellation property, and a certain compatibility with pullbacks/pushouts. [ABSTRACT FROM AUTHOR]

In this note we give a new and elementary proof of a result of Năstăsescu and Torrecillas ( J. Algebra, 281:144–149, 2004) stating that a coalgebra C is finite dimensional if and only if the rational part of any right module M over the dual algebra $C^*$ is a direct summand in M (the splitting problem for coalgebras). [ABSTRACT FROM AUTHOR]