\(p\)-boundedness in paratopological groups (Q500942)

Let \(G\) be a paratopological group with neutral element \(e\). \(G\) is said to be \(\omega\)-admissible if for every sequence \(\{U_n:n\in\omega\}\) of open neighborhoods of \(e\) there there exists a subgroup \(H\subseteq\bigcap_{n\in\omega}U_n\) such that \(G/H\) is submetrizable. \(G\) is said to be \(\omega\)-balanced if for every neighborhood \(U\) of \(e\) there is a countable family \(\gamma\) of neighborhoods of \(e\) such that for every \(x\in G\) there is \(V\in\gamma\) such that \(xVx^{-1}\subseteq U\). A Hausdorff paratopological group \(G\) has countable Hausdorff number if for every neighborhood \(U\) of \(e\) there exists a countable family \(\gamma\) of neighborhoods of \(e\) such that \(\bigcap_{V\in\gamma}VV^{-1}\subseteq U\). A subset \(B\) of a topological space \(X\) is said to be \(p\)-bounded where \(p\in\omega^*\) is a free ultrafilter if every sequence of open sets \(\{V_n:n\in\omega\}\) with \(B\cap V_n\neq\emptyset\) for all \(n\in\omega\) has a \(p\)-limit point, i.e., there is \(x\in X\) such that \(\{n\in\omega:U\cap V_n\neq\emptyset\}\in p\) for every neighborhood \(U\) of \(x\). In the paper under the review the authors prove that if \(B\) is a subset of an \(\omega\)-admissible paratopological group \(G\), then \(B\) is bounded in \(G\) if and only if \(B\) is \(p\)-bounded in \(G\) for each \(p\in\omega^*\) if and only if \(B\) is \(p\)-bounded in \(G\) for some \(p\in\omega^*\). The authors present several new classes of \(\omega\)-admissible paratopological groups. In particular they prove that Hausdorff \(\omega\)-balanced paratopological groups with countable Hausdorff number are \(\omega\)-admissible, every regular totally \(\omega\)-narrow paratopological group is \(\omega\)-admissible, and if \(G\) is an \(\omega\)-admissible paratopological group then so is every subgroup of \(G\) and its semiregularization. In the case of locally feebly compact paratopological groups they analyze how the fact that the semiregularization of a paratopological group \(G\) is a topological group influences the properties of bounded subsets of \(G\). Also properties of \(C\)-compact subsets of \(\omega\)-admissible or locally feebly compact Hausdorff paratopological groups are studied.