A note on the \(T_2\)-reflection of semitopological groups (Q2254724)

According to \textit{M. Tkachenko} [Topology Appl. 161, 364--376 (2014; Zbl 1287.54047)], given a semitopological group \(G\) and a number \(i\in \{ 0,1,2,3,3.5\}\), the \textit{\(T_i\)-reflection} \(T_i(G)\) of \(G\) is a pair \((H,\phi_{G,i})\), where \(H\) is a semitopological group satisfying the \(T_i\) separation axiom and \(\phi_{G,i}\) is a continuous homomorphism of \(G\) onto \(H\) with the following property: for every continuous mapping \(f:G\to X\) to a \(T_i\)-space \(X\), there exists a continuous mapping \(h:H\to X\) such that \(f=h\circ \phi_{G,i}\). Denote by \(\mathcal{N}(e)\) the family of open neighborhoods of the identity of a semitopological group \(G\), and set \(K=\bigcap \{ \overline{U} : U\in \mathcal{N}(e)\}\). The author shows that \(K\) is a closed invariant subgroup of \(G\), and therefore, the \(T_2\)-reflection of \(G\) is topologically isomorphic to \(G/K\). Recall that a space \(X\) is called \textit{feebly compact} if every infinite family of non-empty open sets in \(X\) has an accumulation point. The author proves that, for a semitopological group \(G\), the following assertions are equivalent: (i) \(G\) is feebly compact; (ii) \(T_0(G)\) is feebly compact; (iii) \(T_1(G)\) is feebly compact; (iv) \(T_2(G)\) is feebly compact. These results answer some questions posed by M.~Tkachenko about \(T_i\)-reflexion of semitopological groups, for \(i=1,2\).