Weakly \(\mathcal J\)-covered completely regular semigroups (Q1864448)

A congruence \(\rho\) on a semigroup \(S\) is called (weakly) covering if \(x\rho<y\rho\) (\(x,y\in S\)) implies (for every \(x'\in x\rho\) there exists \(y'\in y\rho\) such that \(x'<y'\)) \(x'<y'\) for all \(x'\in x\rho\), \(y'\in y\rho\), where \(\leq\) denotes the natural partial order of \(S/\rho\) resp. \(S\). In this case, \(S\) is called (weakly) \(\rho\)-covered. \(S\) is called (weakly) covered if all congruences on \(S\) are (weakly) covered. Let \(S\) be a completely regular semigroup. Then Green's relation \(\mathcal J\) is the least semilattice congruence on \(S\) whose classes are completely simple subsemigroups. In this paper, the congruences on \(S\), in particular \(\mathcal J\), are studied with respect to the property to be (weakly) covering. First, characterizations and a construction of all completely regular semigroups which are \(\mathcal J\)-covered are given. Next, it is shown that for completely regular semigroups \(S\) the following are equivalent: (i) \(S\) is weakly covered, (ii) \(S\) is covered, (iii) \(S/{\mathcal J}\) is a chain and \(S\) is \(\mathcal J\)-covered. Furthermore, a construction of all covered completely regular semigroups is provided: it is shown that any (weakly) covered completely regular semigroup belongs to one of five, explicitly described classes of semigroups.