Naturally ordered regular semigroups with a greatest idempotent
SynopsisWe consider ordered regular semigroups in which the order extends the natural order on the idempotents, and which are graced with the presence of a greatest idempotent. This implies that every element has a greatest inverse. An investigation into the properties ofthese special elements allows a description of Green's relations on the subsemigroup generated by the idempotents. This in turn leads to a complete description of the structure of idempotent-generated naturally ordered regular semigroups having a greatest idempotent. The smallest such semigroup that is not orthodox is also described. These results lead us to obtain structure theorems in the general case with the added condition that Green's relations be regular. Finally, necessary and sufficient conditions for such a semigroup to be a Dubreil-Jacotin semigroup are found.