Finite Basis Problem for Semigroups of Order Six

Authors

Edmond W. H. Lee, Nova Southeastern UniversityFollow
Wen Ting Zhang, Lanzhou UniversityFollow

Document Type

Article

Publication Date

2015

Publication Title

LMS Journal of Computation and Mathematics

ISSN

1461-1570

Volume

18

Issue/No.

1

First Page

1

Last Page

129

Abstract

Two semigroups are distinct if they are neither isomorphic nor anti-isomorphic. Although there exist 15973 pairwise distinct semigroups of order six, only four are known to be non-finitely based. In the present article, the finite basis property of the other 15969 distinct semigroups of order six is verified. Since all semigroups of order five or less are finitely based, the four known non-finitely based semigroups of order six are the only examples of minimal order.

NSUWorks Citation

Lee, Edmond W. H. and Zhang, Wen Ting, "Finite Basis Problem for Semigroups of Order Six" (2015). Mathematics Faculty Articles. 16.
https://nsuworks.nova.edu/math_facarticles/16

ORCID ID

0000-0002-1662-3734

ResearcherID

I-6970-2013

DOI

10.1112/S1461157014000412