Semicontinuous groups and separation properties (Q1196622)

A semicontinuous group is a pair \((G,t)\), where \(G\) is a group and \(t\) a topology on \(G\) so that every left and every right translation is continuous. If \((G,t)\) is a semicontinuous group, let \(S\) be the neighborhood base at the identity \(e\). Let \(q(t)\) denote the quotient topology on \(G\) generated by the multiplication map \(m: G\times G\to G\), and if \(N\) is a normal subgroup of \(G\), let \(\pi(t)\) denote the quotient topology on \(G/N\) generated by the natural map \(\pi: G\to G/N\). It is shown that both (\(G/N\), \(\pi(t)\)) and (\(G\), \(q(t)\)) are semicontinuous groups. It is also proved that \(G/N\) is Hausdorff if and only if \(N=\bigcap_{V\in {\mathcal S}}V^ 2N\). Finally if \(K\) denotes the equivalence class of \(e\) determined by the equivalence relation ``\(x\sim y\) if and only if there does not exist \(V\in {\mathcal S}\) such that \(xV\cap yV=\emptyset\)'', it is proved that \(K=\bigcap_{V\in{\mathcal S}}V^ 2\), and \(K\) is the minimum normal subgroup with the property that \(G/K\) is Hausdorff.