Dimension and partial groups

Philip Hackney, Rémi Molinier

A partial group with $n+1$ elements is, when regarded as a symmetric simplicial set, of dimension at most $n$. This dimension is $n$ if and only if the partial group is a group. As…