A NEW METHOD IN THE FINITE BASIS PROBLEM WITH APPLICATIONS TO RANK 2 TRANSFORMATION SEMIGROUPS
Grigory Mashevitzky · International Journal of Algebra and Computation · 2007
We prove that the semigroup of all transformations of a 3-element set with rank at most 2 does not have a finite basis of identities. This gives a negative answer to a question of Shevrin and Volkov. It is worthwhile to notice that the semigroup of transformations with rank at most 2 of an n-element set, where n > 4, has a finite basis of identities. A new method of constructing finite non-finitely based semigroups is developed.