On Lindelöf feathered topological groups (Q2216676)

\textit{M. G. Tkachenko} [Topology Appl. 38, No. 1, 21--37 (1991; Zbl 0722.54039)] introduced the notion of \(\mathbb R\)-factorizable topological groups: A topological group \(G\) is \(\mathbb{R}\)-factorizable if for any continuous real-valued function \(f\) on \(G\) there exist a continuous homomorphism \(p:G\to H\) onto a second-countable topological group \(H\) and a continuous real-valued function \(h\) on \(H\) such that \(f=p\circ g\). One of the first factorization theorems for topological groups states that any compact topological group is \(\mathbb{R}\)-factorizable. \par In this paper, the authors define the notion of \(P\mathbb{R}\)-factorizable topological groups and investigate some properties of \(P\mathbb{R}\)-factorizable topological groups. A topological group \(G\) is called \textit{\(P\mathbb{R}\)-factorizable} if for every continuous real-valued function \(f\) on \(G\) there exist a perfect homomorphism \(p:G\to H\) onto a second-countable topological group \(H\) and a continuous real-valued function \(h\) on \(H\) such that \(f=p\circ g\). From the definition, every \(P\mathbb{R}\)-factorizable topological group is \(\mathbb{R}\)-factorizable. \par The authors prove that for any topological group \(G\) the following are equivalent: (1) \(G\) is \(P\mathbb{R}\)-factorizable; (2) \(G\) is Lindelöf feathered; (3) \(G\) is \(\omega\)-narrow and feathered; (4) \(G\) is a Lindelöf \(p\)-space; (5) there exists a compact invariant subgroup \(H\) of \(G\) such that the quotient group \(G/H\) is separable metrizable. As a result, it is shown that the product of countably many \(P\mathbb{R}\)-factorizable topological groups, any closed subgroup of a \(P\mathbb{R}\)-factorizable topological group, and any image under an open continuous homomorphism of a \(P\mathbb{R}\)-factorizable topological group are all \(P\mathbb{R}\)-factorizable. The authors also discuss some kinds of completeness type properties in the class of \(P\mathbb{R}\)-factorizable groups. Finally, they give an example of an \(\mathbb{R}\)-factorizable topological group that is not \(P\mathbb{R}\)-factorizable.