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.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.otherPURE: 290655198
dc.identifier.otherPURE UUID: ba4e4a83-e428-489d-aa37-917e328a5058
dc.identifier.otherORCID: /0000-0003-3130-9505/work/142904502
dc.identifier.urihttp://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.language.isoeng
dc.relation.ispartofJournal of Algebraen
dc.rightsCopyright © 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/).en
dc.subjectSemigroupsen
dc.subjectVarietesen
dc.subjectQ Scienceen
dc.subjectMathematics(all)en
dc.subjectT-NDASen
dc.subjectMCPen
dc.subject.lccQen
dc.titleA survey on varieties generated by small semigroups and a companion websiteen
dc.typeJournal articleen
dc.description.versionPublisher PDFen
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.