Arities and aritizabilities of group, monoid and groupoid theories

Abstract

We study applications of a general approach for arities and arizabilities of theories to group and monoid theories. It is proved that a theory of a group $G$ is aritizable if and only if $G$ is finite. It is shown that this criterion does not hold for monoids/groupoids: there is an infinite monoid/groupoid having a binary theory.

arXiv admin note: text overlap with arXiv:2112.10330, arXiv:2112.09593