Right simple subsemigroups and right subgroups of compact convergence semigroups (Q1580312)

A convergence semigroup is a convergence space \(S\) together with a continuous function \(m\colon S\times S\to S\) such that \(S\) is Hausdorff and \(m\) is associative. The authors give several equivalent conditions characterizing right groups in the class of compact convergence semigroups. It is proved that the closure of a right simple subsemigroup of a compact convergence semigroup is a right simple semigroup and every right simple subsemigroup of a compact convergence semigroup is contained in a unique compact maximal right subgroup. Also the authors show that no two distinct maximal right subgroups of a semigroup intersect. It is also stated that every compact convergence simple semigroup is a group, which is incorrect because of the existence of a finite simple semigroup which is not a group [see \textit{A. H. Clifford} and \textit{G. B. Preston}, The algebraic theory of semigroups, vol. 1 (Providence 1961; Zbl 0111.03403); \S 1.8 and \S 2.7].