On reflections of quasitopological groups and semitopological groups (Q2131794)

A semitopological group \(G\) is a group endowed with a topology such that the multiplication operation on \(G\) is separately continuous. A paratopological group \(G\) is a group endowed with a topology such that the multiplication operation on \(G\) is jointly continuous. The \(T_{i}\)-reflection of a semitopological group \(G\) is a pair \((T_{i}(G),\varphi_{G,i})\), where \(\varphi_{G,i}\) is a continuous homomorphism of \(G\) onto a semitopological group \(T_{i}(G)\) satisfying the \(T_{i}\) separation axiom with \(i\in \{0,1,2,3\}\) and having the following important property: Given a continuous mapping \(f:G\rightarrow X\) to a \(T_{i}\)-space \(X\), there exists a continuous mapping \(g:T_{i}(G)\rightarrow X\) such that \(f=g\circ \varphi_{G,i}\). The authors mainly investigate properties that are invariant and/or inverse invariant under taking \(T_i\)-reflections in semitopological groups. The following is proved: suppose that \(\mathscr{P}\) is a topological property which is preserved under open perfect mappings and is an inverse invariant of open perfect mappings (which holds for e.g. compact spaces, connected spaces, countably compact spaces, countably paracompact spaces, \(P\)-spaces, paracompact spaces); suppose further that \(G\) is a semitopological group, then \(G\) has the property \(\mathscr{P}\) if and only if \(T_{0}(G)\) does. Moreover, it is proved that if the topological property \(\mathscr{P}\) is preserved under perfect mappings (which holds for e.g. countably meta-paracompact spaces, developable spaces, \(M_{3}\)-spaces, metrizable spaces, perfect spaces, semi-stratifiable spaces) and \(G\) is a semitopological group, then \(T_{0}(G)\) has the property \(\mathscr P\) if \(G\) does. Then, the authors claim that a semitopological group \(G\) is a paratopological group if and only if \(T_0(G)\) is and a semitopological group \(G\) is first-countable if and only if \(T_0(G)\) is.