Minimal non-finitely based monoids
Volume 475 / 2011
Dissertationes Mathematicae 475 (2011), 1-65
MSC: 20M07.
DOI: 10.4064/dm475-0-1
Abstract
Two semigroups are said to be {\it distinct} if they are neither isomorphic nor anti-isomorphic. Although there exist 1373 distinct monoids of order six, only two are known to be non-finitely based. In the present dissertation, the finite basis property of the other 1371 distinct monoids of order six is verified. Since it is long established that all semigroups of order five or less are finitely based, the two known non-finitely based monoids of order six are the only examples of minimal order.