Arities and aritizabilities of group, monoid and groupoid theories
Logic
2021-12-22 v1
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 is aritizable if and only if is finite. It is shown that this criterion does not hold for monoids/groupoids: there is an infinite monoid/groupoid having a binary theory.
Keywords
Cite
@article{arxiv.2112.11341,
title = {Arities and aritizabilities of group, monoid and groupoid theories},
author = {Inessa I. Pavlyuk and Sergey V. Sudoplatov},
journal= {arXiv preprint arXiv:2112.11341},
year = {2021}
}
Comments
arXiv admin note: text overlap with arXiv:2112.10330, arXiv:2112.09593