Show simple item record

Files in this item

Thumbnail
Name:
Araujo_2023_JoA_Survey_varieties_CC.pdf
Size:
1.604Mb
Format:
PDF
View/Open

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

Item metadata

dc.contributor.authorAraújo, João
dc.contributor.authorAraújo, João Pedro
dc.contributor.authorCameron, Peter J.
dc.contributor.authorLee, Edmond W. H.
dc.contributor.authorRaminhos, Jorge
dc.date.accessioned2023-09-18T09:30:10Z
dc.date.available2023-09-18T09:30:10Z
dc.date.issued2023-12-01
dc.identifier290655198
dc.identifierba4e4a83-e428-489d-aa37-917e328a5058
dc.identifier85170043890
dc.identifier.citationAraújo , J , Araújo , J P , Cameron , P J , Lee , E W H & Raminhos , J 2023 , ' A survey on varieties generated by small semigroups and a companion website ' , Journal of Algebra , vol. 635 , pp. 698-735 . https://doi.org/10.1016/j.jalgebra.2023.06.030en
dc.identifier.issn0021-8693
dc.identifier.otherORCID: /0000-0003-3130-9505/work/142904502
dc.identifier.urihttps://hdl.handle.net/10023/28412
dc.description.abstractThis 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.
dc.format.extent38
dc.format.extent1682385
dc.language.isoeng
dc.relation.ispartofJournal of Algebraen
dc.subjectSemigroupsen
dc.subjectVarietesen
dc.subjectQA Mathematicsen
dc.subjectMathematics(all)en
dc.subjectT-NDASen
dc.subjectMCCen
dc.subject.lccQAen
dc.titleA survey on varieties generated by small semigroups and a companion websiteen
dc.typeJournal articleen
dc.contributor.institutionUniversity of St Andrews. Pure Mathematicsen
dc.contributor.institutionUniversity of St Andrews. Centre for Interdisciplinary Research in Computational Algebraen
dc.identifier.doihttps://doi.org/10.1016/j.jalgebra.2023.06.030
dc.description.statusPeer revieweden


This item appears in the following Collection(s)

Show simple item record

Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.