On surjectively universal Polish groups (Q715209): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 11:00, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On surjectively universal Polish groups |
scientific article |
Statements
On surjectively universal Polish groups (English)
0 references
2 November 2012
0 references
A~Polish group \(G\) is said to be surjectively universal if every Polish group~\(H\) is isomorphic to a topological quotient group of \(G\) or, equivalently, there is a continuous surjective homomorphism \(\Phi:G\to H\). \textit{A. S. Kechris} [Topology Appl. 58, No. 3, 195--222 (1994; Zbl 0805.54035)] raised the problem whether there exist surjectively universal Polish groups. In the paper under review the author proves that every Polish group is isomorphic to a topological quotient group of the completion of a free group endowed with a new metric introduced by the author and \textit{S. Gao} [Topology Appl. 154, No. 2, 410--420 (2007; Zbl 1111.22001)]. Consequently, every surjectively universal group should have this form and there is a surjectively universal \(\boldsymbol\Pi^0_3\)~subgroup of \(S_\infty\). The author gives a~sufficient condition for the new metrics to guarantee that the completion of a free group is surjectively universal.
0 references
Polish group
0 references
surjectively universal
0 references
free group
0 references
scale
0 references