New torsion theory in unital abelian ℓ-groups

Abstract

Abstract This paper introduces the notion of a functorial torsion class (FTC): in a concrete category $\mathfrak{C}$ which has image factorization, one considers monocoreflective subcategories which are closed under formation of subobjects. Here the interest is in FTCs in the category of abelian lattice-ordered groups with designated strong order unit. The FTCs $\mathfrak{T}$ consisting of archimedean latticeordered groups are characterized: for each subgroup A of the rationals with the identity 1, either $\mathfrak{T} = \mathfrak{S}\left( A \right)$, the class of all lattice-ordered groups of functions on a set X which have finite range in A, or $$\mathfrak{T} = \mathbb{T}\left( A \right)$$, the class of all subgroups of A with 1. As for FTCs possessing non-archimedean groups, it is shown that if $\mathfrak{T}$ is an FTC containing a subgroup A of the reals with 1, of rank two or greater, then $\mathfrak{T}$ contains all ℓ-groups of the form $A\vec \times G$, for all abelian lattice-ordered groups G. Finally, the least FTC that contains a non-archimedean group is the class of all $\mathbb{Z}\vec \times G$, for all abelian lattice-ordered groups G.