Factorization theorems for topological groups and their applications (Q756190)

A topological group G is called \({\mathbb{R}}\)-factorizable if for every continuous function f: \(G\to {\mathbb{R}}\) there exist a continuous homomorphism \(\pi\) : \(G\to H\) onto a topological group H of countable weight and a continuous function h: \(H\to {\mathbb{R}}\) with \(f=h_ 0\pi\). It is known that all pseudocompact groups are \({\mathbb{R}}\)-factorizable [\textit{W. W. Comfort} and \textit{K. A. Ross}, Pac. J. Math. 16, 483-496 (1966; Zbl 0214.285)]. In the paper under review other classes of \({\mathbb{R}}\)- factorizable topological groups are found. For example, all totally bounded and all Lindelöf topological groups are \({\mathbb{R}}\)-factorizable. The author proves also that if a compact space X is the continuous image of a dense subspace of a \(\sigma\)-compact topological group, then the weight and the tightness of X coincide. If in addition X is \(\aleph_ 0\)-monolothic, then X is metrizable. The latter results give answers to two problems of \textit{A. V. Arkhangel'skij}.