Small Semigroups Generating Varieties with Continuum Many Subvarieties

The smallest finitely based semigroup currently known to generate a variety with continuum many subvarieties is of order seven. The present article introduces a new example of order six and comments on the possibility of the existence of a smaller example. It is shown that if such an example exists, then up to isomorphism and anti-isomorphism, it must be a unique monoid of order five.

[1]  Charles Frederick Fennemore,et al.  All varieties of bands , 1970 .

[2]  N. Reilly,et al.  Completely Regular Semigroups , 1990 .

[3]  Edmond W. H. Lee.  Minimal Semigroups Generating Varieties with Complex subvariety Lattices , 2007, Int. J. Algebra Comput..

[4]  Mikhail Volkov.  The finite basis question for varieties of semigroups , 1989 .

[5]  Varieties generated by semigroups of order four , 1980 .

[6]  Stanley Burris,et al.  A course in universal algebra , 1981, Graduate texts in mathematics.

[7]  On certain finitely based varieties of semigroups , 1977 .

[8]  Olga Sapir.  Finitely Based Words , 2000, Int. J. Algebra Comput..

[9]  Peter Perkins.  Bases for equational theories of semigroups , 1969 .

[10]  Edmond W. H. Lee,et al.  Limit Varieties Generated by Completely 0-Simple Semigroups , 2011, Int. J. Algebra Comput..

[11]  A. P. Biryukov.  Varieties of idempotent semigroups , 1970 .

[12]  N. J. A. Sloane,et al.  The On-Line Encyclopedia of Integer Sequences , 2003, Electron. J. Comb..

[13]  Mark Sapir,et al.  PROBLEMS OF BURNSIDE TYPE AND THE FINITE BASIS PROPERTY IN VARIETIES OF SEMIGROUPS , 1988 .

[14]  G. Pollák.  On two classes of hereditarily finitely based semigroup identities , 1982 .

[15]  Hereditarily finitely based monoids of extensive transformations , 2009 .

[16]  M. Powell,et al.  Identical relations in finite groups , 1964 .

[17]  Finite Semigroups Whose Varieties Have Uncountably Many Subvarieties , 2000 .

[18]  Edmond W. H. Lee.  Combinatorial Rees-sushkevich Varieties are Finitely Based , 2008, Int. J. Algebra Comput..

[19]  The finiteness of a base of identities for five-element monoids , 1980 .

[20]  SEMIGROUPS GENERATED BY CERTAIN OPERATORS ON VARIETIES OF COMPLETELY REGULAR SEMIGROUPS , 1988 .

[21]  J. Gerhard,et al.  The lattice of equational classes of idempotent semigroups , 1970 .