{"id":"arxiv/2606.29260","url":"https://arxiv.org/abs/2606.29260","tags":["math.GR"],"score":0,"title":"Digroups, their canonical pretorsion theory, and diheaps","domain":"math.GR","source":"arxiv","authors":["Alberto Facchini","Carmelo Antonio Finocchiaro"],"reviews":0,"subject":"math.GR","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-28","reactions":{}}