On topological Clifford semigroups embeddable into products of cones over topological groups (Q485399)

A semigroup \(S\) is a semilattice if \(xy = yx\) and \(xx=x\) for all \(x,y\in S\). The set \(E= \{e\in S: ee=e\}\) is called the maximal semilattice of \(S\). A topological Clifford semigroup is a Clifford semigroup in which the mappings \((x,y)\mapsto xy\) and \(x\mapsto x^{-1}\) are continuous. In a topological semigroup \(S\) one defines \(x \leq y\) if and only if \(xy = yx = x\), \(\uparrow x =\{y\in S: x \leq y\}\), and \(x \ll y \Leftrightarrow y \in \text{Int}(\uparrow x)\). A topological semigroup is a \(U\)-semilattice if for each (upper) open set \(U\) and each \(x\in U\) there is \(y\in U\) with \(y\ll x\). A topological Clifford semigroup is called a \(U\)-semigroup if its maximal semilattice \(E\) is a \(U\)-semilattice. The authors give a characterization of topological Clifford \(U\)-semigroups which are precompact (i.e. embed into a compact topological semigroup). They prove that each ditopological Clifford \(U\)-semigroup embeds into a Tychonoff product of topological semilattices and cones over maximal subgroups \(H_e=\{x\in S:xx^{-1} = x^{-1}x = e\}\), \(e\in E\), of \(S\). Ditopological Clifford semigroups form a large subclass of Clifford semigroups containing all compact Clifford semigroups, all topological groups, all topological semilattices. The question of metrizability of ditopological Clifford \(U\)-semigroups is also considered.