Abstract
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.
| Original language | American English |
|---|---|
| Pages (from-to) | 698–735 |
| Journal | Journal of Algebra |
| Volume | 635 |
| DOIs | |
| State | Published - Dec 1 2023 |
Bibliographical note
Publisher Copyright:© 2023 The Authors
Funding
Supported by the Fundação para a Ciência e a Tecnologia, I.P., under the scope of the projects UIDB/00297/2020 and UIDP/00297/2020 (Center for Mathematics and Applications).Supported by the Fundação para a Ciência e a Tecnologia, I.P., through project CEMAT-Ciências UID/Multi/04621/2013.
| Funders | Funder number |
|---|---|
| Fundação para a Ciência e a Tecnologia | UIDB/00297/2020, CEMAT-Ciências UID/Multi/04621/2013, UIDP/00297/2020 |
| Fundação para a Ciência e a Tecnologia |
ASJC Scopus Subject Areas
- Algebra and Number Theory
Keywords
- Variety
- Semigroup
- Group
- Identity
- Identity basis
Disciplines
- Algebra
- Mathematics
Fingerprint
Dive into the research topics of 'A survey on varieties generated by small semigroups and a companion website'. Together they form a unique fingerprint.Cite this
- APA
- Standard
- Harvard
- Vancouver
- Author
- BIBTEX
- RIS