The \(\tau\)-precompact Hausdorff group reflection of topological groups (Q1637585)

A topological group \(G\) is called \textit{\(\tau\)-precompact}, where \(\tau\) is an infinite cardinal number, if for every neighborhood \(V\) of the identity there exists a subset \(K\) of \(G\) with \(| K|<\tau\) such that \(G=K\cdot V\). The class \(\tau PHGrp\) of \(\tau\)-precompact Hausdorff topological groups for a fixed infinite cardinal number, forms a reflective subcategory of the category \(TopGrp\) of all Hausdorff topological groups. In the paper it is proved that the reflection functor \(\omega_\tau:TopGrp\to\tau PHGrp G\) preserves perfect surjective homomorphisms and quotient homomorphisms. The central result of the paper is Theorem 3.7 stating that the reflection functor \(\omega_\tau\) commutes with products.