Weakly Regular Semigroups of Isotone Transformations

Let X be a partially ordered set and O(X) be the semigroup of all mappings X → X that preserve the order, i.e., x ≤ y ? xα ≤ yα for all x, y ∈ X. It is proved that the semigroup O(X) is weakly regular in the wide sense if and only if at least one of the following conditions holds: (1) X is a quasi-complete chain; (2) the elements of X are not comparable pairwise; (3) X = Y ∪ Z, where y < z for y ∈ Y, z ∈ Z; (4) X = Y ∪ Z, where y ₀ ∈ Y, z ₀ ∈ Z, and y ₀ < z for z ∈ Z, y < z0 for y ∈ Y; (5) X = {a, c} ∪ B, where a < b < c for b ∈ B; (6) X = {1, 2, 3, 4, 5, 6}, where 1 < 4, 1 < 5, 2 < 5, 2 < 6, 3 < 4, 3 < 6. Moreover, if X is a quasi-ordered set but not partially ordered, then the semigroup O(X) is weakly regular in the wide sense if and only if x ≤ y for all x, y ∈ X.