Some relations on completely regular semigroups. (Q731312)

Two relations \(Y\) and \(\xi\) on completely regular semigroups \(S\) are studied in connection with the least Clifford congruence \(\nu\) [described by \textit{P. R. Jones}, Semigroup Forum 27, 390-392 (1983; Zbl 0537.20036)]. For \(Y\), defined by: \(aYb\) iff \(V(a)=V(b)\) (where \(V(a)\) denotes the set of all generalized inverses of \(a\in S\)), it is shown that \(Y^*\subseteq\nu\), and that \(Y^*=Y=\nu\) if and only if \(S\) is orthodox (i.e., \(S\) is an orthogroup). For \(\xi\), given by: \(a\xi b\) iff \(a=a^0ba^0\) and \(b=b^0ab^0\) (where \(a^0\) denotes the identity of the subgroup of \(S\) to which \(a\in S\) belongs) it is proved that (i) \(\xi^*=\nu\); (ii) \(\xi=\nu\) if \(\xi\) is transitive; (iii) \(Y=\xi\) if and only if \(S\) is an orthogroup; (iv) \(Y^*=Y\) if \(S\) is completety simple; (v) for \(S\) completely simple, \(Y^*\) is the least group congruence if and only if \(S\) is a rectangular group. -- Examples are provided showing that the inclusions \(Y^*=\varepsilon\subseteq\nu\), resp. \(\varepsilon\subseteq Y^*\subseteq\nu\) may be strict.