The finite basis property for varieties of semigroups (Q583378)

A general condition for a finite semigroup \(S\) is proved in order that it be not finitely based. Using this condition, several concrete results are obtained: e.g. all full transformation semigroups and all full semigroups of binary relations of finite sets of power \(\geq 3\) and \(\geq 2\), respectively, all non-commutative multiplicative semigroups of finite simple rings, the variety generated by all 5-element semigroups are infinitely based.