On M -factorizable P-groups

DOI10.1016/J.TOPOL.2020.107578MaRDI QIDQ2222109zbMATH OpenOpenAlexFDO

Authors Heng Zhang, Wei He, De Kui Peng, Mikhail Tkachenko

Publication date 3 February 2021

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.topol.2020.107578

\(\mathbb{R}\)-factorizable \(\mathcal{M}\)-factorizable \(P\)-group index of narrowness metrizable pseudo-\(\tau\)-compact

Mathematics Subject Classification ID

Structure of general topological groups (22A05) Topological groups (topological aspects) (54H11)

Review text

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.

Recommendations

Cites work

Cited in

(15)

This page was built for publication: On \(\mathcal{M} \)-factorizable \(P\)-groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2222109)