On topological Clifford semigroups embeddable into products of cones over topological groups
Abstract
In this paper we give characterizations of topological Clifford semigroups which are embeddable into Tychonoff products of topological semilattices and cones over topological groups. Also we characterize topological Clifford semigroups which embed into compact topological Clifford semigroups.
Keywords
Topological Clifford semigroup Ditopological Clifford \(U\)semigroup \(U\)semilattice Precompact semigroup Subinvariant metric1 Introduction
This paper was motivated by the problem of recognizing topological Clifford semigroups which can be embedded into compact topological Clifford semigroups. We shall resolve this problem for topological Clifford \(U\)semigroups (i.e., topological Clifford semigroups whose idempotent band \(E\) is a \(U\)semilattice). Topological \(U\)semilattices and their relation to other classes of topological semilattices will be discussed in Section 2.4. In Theorem 5.1 we shall prove that a topological Clifford \(U\)semigroup \(S\) embeds into a compact topological Clifford semigroup if and only if \(S\) is ditopological, the maximal semilattice \(E\) of \(S\) embeds into a compact topological semilattice and each maximal subgroup \(H_e,\,e\in E\), of \(S\) embeds into a compact topological group. Ditopological Clifford semigroups were introduced and studied in [3]. The class of such semigroups contains all compact topological Clifford semigroups, all topological semilattices, all topological groups and is closed under many operations over topological Clifford semigroups. We shall discuss ditopological Clifford semigroups in Subsection 2.7. In Section 3 we shall prove that each ditopological Clifford \(U\)semigroup \(S\) embeds into a Tychonoff product of topological semilattices and cones over maximal subgroups \(H_e,\,e\in E\), of \(S\).
2 Preliminaries
In this section we recall some definitions and prove some auxiliary results.
2.1 Topological spaces

zerodimensional if closedandopen subsets form a base of the topology of \(X\);

punctiform if each nonempty compact connected subset of \(X\) is a singleton.
The weight \(w(X)\) of a topological space \(X\) is the smallest cardinality \({\mathcal {B}}\) of a base \({\mathcal {B}}\) of the topology of \(X\).
2.2 Semigroups
A semigroup is a set \(S\) endowed with an associative binary operation \(*:S\times S\rightarrow S\). In the sequel we shall often omit the symbol \(*\) of the operation and write \(xy\) instead of \(x*y\).

a semilattice if \(xy=yx\) and \(xx=x\) for all \(x,y\in S\);

regular if for each \(x\in X\) there is \(y\in X\) such that \(xyx=x\) and \(yxy=y\);

an inverse semigroup if for each \(x\in X\) there exists a unique element \(x^{1}\in S\) such that \(xx^{1}x=x\) and \(x^{1}xx^{1}=x^{1}\);

