\(c\)-compactness in locally compact groups and paratopological groups (Q682107)

A \textit{paratopological group} is a pair \((G,\mathbb T)\) where \(G\) is a group and \(\mathbb T\) a topology on it such that the multiplication is continuous, see \textit{N. Bourbaki} [General Topology, Part 1, Addison-Wesley Publ. Comp. (1966; Zbl 0301.54001)]. In the paper Hausdorff \textit{c-compact} paratopological groups are studied. A paratopological group \(G\) is called \textit{c-compact} if for every paratopological group \(H\), the projection onto the second factor \(\pi:G\times H\to H\) carries closed subgroups of \(G\times H\) in closed subgroups of \(H\). The authors give three conditions under which \(c\)-compactness conicides with compactness. One of them is: \(G\) is a locally compact group such that set \(P(G/G_0)\) of compact elements of the factor group \(G/G_0\) of \(G\) with respect to the connected component \(G_0\) is compact (Theorem 3.9 (a)). For any paratopological group \((G,\mathbb T)\) the topology \(\mathbb T^{-1}=\{U^{-1}| U\in\mathbb T\}\) gives a structure of a paratopological group on \(G\). The pair \(G^*=(G,\mathbb T\vee\mathbb T^{-1})\) is a topological group and \((G,\mathbb T)\) is a \(c\)-compact paratopological group if and only if \(G^*\) is a c-compact paratopological group (Theorem 4.7). In the paper a few open questions are posed. We mention here the following: Problem 4.11. Does there exist a c-compact topological group (in the category of topological groups) that is not a \(c\)-compact paratopological group?