A construction of compact right topological semigroups from compact groups (Q1820878)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A construction of compact right topological semigroups from compact groups
scientific article

    Statements

    A construction of compact right topological semigroups from compact groups (English)
    0 references
    1987
    0 references
    The aim of the paper is to construct a class of pathological compact right topological semigroups. To be precise, each of the semigroups \(\Sigma\) produced has the following properties. (i) There is a dense open discrete subsemigroup S. (ii) The complement of S in \(\Sigma\) is the minimal ideal of \(\Sigma\). (iii) This minimal ideal is a left group and therefore isomorphic with \(E\times G\) where E is left-zero and G is a group. (iv) Each maximal subgroup \(\{\) \(e\}\times G\) is dense in \(E\times G\). The paper asserts that such a semigroup can be constructed starting from any infinite group G which can be given a compact topology \(\gamma\) taking S to be any subsemigroup dense in (G,\(\gamma)\). The proof takes \(\Sigma\) to be the Gelfand space of the \(C^*\)-algebra generated by those bounded functions on G which are \(\gamma\)-continuous except at one point. The paper also asserts that \(\{\) \(s\in \Sigma:\) \(x\mapsto sx\) is continuous\(\}\) is precisely S. This is true provided E has at least two elements. D. Helmer has pointed out that statements in the paper which imply that E is always large are incorrect. In fact, if \(\gamma\) is non- metrizable then E has exactly one point (so that \(E\times G\) is isomorphic with G). For metrizable \(\gamma\), E has cardinal \(2^{{\mathfrak c}}\), where \({\mathfrak c}\) is the cardinal of the continuum. Proofs of these assertions, together with a simpler construction of these semigroups, will be published in this journal by \textit{D. Helmer} and \textit{N. Isik}.
    0 references
    compact semigroup
    0 references
    minimal ideal
    0 references
    maximal subgroup
    0 references
    Gelfand space
    0 references
    \(C^ *\)-algebra
    0 references
    0 references

    Identifiers