Projectively universal countable metrizable groups

DOI10.1090/PROC/13189MaRDI QIDQ2817026zbMATH OpenOpenAlexFDO

Authors Vladimir G. Pestov, Vladimir V. Uspenskij

Publication date 26 August 2016

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1409.4108

zbMATH Keywords

completioncouniversalcouniversal Polish groupcountable metrizable groupPolish groupprojectively universalprojectively universal Polish group

Mathematics Subject Classification ID

Descriptive set theory (03E15) Structure of general topological groups (22A05)

Abstract: We prove that there exists a countable metrizable topological group $G$ such that every countable metrizable group is isomorphic to a quotient of $G$. The completion $H$ of $G$ is a Polish group such that every Polish group is isomorphic to a quotient of $H$.

Review text

A topological group is \textit{Polish} if it is homeomorphic to a complete separable metric space. As shown in [the second author, Funct. Anal. Appl. 20, 160--161 (1986); translation from Funkts. Anal. Prilozh. 20, No. 2, 86--87 (1986; Zbl 0608.22003)]; the second author, Comment. Math. Univ. Carolin. 31, 181--182 (1990; Zbl 0699.54011); \textit{Itaï Ben Yaacov}, Proc. Am. Math. Soc. 142, 2459--2467 (2014; Zbl 1311.46004)], there exist \textit{injectively universal Polish groups}, that is, Polish groups \(G\) such that every Polish group \(H\) is topological isomorphic to a closed subgroup of \(G\). Recently, in [\textit{Longyun Ding}, Adv. Math. 231, 2557--2572 (2012; Zbl 1257.03076)] an example is given of a \textit{couniversal Polish group} (or \textit{projectively universal Polish group}), that is, a Polish group \(G\) such that every Polish group \(H\) is topological isomorphic to a topological quotient group of \(G\).NEWLINENEWLINEIn the paper under review, two constructions are provided of \textit{couniversal countable metrizable groups}, that is, countable metrizable groups \(G\) such that every countable metrizable group \(H\) is topological isomorphic to a topological quotient group of \(G\). Moreover, the Rajkov completion of a couniversal countable metrizable group is shown to be a couniversal Polish group.

Recommendations

• On surjectively universal Polish groups
• scientific article; zbMATH DE number 1101637
• Universal subgroups of Polish groups
• Universal countable-dimensional topological groups
• Universal Abelian topological groups

Cites work

• A universal topological group with countable base
• scientific article; zbMATH DE number 4147079 (Why is no real title available?)
• scientific article; zbMATH DE number 3920807 (Why is no real title available?)
• scientific article; zbMATH DE number 3762003 (Why is no real title available?)
• scientific article; zbMATH DE number 3769911 (Why is no real title available?)
• scientific article; zbMATH DE number 976831 (Why is no real title available?)
• scientific article; zbMATH DE number 1101637 (Why is no real title available?)
• scientific article; zbMATH DE number 3395017 (Why is no real title available?)
• On a universality property of some abelian Polish groups
• On surjectively universal Polish groups
• The linear isometry group of the Gurarij space is universal
• Topological groups and related structures
• Topology and descriptive set theory
• Unitary representability of free abelian topological groups
• Universal Abelian topological groups

Cited in

(8)

• A universal topological group with countable base
• Universal countable-dimensional topological groups
• Metrical universality for groups
• scientific article; zbMATH DE number 1101637 (Why is no real title available?)
• scientific article; zbMATH DE number 1567765 (Why is no real title available?)
• Universal subgroups of Polish groups
• On Q-universal normed groups
• On surjectively universal Polish groups

This page was built for publication: Projectively universal countable metrizable groups

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