Strong realcompactness and strong Dieudonné completeness in topological groups (Q409713): Difference between revisions

The authors show that a topological group \(G\) is topologically isomorphic to a closed subgroup of a topological product of metrizable groups if and only if \(G\) is \(\omega\)-balanced and \(G_\delta\)-closed in the Raĭkov completion \(\rho G\) of \(G\). They then deduce that a topological group \(G\) is topologically isomorphic to a closed subgroup of a topological product of second countable groups if and only if \(G\) is \(\omega\)-narrow and \(G_\delta\)-closed in \(\rho G\). Finally, they give some applications of these results to PT-groups and \(\mathbb{R}\)-factorizable groups.