The pseudoidentity problem and reducibility for completely regular semigroups
Jorge Almedia, Peter G. Trotter · Bulletin of the Australian Mathematical Society · 2001
Dedicated to George Szekeres on the occasion of his 90th birthday Necessary and sufficient conditions for equality over the pseudovariety CR of all finite completely regular semigroups are obtained. They are inspired by the solution of the word problem for free completely regular semigroups and clarify the role played by groups in the structure of such semigroups. A strengthened version of Ash's inevitability theorem (κ-reducibility of the pseudovariety G of all finite groups) is proposed as an open problem and it is shown that, if this stronger version holds, then CR is also κ-reducible and, therefore, hyperdecidable.