Metrizability of Clifford topological semigroups

From MaRDI portal



Abstract: We prove that a topological Clifford semigroup S is metrizable if and only if S is an M-space and the set E=einS:ee=e of idempotents of S is a metrizable Gdelta-set in S. The same metrization criterion holds also for any countably compact Clifford topological semigroup S.


By the Birkhoff-Kakutani theorem, a topological group \(G\) is metrizable if and only if it is first countable. In this paper, the authors prove that a countably compact Clifford topological semigroup \(S\) is metrizable if and only if the set \(E\) of idempotents of \(S\) is a metrizable \(G_\delta\)-set in \(S\). The proof is divided into a series of the following claims: \textbf{Claim 1:} The space \(S\) is first countable at each point \(e\in E\). \textbf{Claim 2:} The inversion \(x\mapsto x^{-1}:S\rightarrow S\) is continuous at each \(e\in E\). \textbf{Claim 3:} For every idempotent \(e\in E\) the maximal subgroup \(H_e=\{x\in S:xx^{-1}=e\}\) is a metrizable topological group. \textbf{Claim 4:} The semigroup \(S\) is topologically periodic, i.e., if for each element \(x\in S\) and each neighborhood \(O_x\subseteq S\) of \(x\) there is an integer \(n\geq 2\) with \(x^n\in O_x\). \textbf{Claim 5:} \(S\) is a topological Clifford semigroup.











This page was built for publication: Metrizability of Clifford topological semigroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q444659)