scientific article; zbMATH DE number 1257355

From MaRDI portal
Publication:4229015





A topological Hausdorff space \((X,\tau)\) with a binary associative continuous operation \(\cdot\) on \(X\) is called a topological semigroup. If, moreover, \(\cdot\) is a group operation and the inverse function is continuous then \((X,\tau ,\cdot)\) is said to be a topological group. If \((X,\tau ,\cdot)\) is a topological semigroup such that \((X,\tau)\) is a Baire space and \((X,\cdot)\) is a group then \((X,\tau ,\cdot)\) is a topological group. Let \((X,\tau ,\cdot)\) be a cancellative, countably compact topological semigroup such that for every \(x\in X\) the \(\tau\)-closure of \(\{x^i\mid i=1,2,\dots\}\) is a group then \((X, \tau ,\cdot)\) is a topological group. Let \((X,\tau)\) be a topological space with \(D\subseteq X\) then the smallest topology \(\tau_1\) containing \( \tau\) and such that \(D\) is \(\tau_1\)-open is called a simple extension of \( \tau\) and \(D\). It is proved that there exists no cancellative topological semigroup \((X,\tau ,\cdot)\) such that one of the following possibilities occurs: \((X,\tau)\) is a locally compact, countably compact, infinite subset of \(\beta N\); \((X,\tau)\) is a simple extension of a compact topology \(\tau'\) on \(X\) and a \(\tau'\)-dense and \(\tau'\)-codense subset \(D\) of \(X\); \(X\) is a union of two non-empty discrete subsets \(Y\) and \(Z\) such that \(Y\) is dense and open. Several open problems are formulated. For the entire collection see [Zbl 0903.00049].











This page was built for publication:

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