a Clifford semigroup if \(S\) is inverse and \(xx^{1}=x^{1}x\) for all \(x\in X\).
A subset \(I\) of a semigroup \(S\) is called an ideal if \(SIS\subset I\).
2.3 Topological semigroups
By a topological (inverse) semigroup we understand an (inverse) semigroup \(S\) endowed with a topology such that the semigroup operation \(*:S\times S\rightarrow S\) is continuous (and the inversion \((\cdot )^{1}:S\rightarrow S\) is continuous). If the inverse semigroup \(S\) is Clifford, then \(S\) will be called a topological Clifford semigroup.
Proposition 2.1
A compact topological semigroup \(S\) is Clifford if and only if \(S\) contains a dense Clifford subsemigroup.
Proof
Let \(X\subset S\) be a dense Clifford subsemigroup of \(S\). Let \(E=\{e\in S:ee=e\}\) be the set of idempotents in \(S\) and \(E_X=X\cap E\). By the commutativity of the semigroup \(E_X\) and the continuity of the semigroup operation \(*:S\times S\rightarrow S\), the closure \(\bar{E}_X\) of \(E_X\) in \(S\) is a semilattice.
Since the semigroup \(X\) is Clifford, for every \(x\in X\) there is a unique element \(x^{1}\in X\) such that \(xx^{1}x=x,\,x^{1}xx^{1}=x^{1}\) and \(xx^{1}=x^{1}x\). Consider the set \(D_X=\{(x,x^{1}):x\in X\}\) and its closure \(\bar{D}_X\) in \(S\times S\). It follows that \(\bar{D}_X\subset \{(x,y)\in S\times S:xyx=x,yxy=y,\;\;xy=yx\}\). The continuity of the semigroup operation \(*:S\times S\rightarrow S\) and the inclusion \(*(D_X)\subset E_X\) imply \(*(\bar{D}_X)\subset \bar{E}_X\).
Let \(\mathrm{pr}_1:S\times S\rightarrow S,\,\mathrm{pr}_1:(x,y)\mapsto x\), be the coordinate projection. The projection \(\mathrm{pr}_1(\bar{D}_X)\supset X\), being a dense closed subset of \(S\), coincides with \(S\). Consequently, for each point \(x\in S\) there is a point \(x^\star \in S\) such that \((x,x^\star )\in \bar{D}_X\) and hence \(xx^\star x=x,\,x^\star xx^\star =x^\star \) and \(xx^\star =x^\star x\). This means that the semigroup \(S\) is regular.
We claim that \(E=\bar{E}_X\). Given any idempotent \(e\in E\), find an element \(e^\star \in S\) such that \((e,e^\star )\in \bar{D}_X\). Taking into account that \(ee^\star e=e,\,e^\star ee^\star =e^\star \) and \(ee^\star =e^\star e\), we conclude that \(e=ee=(ee^\star e)(ee^\star e)=(eee^\star )(eee^\star )=(ee^\star )(ee^\star )=ee^\star \in *(\bar{D}_X)\subset \bar{E}_X\). Therefore, \(E=\bar{E}_X\) is a commutative semigroup. Being a regular semigroup with commuting idempotents, the semigroup \(S\) is inverse. To show that \(S\) is Clifford, it suffices to show that the set \(E=\bar{E}_X\) is contained in the center \(Z(S)=\{z\in S:\forall x\in S\;\;xz=zx\}\) of \(S\). Observe that for every \(x\in X\) the set \(Z_x=\{z\in S:zx=xz\}\) is closed in \(S\) and contains the set \(E_X\). Then \(E=\bar{E}_X\subset Z_x\) for all \(x\in X\). Now observe that for every \(e\in E\) the set \(Z_e=\{x\in X:xe=ex\}\) is closed and contains the dense subset \(X\) of \(S\). Consequently, \(Z_e=S\) for all \(e\in E\) and hence \(E\) is contained in the center of \(S\). By [11, II.2.6], the inverse semigroup \(S\) is Clifford. \(\square \)
Problem 2.2
Assume that a compact topological semigroup \(S\) contains a dense inverse subsemigroup. Is \(S\) inverse?
We shall say that a topological semigroup \(X\) embeds into a topological semigroup \(Y\) if there exists a semigroup homomorphism \(h:X\rightarrow Y\), which is a topological embedding. In this case we shall write \(X\hookrightarrow Y\).
A topological semigroup \(S\) is defined to be precompact if \(S\) embeds into a compact topological semigroup.
Proposition 2.3
A topological Clifford semigroup \(S\) is precompact if and only if \(S\) embeds into a compact topological Clifford semigroup \(K\) having weight \(w(K)=w(S)\).
Proof
The “if” part is trivial. To prove the “only if” part, assume that \(S\) is precompact and hence embeds into a compact topological semigroup \(K\). We lose no generality assuming that \(S\subset K\). By Theorem 2.29 [4], the compact topological semigroup \(K\) embeds into a Tychonoff product \(\prod _{\alpha \in A}K_\alpha \) of metrizable topological semigroups \(K_\alpha ,\,\alpha \in A\). By a standard argument one can show that there is a subset \(B\subset A\) of cardinality \(B\le w(S)\) such that the projection \(\mathrm{pr}_B:S\rightarrow \prod _{\alpha \in B}K_\alpha \) is a topological embedding. Then \(K_B= \prod _{\alpha \in B}K_\alpha \) is a compact topological semigroup of weight \(w(K_B)\le B\le w(S)\) containing a topological copy of \(S\). Without loss of generality we can assume that \(S\subset K_B\). By Proposition 2.1, the closure \(\bar{S}\) of \(S\) in \(K_B\) is a Clifford semigroup. By KochWallaceKruming Theorem [9, 10] the inversion \((\,)^{1}:\bar{S}\rightarrow \bar{S}\) is continuous, which means that \(\bar{S}\) is a compact topological Clifford semigroup. \(\square \)
In Section 5 we shall consider the problem of detecting precompact topological Clifford semigroups in more details.
If a topological semigroup \(Y\) is precompact, then so is each \(Y\)embeddable semigroup \(X\).
2.4 Topological semilattices
A topological semilattice is a topological space \(E\) endowed with a continuous semilattice operation. An important example of a topological semilattice is the unit interval \([0,1]\) endowed with the usual topology and the operation of minimum \((x,y)\mapsto \min \{x,y\}\). We denote this topological semilattice by \({\mathbb {I}}\). The topological semilattice \({\mathbb {I}}\) contains a twoelement subsemilattice \(\mathbf {2}=\{0,1\}\).
Each topological semilattice \(E\) carries a partial order defined by \(x\le y\) if \(xy=x=yx\). For a point \(x\in E\) let \({\downarrow }x=\{y\in E:y\le x\}\) and \({\uparrow }x=\{y\in E:x\le y\}\) be the lower and upper cones of \(x\), respectively. For a subset \(A\) of a semilattice \(E\) we put \({\downarrow }A=\bigcup _{a\in A}{\downarrow } a\) and \({\uparrow }A=\bigcup _{a\in A}{\uparrow }a\). A subset \(A\subset E\) will be called upper if \(A={\uparrow }A\).
A point \(x\) of a topological semilattice \(E\) will be called locally minimal if its upper cone \({\uparrow }x\) is open in \(S\). In this case \({\Uparrow }x={\uparrow }x\). Observe that a point \(x\in E\) is locally minimal if and only if it is isolated in its lower cone \({\downarrow }x\).

lower locally compact if each point \(x\in E\) has a closed neighborhood \(\bar{O}_x\subset E\) such that \(\bar{O}_x\cap {\downarrow }x\) is compact;

Lawson if open subsemilattices form a base of the topology of \(E\);

a \(U\) semilattice if for every (upper) open set \(U\) in \(E\) and every point \(x\in U\) there is a point \(y\in U\) such that \(y\ll x\);

