Semigroups with operation-compatible Green's quasiorders (Q343483)

A semigroup whose multiplication preserves Green's quasiorder \(\leq _{{\mathcal {J}}}\) (\(\leq _{{\mathcal {L}}}\), \(\leq _{{\mathcal {R}}}\)) is called \(\leq _{{\mathcal {J}}}\)-compatible (\(\leq _{{\mathcal {L}}}\)-compatible, \(\leq _{{\mathcal {R}}}\)-compatible). The authors make a number of observations about the classes of \(\leq _{{\mathcal {J}}}\)-compatible (\(\leq _{{\mathcal {L}}}\)-compatible, \(\leq _{{\mathcal {R}}}\)-compatible) semigroups. In particular, they show that each of these classes is closed under taking homomorphic images (Theorem~3.1). A regular periodic semigroup is \(\leq _{{\mathcal {J}}}\)-compatible if and only if it is a semilattice of simple semigroups (Theorem~4.2). Every negatively orderable semigroup can be embedded into a negatively orderable \(\leq _{{\mathcal {J}}}\)-compatible semigroup (Theorem~6.1).