Minimal non-finitely based monoids
Two semigroups are said to be 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.