Subgroups of products of certain paratopological (semitopological) groups (Q1663862): Difference between revisions

The authors investigate some properties of subgroups of products of certain paratopological (semitopological) groups. The following main results are proved: (1)\, Let \(G\) be an \(\omega\)-balanced regular paratopological group with \(Ir(G)\leq \omega\). Let \(e\) be the identity of \(G\). If for each \(U \in \mathscr{N}(e)\) there exist some \(V \in \mathscr{N}^{\ast}(e)\) (the family of \(\omega\)-good sets containing the identity) with \(V \subset U\) and some \(A \subset G\) such that \(\bigcup \{g(V \cap V^{-1} ): g \in A\} = G\) and \(\{g(V \cap V^{-1} ): g \in A\}\) is star-countable, then \(G\) admits a homeomorphic embedding as a subgroup into a product of strongly metrizable paratopological groups. (2)\, A regular (Hausdorff, \(T_1\)) semitopological group \(G\) admits a homeomorphic embedding as a subgroup into a product of regular (Hausdorff, \(T_1\)) first-countable semitopological groups which are \(\sigma\)-spaces if and only if \(G\) is locally \(\omega\)-good, \(\omega\)-balanced, \(Ir(G) \leq \omega ~(Hs(G) \leq \omega, Sm(G) \leq \omega)\) and with the property that for every open neighborhood \(U\) of the identity \(e\) of \(G\) the cover \(\{xU : x \in G\}\) has a basic refinement \(\mathscr{F}\) which is \(\sigma\)-discrete with respect to a countable family \(\mathscr{V}\) of open neighborhoods of \(e\). (3)\, Let \(G\) be a Hausdorff semitopological group. If for every \(U \in \mathscr{N}(e)\), the family \(\{Ux : x\in G\}\) has an open basic countable refinement which is dominated by a countable family \(\gamma\) and \(Hs(G) \leq \omega\), then \(G\) is projectively Hausdorff second-countable.