Feebly compact paratopological groups and real-valued functions (Q691038): Difference between revisions

The authors study feebly compact and \(2\)-pseudocompact paratopological groups. A space is called feebly compact if every locally finite family of open sets in the space is finite. In Theorem 1, they construct a \(2\)-peudocompact, feebly compact Hausdorff paratopological group which is not precompact and hence not a topological group. Since every infinite precompact topological group contains a countable non-closed subset, it is surprising that they present an example in Theorem 2 for an infinite feebly compact Hausdorff paratopological group \(G\) such that all countable subsets of \(G\) are closed. This group \(G\) has a nonempty open subsemigroup \(C\) such that \(C^{-1}\) is a closed discrete subgroup of \(G\), hence \(G\) is not \(2\)-pseudocompact. But, in Theorem 3, they present a feebly compact \(2\)-pseudocompact Hausdorff paratopological group \(H\) such that all countable subsets of \(H\) are closed. With these theorems the authors give negative answers to the questions which are posed in [\textit{O. T. Alas} and \textit{M. Sanchis}, Semigroup Forum 74, No. 3, 423--438 (2007; Zbl 1125.22001); \textit{A. Ravsky}, ``Pseudocompact paratopological groups'', \url{arXiv:1003.5343}]. In Section 3, the authors deal with continuous real-valued functions on paratopological groups. A paratopological group \(G\) is \(\mathbb R_i\)-factorizable for \(i=0,1,2,3\) if, for every continuous real-valued function \(g\) on \(G\), one can find a continuous homomorphism \(\pi :G \to H\) onto a second-countable paratopological group \(H\) satisfying the \(T_i\) separation axiom and a continuous real-valued function \(h\) on \(H\) such that \(G=h \circ \pi\). In Theorem 5, they show that every feebly compact paratopological group \(G\) is \(\mathbb R_3\)-factorizable. Moreover, for every continuous real-valued function \(g\) on \(G\), there exists a continuous homomorphism \(\varphi \) of \(G\) onto a second countable Hausdorff topological group \(H\) and a continuous function \(h\) on \(H\) such that \(g= h \circ \varphi \).