Axioms of separation in semitopological groups and related functors (Q386222): Difference between revisions

The author considers the category of semitopological groups, that is, groups with a topology in which the left and right translations are continuous; the morphisms of this category are the continuous homomorphisms. No separation assumptions on the topology of the groups are made. The main result states that for every \(i=0,1,2,3,3.5,\) there exists a covariant functor \(T_i\) in the category of semitopological groups corresponding to the class \({\mathcal C}\) of \(T_i\)-spaces such that \(T_i(G)\) is the \(T_i\)-reflection of \(G,\) for each semitopological group \(G.\) Similarly, there exist the covariant functors \(Reg\) and \(Tych\) in the same category corresponding to the respective classes of regular and Tychonoff spaces. (Note that regularity here means the combination of the \(T_1\) and \(T_3\)-separation axioms.) The author then studies some properties of the functors \(T_i,\) \(Reg\) and \(Tych.\) For instance he shows that the canonical homomorphisms \(\varphi_{G,i}\) of \(G\) onto \(T_i(G)\) are open for \(i=0,1,2\) and gives an internal description of the groups \(T_0(G)\) and \(T_1(G)\) by determining the kernels of \(\varphi_{G,0}\) and \(\varphi_{G,1}.\) (Such a description remains unknown for the case \(\varphi_{G,2}\).) Some of his results are also applied to the narrower category of paratopological groups for which multiplication is required to be jointly continuous. Although the topic of the paper is mainly categorical, the author's approach is essentially topological.