TL;DR
This survey compiles known identity bases for varieties generated by small semigroups and groups, providing a comprehensive online resource with automated reasoning tools, and addresses gaps in existing classifications for semigroups of order up to 4 and 5.
Contribution
It offers the first complete list of identity bases for semigroups of order up to 4 and an online companion website with extensive classification and computational tools.
Findings
Complete identity bases for semigroups of order up to 4.
Online database includes varieties generated by semigroups of order up to 5.
Tools for deciding properties of finite semigroups and generating multiplication tables.
Abstract
The aim of this paper is to provide an atlas of identity bases for varieties generated by small semigroups and groups. To help the working mathematician easily find information, we provide a companion website that runs in the background automated reasoning tools, finite model builders, and GAP, so that the user has an automatic \textit{intelligent} guide on the literature. This paper is mainly a survey of what is known about identity bases for semigroups or groups of small orders, and we also mend some gaps left unresolved by previous authors. For instance, we provide the first complete and justified list of identity bases for the varieties generated by a semigroup of order up to~, and the website contains the list of varieties generated by a semigroup of order up to~. The website also provides identity bases for several types of semigroups or groups, such as bands,…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
