Semilattice orders on the homomorphic images of the Rédei semigroup

The combinatorial simple principal ideal semigroups generated by two elements were described by L. Megyesi and G. Pollák. The ‘most general’ among them is called the Rédei semigroup. The ‘most special’ combinatorial simple principal ideal semigroup generated by two elements is the bicyclic semigroup. D. B. McAlister determined the compatible semilattice orders on the bicyclic semigroup. Our aim is to study the compatible semilattice orders on the homomorphic images of the Rédei semigroup. We prove that there are four compatible total orders on these semigroups. We show that on the Rédei semigroup, the total orders are the only compatible semilattice orders. Moreover, on each proper homomorphic image of the Rédei semigroup, we give a compatible semilattice order which is not a total order. Communicated by Mária B. Szendrei