Embedding paratopological groups into topological products (Q1013817)

In [\textit{G. I. Kac}, Usp. Mat. Nauk 8, 107--113 (1953; Zbl 0052.26304) and \textit{I. Guran}, Sov. Math., Dokl. 23, 173--175 (1981); translation from Dokl. Akad. Nauk SSSR 256, 1305--1307 (1981; Zbl 0478.22002)], Katz and Guran characterized the topological groups which can be embedded into a product of first-countable and second-countable groups, respectively. This paper extends the above result to paratopological groups. In Theorem 2.7 and 2.8, respectively, a Hausdorff paratopological group admits a topological embedding into a product of first-countable (second-countable) paratopological groups if and only if \(G\) is \(\omega\)-balanced (totally \(\omega\)-narrow) and the Hausdorff number of \(G\) is countable, i.e., for every neighbourhood \(U\) of the identity \(e\), there exists a countable family \(\gamma\) of neighbourhoods of \(e\) such that \(\bigcap_{V\in\gamma} VV^{-1}\subseteq U\). A paratopological group \(G\) is called \(\omega\)-balanced if, for every neighbourhood \(U\) of \(e\) in the associated group topology, there exists a countable subset \(A\) such that \(G=UA=AU\).