Title:The binary quasiorder on semigroups

Abstract:Given two elements $x,y$ of a semigroup $X$ we write $x\lesssim y$ if for every homomorphism $\chi:X\to\{0,1\}$ we have $\chi(x)\le\chi(y)$. The quasiorder $\lesssim$ is called the $binary$ $quasiorder$ on $X$. It induces the equivalence relation $\Updownarrow$ that coincides with the least semilattice congruence on $X$. Using the binary quasiorder we prove that for an eventually Clifford $E$-upcentral semigroup $X$ the function $\pi:X\to E(X)$ assigning to each $x\in X$ the unique idempotent $\pi(x)$ with $x^{\mathbb N}\cap H_{\pi(x)}\ne\emptyset$ is a semigroup homomorphism.