Digroups, their canonical pretorsion theory, and diheaps

Alberto Facchini, Carmelo Antonio Finocchiaro

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…