a \(U_2\) semilattice if for every open set \(U\) in \(E\) and every point \(x\in V\) there are a point \(y\in V\) and a closedandopen ideal \(I\subset E\) such that \(x\in E\setminus I\subset {\uparrow }y\);

a \(U_0\) semilattice if for every open set \(U\) in \(E\) and every point \(x\in V\) there is a locally minimal point \(y\in V\) such that \(y\le x\).
Proposition 2.4

(1) If \(E\) is locally compact and punctiform, then \(E\) is Lawson.

(2) If \(E\) is lower locally compact and punctiform, then \(E\) is a \(U_0\)semilattice;

(3) If \(E\) is lower locally compact and Lawson, then \(E\) is a \(U\)semilattice;

(4) If \(E\) is a \(U\)semilattice, then \(E\) is \({\mathbb {I}}\)separated;

(5) If \(E\) is a \(U_2\)semilattice, then \(E\) is \(\mathbf {2}\)separated;

(6) If \(E\) is a \(\mathbf {2}\)embeddable \(U\)semilattice, then \(E\) is a \(U_2\)semilattice.
Proof
 1.
If \(E\) is locally compact and punctiform, then \(E\) is zerodimensional according to [6, 1.4.5]. To show that \(E\) is Lawson, we need for every point \(e\in E\) and open neighborhood \(O_e\subset E\) of \(e\) to find an open subsemilattice \(L_e\subset O_e\) that contains \(e\). By the local compactness and zerodimensionality of \(E\), the point \(e\) has a compact open neighborhood \(K_e\subset O_e\). It follows that the set \(U_e=\{x\in K_e:ex\in K_e\}\) is an open compact neighborhood of \(e\). Observe that for every \(u\in U_e\) we get \(e(eu)=eu\in K_e\), which implies \(eU_e\subset U_e\). Then \(L_e=\{x\in K_e:xU_e\subset U_e\}\subset K_e\subset O_e\) is a required compact open subsemilattice of \(S\) that contains \(e\).
 2.
Assume that \(E\) is lower locally compact and punctiform. To prove that \(E\) is a \(U_0\)semilattice, fix any point \(e\in E\) and a neighborhood \(O_e\subset E\) of \(e\). Since \(E\) is lower locally compact, we can assume that \(\bar{O}_e\cap {\downarrow }e\) is compact. Being punctiform, the compact space \(\bar{O}_e\cap {\downarrow }e\) is zerodimensional and hence contains a closedandopen neighborhood \(K_e\subset O_e\cap {\downarrow }e\) of \(e\). It follows that set \(U_e=\{x\in K_e:ex\in K_e\}\) is an open compact neighborhood of \(e\) in \({\downarrow }e\) and \(L_e=\{x\in {\downarrow }e:xU_e\subset U_e\}\subset K_e\subset O_e\) is a compact open subsemilattice in \({\downarrow }e\). By the compactness, the semilattice \(L_e\) contains the smallest element \(s\in L_e\subset O_e\). Consider the retraction \(r:E\rightarrow {\downarrow }e,\,r(x)=ex\), and observe that \(r^{1}(L_e)\) is an open neighborhood of \(s\) in \(E\), contained in the upper cone \({\uparrow }s\) and witnessing that \(e\in {\uparrow }s={\Uparrow }s\). So, \(E\) is a \(U_0\)semilattice.
 3.
Assume that \(E\) is lower locally compact and Lawson. To prove that \(E\) is a \(U\)semilattice, fix any point \(e\in E\) and a neighborhood \(O_e\subset E\) of \(e\). Since \(E\) is lower locally compact, we can assume that \(\bar{O}_e\cap {\downarrow }e\) is compact. By the regularity of the compact Hausdorff space \(\bar{O}_e\cap {\downarrow }e\), the point \(e\) has a compact neighborhood \(K_e\subset O_e\cap {\downarrow }e\). Since the topological semilattice \(E\) is Lawson, the point \(e\) is contained in an open subsemilattice \(L_e\subset O_e\) such that \(L_e\cap {\downarrow }e\subset K_e\). Then the subsemilattice \(L_e\cap {\downarrow }e\) has compact closure in \(E\) and hence contains the smallest element \(s\in K_e\subset O_e\). By analogy with the preceding proof we can show that \(e\in {\Uparrow }s\), which means that \(E\) is a \(U\)semilattice.
 4.
