On locally compact semitopological O-bisimple inverse \(\omega\)-semigroups (Q723441)

The author investigates the structure of Hausdorff locally compact semitopological \(0\)-bisimple inverse \(\omega\)-semigroups with compact maximal subgroups. In particular, he shows that a Hausdorff locally compact semitopological \(0\)-bisimple inverse \(\omega\)-semigroup with a compact maximal subgroup is either compact or it is a topological sum of its \(H\)-classes. Also, the author describes the structure of Hausdorff locally compact semitopological \(0\)-bisimple inverse \(\omega\)-semigroups with monothetic maximal subgroups. Namely, he shows the following dichotomy: a \(T_1\) locally compact semitopological Reilly semigroup with a non-annihilating homomorphism \(\theta\) over the additive group of integers with adjoined zero is either compact or discrete. This result generalizes the classical result of Gutik which states that a locally compact semitopological bicyclic monoid with an adjoined zero is either compact or discrete. At the end some properties of the remainder of the closure of the discrete Reilly semigroup in a semitopological semigroup are established.