Lattice of 456 semigroup varieties from equations of order up to 4

Bruno Le Floch

We consider the 653 equational laws of order up to 4 for an associative binary operation, and all of their conjunctions. We determine that there are only 456 equivalence classes of…