Digroups, their canonical pretorsion theory, and diheaps
Group Theory
2026-06-28 v1
Abstract
In the category of digroups there is a natural pretorsion theory in which the torsion-free digroups are all groups, and torsion digroups form a category isomorphic to the category of non-empty sets. It is also possible to extend the theory of heaps from groups to digroups. The corresponding notion is that of a diheap.
Cite
@article{arxiv.2606.29260,
title = {Digroups, their canonical pretorsion theory, and diheaps},
author = {Alberto Facchini and Carmelo Antonio Finocchiaro},
journal= {arXiv preprint arXiv:2606.29260},
year = {2026}
}