A survey on varieties generated by small semigroups and a companion website

João Araújo; João Pedro Araújo; Peter J. Cameron; Edmond W. H. Lee; Jorge Raminhos

doi:10.1016/j.jalgebra.2023.06.030

A survey on varieties generated by small semigroups and a companion website

João Araújo^*, João Pedro Araújo, Peter J. Cameron, Edmond W. H. Lee, Jorge Raminhos

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

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 and conjectures.

Original language	English
Pages (from-to)	698-735
Number of pages	38
Journal	Journal of Algebra
Volume	635
Early online date	15 Sept 2023
DOIs	https://doi.org/10.1016/j.jalgebra.2023.06.030
Publication status	Published - 1 Dec 2023

Keywords

Semigroups
Varietes

Access to Document

10.1016/j.jalgebra.2023.06.030Licence: CC BY-NC

Araujo_2023_JoA_Survey-varieties_CC
Copyright © 2023 The Authors. Published by Elsevier Inc. This is an open access article under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Final published version, 1.6 MBLicence: CC BY-NC

Cite this

@article{ba4e4a83e428489daa37917e328a5058,

title = "A survey on varieties generated by small semigroups and a companion website",

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 and conjectures.",

keywords = "Semigroups, Varietes",

author = "Jo{\~a}o Ara{\'u}jo and Ara{\'u}jo, {Jo{\~a}o Pedro} and Cameron, {Peter J.} and Lee, {Edmond W. H.} and Jorge Raminhos",

year = "2023",

month = dec,

day = "1",

doi = "10.1016/j.jalgebra.2023.06.030",

language = "English",

volume = "635",

pages = "698--735",

journal = "Journal of Algebra",

issn = "0021-8693",

publisher = "Academic Press/Elsevier ",

}

TY - JOUR

T1 - A survey on varieties generated by small semigroups and a companion website

AU - Araújo, João

AU - Araújo, João Pedro

AU - Cameron, Peter J.

AU - Lee, Edmond W. H.

AU - Raminhos, Jorge

PY - 2023/12/1

Y1 - 2023/12/1

N2 - 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 and conjectures.

AB - 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 and conjectures.

KW - Semigroups

KW - Varietes

U2 - 10.1016/j.jalgebra.2023.06.030

DO - 10.1016/j.jalgebra.2023.06.030

M3 - Article

SN - 0021-8693

VL - 635

SP - 698

EP - 735

JO - Journal of Algebra

JF - Journal of Algebra

ER -

A survey on varieties generated by small semigroups and a companion website

Abstract

Keywords

Access to Document

Fingerprint

Cite this