The Least Commutative Congruence on a simple regular ω-semigroup
C. Bonzini, A. Cherubini, Brunetto Piochi · Glasgow Mathematical Journal · 1990
Piochi in [10] gives a description of the least commutative congruence γ of an inverse semigroup in terms of congruence pairs and generalizes to inverse semigroups the notion of solvability. The object of this paper is to give an explicit construction of λ for simple regular ω-semigroups exploiting the work of Baird on congruences on such semigroups. Moreover the connection between the solvability classes of simple regular ω-semigroups and those of their subgroups is studied.