The forth statement was proved in Theorem 2.11 of [5].
 5.Assume that \(E\) is a \(U_2\)semilattice. Take any two distinct points \(x,y\in E\) and consider their product \(xy\in E\). We lose no generality assuming that \(y\ne xy\). Since \(U=\{u\in E:u\ne xu\}\) is an open upper set containing the point \(y\), by the definition of a \(U_2\)semilattice, there is a point \(u\in U\) and a closedandopen ideal \(I\subset E\) such that \(y\subset E\!{\setminus }\! I\subset {\uparrow }u\). It follows that the function \(h:E\!\rightarrow \!\mathbf {2}\) defined byis a continuous homomorphism such that \(h(x)=0\) and \(h(y)=1\). Therefore, \(E\) is \(\mathbf {2}\)separating.$$\begin{aligned} h(e)={\left\{ \begin{array}{ll} 0&{}\text{ if }\,e\in I,\\ 1&{}\text{ if }\,e\notin I \end{array}\right. } \end{aligned}$$
 6.Assume that \(E\) is a \(\mathbf {2}\)embeddable \(U\)semilattice. To show that \(E\) is a \(U_2\)semilattice, fix any point \(x\in E\) and an open neighborhood \(O_x\subset E\) of \(x\). Since \(E\) is a \(U\)semilattice, there is an idempotent \(e\in O_x\) such that \(x\in {\Uparrow }e\). Since \(E\) is \(\mathbf {2}\)embeddable, the topology of \(E\) is generated by the subbase consisting of the sets \(h^{1}(t)\) where \(t\in \mathbf {2}\) and \(h:E\rightarrow \mathbf {2}\) is a continuous homomorphism. Consequently, we can find continuous homomorphisms \(h_1,\dots ,h_n:E\rightarrow \mathbf {2}\) and points \(t_1,\dots ,t_n\in \mathbf {2}\) such that \(x\in \bigcap _{i=1}^n h_i^{1}(t_i)\subset {\Uparrow }e\). Taking into account that \({\Uparrow }e=\mathrm{Int }({\uparrow }e)\) is an upper set in \(E\), we conclude thatand hence \(I=\bigcup _{i=1}^n h_i^{1}(\mathbf {2}\setminus \{t_i,1\})\) is a required openandclosed ideal in \(E\) such that \(x\in E\setminus I\subset {\Uparrow }e\). \(\square \)$$\begin{aligned} x\in \bigcap _{i=1}^n h_i^{1}(t_i)\subset \bigcap _{i=1}^nh_i^{1}(\{t_i,1\})\subset {\Uparrow }e \end{aligned}$$
A subset \(A\) of a topological semilattice \(E\) will be called \(U\) dense in \(E\) if for each point \(x\in E\) and a neighborhood \(O_x\subset E\) of \(x\) there is an idempotent \(e\in O_x\cap A\) such that \(e\ll x\). It is clear that a topological semilattice \(E\) is a \(U\)semilattice if and only if the set \(E\) is \(U\)dense in \(E\).
A topological semilattice \(E\) will be called \(U\) separable if it contains a countable \(U\)dense subset \(A\subset E\).
Proposition 2.5
Each second countable \(U\)semilattice \(E\) is \(U\)separable.
Proof
Fix a countable base \({\mathcal {B}}\) of the topology of the space \(E\). For every basic set \(B\in {\mathcal {B}}\) we shall construct a countable set \(A_B\subset B\) such that for any point \(x\in B\) there is a point \(a\in A_B\) with \(x\in {\Uparrow }a\).
Since \(E\) is a \(U\)semilattice, for every point \(x\in B\), there are a point \(a_{x}\in B\) with \(x\in {\Uparrow }a_{x}\) and a basic neighborhood \(U_{x}\in {\mathcal {B}}\) of \(x\) such that \(U_{x}\subset {\Uparrow }a_{x}\). The family \({\mathcal {U}}_B=\{U_{x}:x\in B\}\subset {\mathcal {B}}\) is countable and hence can be enumerated as \({\mathcal {U}}_B=\{V_n:n\in \omega \}\). For every \(n\in \omega \) find a point \(x_n\in B\) such that \(U_n=U_{x_n}\) and observe that \(A_B=\{a_{x_n}:n\in \omega \}\) is a countable set with the required property: for any point \(x\in B\) there is a point \(a=a_{x_n}\in A_B\) such that \(x\in U_x=V_n=U_{x_n}\subset {\Uparrow }a\).
Then the countable union \(A=\bigcup _{B\in {\mathcal {B}}}A_B\) is a countable \(U\)dense subset in \(E\), which implies that the semilattice \(E\) is \(U\)separable. \(\square \)
2.5 Topological Clifford \(U\)semigroups
A topological Clifford semigroup \(S\) is defined to be a topological Clifford \(U\) semigroup if its maximal semilattice \(E=\{x\in S:xx=x\}\) is a \(U\)semilattice.
2.6 Reduced products over topological semigroups
Let \(E\) and \(H\) be topological semigroups and \(I\) be a closed ideal in \(E\).

the map \((E\setminus I)\times H\hookrightarrow E\times _{I}H\) is a topological embedding,

the projection \(\pi :E\times _{I}H\rightarrow E\) is continuous.
We shall be especially interested in reduced products of the form \(E\times _{I_e}H\) where \(H\) is a topological group, \(E\) is a topological semilattice, \(e\) is an idempotent in \(E\), and \(I_e=E\setminus {\Uparrow }e\) is the closed ideal in \(E\) determined by the idempotent \(e\). Here \({\Uparrow }e=\mathrm{Int }({\uparrow }e)\) is the interior of the upper cone of \(e\) in \(E\).
For the compact topological semilattice \({\mathbb {I}}=[0,1]\) and the idempotent \(e=0\) the ideal \(I_e\) coincides with the singleton \(\{0\}\). The reduced product \({\mathbb {I}}\times _{\{0\}} G\) will be denoted by \(\widehat{G}\) and called the cone over the topological group \(G\). The cone \(\widehat{G}={\mathbb {I}}\times _{\{0\}} G\) contains the reduced product \(\mathbf {2}\times _{\{0\}} G\), which will be denoted by \(\dot{G}\) and called the 0extension of \(G\). Observe that \(\hat{G}\) and \(\dot{G}\) are topological Clifford \(U\)semigroups.
2.7 Ditopological Clifford semigroups
Let \(S\) be a topological Clifford semigroup and \(\pi :S\rightarrow E,\,\pi :x\mapsto xx^{1}=x^{1}x\), be the projection of \(S\) onto its maximal semilattice \(E=\{x\in S:xx=x\}\). Following [3], we define a topological Clifford semigroup \(S\) to be a ditopological Clifford semigroup if for any point \(x\in S\) and a neighborhood \(O_x\subset S\) of \(x\) there are neighborhoods \(U_x\subset S\) and \(W_{\pi (x)}\subset E\) of \(x\) and \(\pi (x)\), respectively, such that \((U_x\div W_{\pi (x)})\cap \pi ^{1}(W_{\pi (x)})\subset O_x\). Ditopological Clifford semigroups are particular cases of ditopological unosemigroups introduced and studied in [3], where the following proposition is proved.
Proposition 2.6
The class of ditopological Clifford semigroups contains all compact topological Clifford semigroups, all topological groups, all topological semilattices, and is closed under taking Clifford subsemigroups, Tychonoff products, and reduced products.
This proposition implies:
Corollary 2.7
Let \(E\) be a topological semigroup, \(I\) be a closed ideal in \(E\), and \(G\) be a topological group. Then the reduced product \(E\times _I G\) is a ditopological Clifford semigroup. In particular, for every idempotent \(e\in E\) the reduced product \(E\times _{I_e} G\) is a ditopological Clifford semigroup. Consequently, the 0extension \(\dot{G}=\mathbf {2}\times _{\{0\}} G\) and the cone \(\widehat{G}={\mathbb {I}}\times _{\{0\}} G\) over the topological group \(G\) are ditopological Clifford semigroups.
3 Two embedding theorems
In this section we prove two embedding theorems for ditopological Clifford \(U\)semigroups. For compact topological Clifford semigroups these embedding theorems were proved by O. Hryniv [8]. We recall that a topological Clifford \(U\) semigroup is a topological Clifford semigroup \(S\) whose maximal semilattice \(E\) is a \(U\)semilattice. The map \(\pi :S\rightarrow E,\,\pi :x\mapsto xx^{1}=x^{1}x\), will be called the projection of \(S\) onto its maximal semilattice \(E\). For every idempotent \(e\in E\) the preimage \(\pi ^{1}(e)\) coincides with the maximal subgroup \(H_e\) of \(S\) containing the idempotent \(e\).
3.1 The first embedding theorem
Given any idempotent \(e\in E\), consider the ideal \(I_e=E\setminus {\Uparrow }e=E\setminus \mathrm{Int }({\uparrow }e)\) in \(E\) and the reduced product \(E\times _{I_e} H_e\). Let \(\pi _e:E\times _{I_e} H_e\rightarrow E\) denote the natural projection.
Theorem 3.1
Proof
We lose no generality assuming that \(S\) is not empty. In this case the semilattice \(E\) and the \(U\)dense subset \(A\) of \(E\) both are nonempty. The map \(h_A\) is a continuous homomorphism, being a diagonal product of continuous homomorphisms \(h_{a}, a\in A\).
First, we show that \(h_A\) is an injective homomorphism. Take two distinct points \(x,y\in S\) and consider their projections \(\pi (x), \pi (y)\) on the maximal semilattice \(E\).
If \(\pi (x)\ne \pi (y)\), then it follows immediately that \(h_{a}(x)\ne h_{a}(y)\) for all \(a\in A\), which implies \(h_A(x)\ne h_A(y)\).
If \(\pi (x)= \pi (y)\), then the open set \(U=\{e\in E: xe\ne ye\}\subset E\) is a neighborhood of the idempotent \(e=\pi (x)=\pi (y)\). The \(U\)density of the set \(A\) in \(E\) yields an element \(a\in A\cap V\) such that \(e\in {\Uparrow } a\). For this element \(a\) we get \(h_{a}(x)=(e,xa)\ne (e,ya)=h_{a}(y)\), which means that \(h_{a}\) separates the points \(x,y\in S\). Hence \(h_A\) is injective.
Now we prove that the inverse function \(h_A^{1}:h_A(S)\rightarrow S\) is continuous. Given any element \(x\in S\) and an open neighborhood \(O_{x}\subset S\) of \(x\), we need to find a neighborhood \(O_{h_A(x)}\subset h_A(S)\) of the point \(h_A(x)\) such that \(h_A^{1}(O_{h_A(x)})\subset O_{x}\).
Since the topological Clifford semigroup \(S\) is ditopological, there are neighborhoods \(U_{x}\) of \(x\) and \(W_{e}\subset E\) of the idempotent \(e=\pi (x)\) such that \((U_x\div W_e)\cap \pi ^{1}(W_{e})\subset O_x\). It follows from \(xe=x\in U_{x}\) and the continuity of the multiplication that there is a neighborhood \(W'_{e}\subset W_{e}\) of the idempotent \(e\) such that \(x W'_{e}\subset U_{x}\).
The \(U\)density of \(A\) in \(E\) yields a point \(a\in A\cap W_e'\) such that \(e\in {\Uparrow }a\). Consider the neighborhood \(W=W'_{e}\cap {\Uparrow }a\) of \(e\) and the open subset \(U=U_{x}\cap H_{a}\) in the maximal group \(H_{a}\). Observe that \(W\times U\) is an open neighborhood of the point \(h_{a}(x)\) in \(E\times _{I_{a}}H_{a}\) and hence \(O_{h_A(x)}=\mathrm{pr}^{1}_{a}(W\times U)\) is an open neighborhood of \(h_A(x)\) in the Tychonoff product \(\prod _{a\in A}E\times _{I_{a}}H_{a}\). Here \(\mathrm{pr}_{a}:\prod _{b\in A}E\times _{I_{b}}H_{b}\rightarrow E\times _{I_{a}}H_{a}\) denotes the \(a\)th coordinate projection.
To finish the proof of the continuity of \(h_A^{1}\) at \(h_A(x)\) it suffices to check that \(h_A^{1}(O_{h_A(x)})\subset O_{x}\). Take any point \(y\in S\) with \(h_A(y)\in O_{h_A(x)}\). The definition of \(O_{h_A(x)}\) guarantees \(h_{a}(y)=\mathrm{pr}_a(h_A(y))\in W\times U\) and hence \(\pi (y)\in W\subset W'_{e}\subset W_{e}\) and \(ya\in U\subset U_{x}\), which means that \(y\in (U_x\div W_e)\cap \pi ^{1}(W_{e})\subset O_x\). \(\square \)
3.2 The second embedding theorem
Now we shall modify the embedding \(h_A\) from Theorem 3.1 to produce an embedding of the topological Clifford \(U\)semigroup \(S\) into the Tychonoff product of the maximal semilattice \(E\) and the cones \(\hat{H}_e,\,e\in E\), over maximal subgroups of \(S\).
Theorem 3.2
Proof
The definition of the map \(\pi \hat{h}_A^A\) guarantees that it is a continuous homomorphism. To prove that it is injective take any two distinct points \(x,y\in S\) and consider their projections \(\pi (x),\pi (y)\) on the maximal semilattice \(E\).
If \(\pi (x)\ne \pi (y)\), then \(\pi \hat{h}_A^{A}(x)=(\pi (x),\hat{h}_A^{A}(x))\ne (\pi (y),\hat{h}_A^{A}(y))=\pi \hat{h}_A^{A}(y)\).
If \(\pi (x)=\pi (y)\), then the open set \(U=\{e\in E: xe\ne ye\}\subset E\) is a neighborhood of the idempotent \(e=\pi (x)=\pi (y)\). The \(U\)density of the set \(A\) in \(E\) yields an element \(a\in A\cap V\) with \(e\in {\Uparrow }a\), and an element \(b\in A\cap V\cap {\Uparrow }a\) with \(e\in {\Uparrow }b\). It follows that \(1=h^{b}_{a}(b)=h_a^b(e)\), which clearly forces \(\hat{h}_{a}^{b}(x)=({h}^{b}_{a}(e),ax)=(1,ax)\ne (1,ay)=({h}^{b}_{a}(e),ay)=\hat{h}_{a}^{b}(y)\) and so \(\pi \hat{h}_A^{A}(x)\ne \pi \hat{h}_A^{A}(y)\).
It remains to show that the inverse function \((\pi \hat{h}_A^{A})^{1}:\pi \hat{h}_A^{A}(S)\rightarrow S\) is continuous. Given an element \(x\in S\) and an open neighborhood \(O_x\subset S\) of \(x\), we need to find a neighborhood \(O_{y}\subset E\times \prod _{e\in A}\widehat{H}_e^{A\cap {\Uparrow }e}\) of the point \(y=\pi \hat{h}_A^A(x)\) such that \((\pi \hat{h}_A^{A})^{1}(O_y)\subset O_x\).
Since the topological Clifford semigroup \(S\) is dicontinuous, there are a neighborhood \(U_x\subset S\) of \(x\) and a neighborhood \(W_{e}\subset E\) of the idempotent \(e=\pi (x)\) such that \((U_x\div W_e)\cap \pi ^{1}(W_{e})\subset O_x\). It follows from \(xe=x\in U_x\) and the continuity of multiplication that there is a neighborhood \(W'_{e}\subset W_{e}\) such that \(x W_{e}'\subset U_x\).
The \(U\)density of \(A\) in \(E\) yields a point \(a\in A\cap W_e'\) such that \(e\in {\Uparrow }a\) and a point \(b\in A\cap W_e'\cap {\Uparrow }a\) such that \(e\in {\Uparrow }b\). It follows that \(W=W_e'\cap {\Uparrow }b\) is an open neighborhood of the point \(e=\pi (x)\).
Observe that \(h_a^b(e)=h_a^b(b)=1\) and hence \(\hat{h}_a^b(x)=(1,xa)\). Then \(U'=(0,1]\times (U_x\cap H_a)\) is an open neighborhood of \(\hat{h}_a^b(x)\) in \(\widehat{H}_a\) and its preimage \(U=\mathrm{pr}_a^{1}(\mathrm{pr}_b^{1}(U'))\) is an open neighborhood of \(\hat{h}_A^A(x)\) in the Tychonoff product \(\prod _{c\in A}\widehat{H}^{A\cap {\Uparrow }c}_c\). Here \(pr_{a}:\prod _{c\in A}\widehat{H}^{A\cap {\Uparrow }c}_c\rightarrow \widehat{H}^{A\cap {\Uparrow }{a}}_{a}\) and \(pr_{b}:\widehat{H}^{A\cap {\Uparrow }{a}}_{a}\rightarrow \widehat{H}_{a}\) denote the coordinate projections.
We claim that the neighborhood \(O_{y}=W\times U\) of the point \(y=\pi \hat{h}_A^{A}(x)\) witnesses that \((\pi \hat{h}_A^{A})^{1}\) is continuous at \(y\). Given any point \(z\in S\) with \(\pi \hat{h}_A^A(z)\in O_y=W\times U\), we need to check that \(z\in O_x\). It follows that \(\pi (z)\in W=W'_e\cap {\Uparrow }b\subset W_e\) and \((h_a^b(\pi (z)),za)=\hat{h}_a^b(z)\in U'=(0,1]\times (U_x\cap H_a)\). So, \(z\in (U_x\div W_e)\cap \pi ^{1}(W_e)\subset O_x\), which completes the proof. \(\square \)
4 Some corollaries of embedding theorem
In this section we shall derive some corollaries of the Embedding Theorem 3.2.
Corollary 4.1

(1) \(S\) embeds into the Tychonoff product of topological semilattices and cones over topological groups;

(2) \(S\) embeds into the topological Clifford semigroup \(E\times \prod _{e\in A}\widehat{H}^{{\Uparrow }e\cap A}_{e}\);

(3) \(S\) is ditopological.
Proof
The implication \((3)\Rightarrow (2)\) follows from Theorem 3.2, \((2)\Rightarrow (1)\) is trivial, and \((1)\Rightarrow (3)\) follows from Proposition 2.6 and Corollary 2.7. \(\square \)
In the same way Theorem 3.2 implies:
Corollary 4.2

(1) \(S\) embeds into the Tychonoff product of topological semilattices and 0extensions of topological groups;

(2) \(S\) embeds into the topological Clifford semigroup \(E\times \prod _{e\in A}\dot{H}^{{\Uparrow }e\cap A}_{e}\);

(3) \(S\) is ditopological.
Let us recall that given two topological semigroups \(X,Y\), we say that \(X\) is \(Y\) embeddable if the canonical homomorphism \(X\rightarrow Y^{\mathrm{Hom}(X,Y)}\) is a topological embedding. It is easy to see that \(X\) is \(Y\)embeddable, if and only if \(X\) embeds into some power \(Y^\kappa \) of \(Y\). In this case we shall write \(X\hookrightarrow Y^\kappa \).
Corollary 4.3

(1) \(S\) embeds into a Tychonoff product of the cones over topological groups;

(2) \(S\) is \(\widehat{H}\)embeddable;

(3) \(S\) is ditopological and \(E\) is \({\mathbb {I}}\)embeddable.
Proof
The implication \((2)\Rightarrow (1)\) is trivial and \((1)\Rightarrow (3)\) follows from Proposition 2.6 and Corollary 2.7.
\((3)\Rightarrow (1)\) Assume that the topological Clifford \(U\)semigroup \(S\) is ditopological and its maximal semilattice \(E\) is \({\mathbb {I}}\)embeddable. Consequently, \(E\hookrightarrow {\mathbb {I}}^{\mathrm{Hom}(E,{\mathbb {I}})}\hookrightarrow \widehat{H}^{\mathrm{Hom}(E,{\mathbb {I}})}\).
By Theorem 3.2, \(S\) embeds into the Tychonoff product \(E\times \prod _{e\in E}\widehat{H}_e^{E}\), and the latter product embeds into the Tychonoff product \(\widehat{H}^{\mathrm{Hom}(E,{\mathbb {I}})}\times \widehat{H}^{E\times E}\), which implies that \(S\) is \(\widehat{H}\)embeddable. \(\square \)
In the same way Theorem 3.2 implies:
Corollary 4.4

(1) \(S\) embeds into a Tychonoff product of the 0extensions of topological groups;

(2) \(S\) is \(\dot{H}\)embeddable;

(3) \(S\) is ditopological and \(E\) is \(\mathbf {2}\)embeddable.
5 Characterizing precompact topological Clifford \(U\)semigroups
In this section we shall apply Embedding Theorem 3.2 to prove a compactification theorem for topological Clifford \(U\)semigroups. We recall that a topological semigroup \(S\) is called precompact if \(S\) embeds into a compact topological semigroup.
It is wellknown [1, 3.7.16] that a topological group \(G\) is precompact if and only if \(G\) is totally bounded, which means that for each nonempty open set \(U\subset G\) there is a finite subset \(F\subset G\) such that \(FU=G=UF\).
Theorem 3.2 combined with Proposition 2.6 imply the following characterization of precompact topological Clifford \(U\)semigroups.
Theorem 5.1

(1) the maximal semilattice \(E=\{e\in S:ee=e\}\) of \(S\) is precompact,

(2) every maximal subgroup \(H_e,\,e\in E\), of \(S\) is precompact, and

(3) \(S\) is ditopological.
6 Metrizability of ditopological Clifford \(U\)semigroups
In this section we apply the Embedding Theorem 3.2 to construct subinvariant metrics on ditopological Clifford \(U\)semigroups.

left subinvariant if \(d(zx,zy)\le d(x,y)\) for any points \(x,y,z\in S\);

right subinvariant if \(d(xz,yz)\le d(x,y)\) for any points \(x,y,z\in S\);

subinvariant if \(\max \{d(zx,zy),d(xz,yz)\}\le d(x,y)=d(x^{1},y^{1})\) for any points \(x,y,z\in S\).
By the BirkhoffKakutani Theorem [1, 3.3.12], a topological group \(G\) is metrizable by a left subinvariant metric if and only if \(G\) is first countable. By [1, 3.3.14], a topological group \(G\) is metrizable by a subinvariant metric if and only if \(G\) is first countable and balanced. The latter means that for every neighborhood \(U\subset G\) of the unique idempotent \(e\) of \(G\) there is a neighborhood \(U\subset U\) of \(e\) such that \(xVx^{1}=V\) for all \(x\in G\). A simple example of a metrizable topological group, which is not balanced (and hence not metrizable by a subinvariant metric) is the group \(\mathrm{Aff}({\mathbb {R}})\) of affine transformations of the real line.
Theorem 6.1
Each second countable precompact topological Clifford semigroup \(S\) is metrizable by a subinvariant metric.
Proof
Now we turn to the metrization problem for ditopological Clifford \(U\)semigroups. With help of Theorem 3.2 this problem can be reduced to the problem of metrization of semilattices and cones over topological groups.
This fact combined with Theorem 3.2 implies the following metrization theorem, which generalizes some metrization theorems proved in [2].
Theorem 6.2

(1) metrizable if and only if the maximal semilattice \(E\) is metrizable and all maximal subgroups \(H_e,\,e\in A\), of \(S\) are first countable;

(2) metrizable by a left subinvariant metric if and only if the maximal semilattice \(E\) is metrizable by a subinvariant metric and all maximal subgroups \(H_e,\,e\in A\), of \(S\) are first countable;

(3) metrizable by a subinvariant metric if and only if the maximal semilattice \(E\) is metrizable by a subinvariant metric and all maximal subgroups \(H_e,\,e\in A\), of \(S\) are first countable and balanced.
Let us remark that by Proposition 2.5, each second countable \(U\)semilattice contains a countable \(U\)dense subset \(A\subset E\).
Theorem 6.2 reduces the problem of (subinvariant) metrizability of a topological Clifford \(U\)semigroup \(S\) to the problem of (subinvariant) metrizablity of the maximal subsemilattice \(E\) of \(S\). Surprisingly, but this problem is not trivial as witnessed by the following simple example.
Example 6.3
 (1)
\(E\) is countable and locally compact;
 (2)
\(E\) is Lawson;
 (3)
\(E\) is metrizable;
 (4)
\(E\) is not metrizable by a subinvariant metric;
 (5)
\(E\) is not precompact.
Proof
Consider a semilattice \(E=\{0\}\cup \{\frac{1}{n}\}_{n\in {\mathbb {N}}}\) endowed with the semilattice operation of minimum. Endow \(E\) with the topology \(\tau \) in which all nonzero points are isolated and the sets \(B_n=\{0\}\cup \{\frac{1}{2k}\}_{k\geqslant n},\,n\in {\mathbb {N}}\), form a neighborhood base at 0. It is clear that \(E\) is a topological semilattice satisfying the conditions (1)–(3) of Example 6.3.
References
 1.Arhangel’skii, A., Tkachenko, M.: Topological groups and related structures, Atlantis Press. Paris; World Sci. Publ, NJ (2008)Google Scholar
 2.Banakh, T.: On cardinal invariants and metrizability of topological inverse Clifford semigroups. Topol. Appl. 128(1), 13–48 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
 3.Banakh, T., Pastukhova, I.: Topological and ditopological unosemigroups. Mat. Stud. 39(2), 119–133 (2013)MathSciNetzbMATHGoogle Scholar
 4.Carruth, J.H., Hildebrant, J.A., Koch, R.J.: The Theory of Topological Semigroups, I. Marcell Dekker Inc, New York and Basel (1983)Google Scholar
 5.Carruth, J.H., Hildebrant, J.A., Koch, R.J.: The Theory of Topological Semigroups, II. Marcell Dekker Inc, New York and Basel (1986)Google Scholar
 6.Engelking, R.: Theory of dimensions finite and infinite. Heldermann Verlag, Lemgo (1995)zbMATHGoogle Scholar
 7.Howie, J.M.: Fundamentals of Semigroup Theory. Oxford University Press Inc, New York (1995)zbMATHGoogle Scholar
 8.Hryniv, O.: Universal objects in some classes of Clifford topological inverse semigroups. Semigroup Forum 75(3), 683–689 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
 9.Koch, R.J., Wallace, A.D.: Notes on inverse semigroups. Rev. Roumaine Math. Pures Appl. 9, 19–24 (1964)MathSciNetzbMATHGoogle Scholar
 10.Kruming, P.D.: Latticeordered semigroups. Izv. Vyss. Ucebn. Zaved. Matematika. 43(6), 78–87 (1964)MathSciNetGoogle Scholar
 11.Petrich, M.: Inverse semigroups. Wiley, New York (1984)zbMATHGoogle Scholar
Copyright information
Open AccessThis article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.