On \(\mathcal{M} \)-factorizable \(P\)-groups (Q2222109)

Tkachenko introduced the notion of \(\mathbb{R}\)-factorizable group [\textit{M. Tkachenko}, Topology Appl. 38, No. 1, 21--377 (1991; Zbl 0722.54039)] and later the notion uniformly \(\mathbb{R}\)-factorizable group was introduced. A topological group \(G\) is called \(\mathbb{R}\)-factorizable if for every continuous real-valued function \(f\) on \(G\), there exists a continuous homomorphism \(\pi\) of \(G\) onto a second-countable topological group \(K\) such that \(f = g \circ \pi\), for some continuous real-valued function \(g\) on \(K\). The notion of \(\mathbb{R}\)-factorizable group generalizes a well-known example of Pontryagin. The main goal of the paper under this review is to study \(\mathcal{M}\)-factorizable groups, which were introduced by Zhang, Peng and He [\textit{H. Zhang} et al., Topology Appl. 274, Article ID 107126, 13 p. (2020; Zbl 1440.22003)]. A topological group \(G\) is called \(\mathcal{M}\)-factorizable if for every continuous real-valued function \(f\) on \(G\), there exists a continuous homomorphism \(\pi : G \rightarrow H\) onto a metrizable topological group \(H\) and a continuous function \(h\) on \(H\) such that \(f = h \circ \pi\). The authors give an internal characterization of \(\mathcal{M}\)-factorizability in the class of \(P\)-groups: a \(P\)-group \(G\) is \(\mathcal{M}\)-factorizable iff for every clopen subset \(U\) of \(G\), there exist an open invariant subgroup \(N\) of \(G\) such that \(U = UN\). It is proved that if \(G\) is a non-discrete \(P\)-group then \(G\) is \(\mathcal{M}\)-factorizable if and only if it is pseudo-\(p(G)\)-compact, and \(P\)-group \(G\) is pseudo-\(p(G)\)-compact if and only if it is fine. The authors studied products, finite and infinite, of \(\mathcal{M}\)-factorizable \(P\)-groups.