Journal of Algebra
Variety, Semigroup, Group, Identity, Identity basis
This paper presents new findings on varieties generated by small semigroups and groups, and offers a survey of existing results. A companion website is provided which hosts a computational system integrating automated reasoning tools, finite model builders, SAT solvers, and GAP. This platform is a living guide to the literature. In addition, the first complete and justified list of identity bases for all varieties generated by a semigroup of order up to 4 is provided as supplementary material. The paper concludes with an extensive list of open problems.
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License
Araújo, João; Araújo, João Pedro; Cameron, Peter J.; Lee, Edmond W. H.; and Raminhos, Jorge, "A survey on varieties generated by small semigroups and a companion website" (2023). Mathematics Faculty Articles. 360.