Separability of Topological Groups: A Survey with Open Problems

Separability is one of the basic topological properties. Most classical topological groups and Banach spaces are separable; as examples we mention compact metric groups, matrix groups, connected (finite-dimensional) Lie groups; and the Banach spaces C ( K ) for metrizable compact spaces K; and l p , for p ≥ 1 . This survey focuses on the wealth of results that have appeared in recent years about separable topological groups. In this paper, the property of separability of topological groups is examined in the context of taking subgroups, finite or infinite products, and quotient homomorphisms. The open problem of Banach and Mazur, known as the Separable Quotient Problem for Banach spaces, asks whether every Banach space has a quotient space which is a separable Banach space. This paper records substantial results on the analogous problem for topological groups. Twenty open problems are included in the survey.

[1]  K. Hofmann,et al.  The Lie Theory of Connected Pro-Lie Groups - A Structure Theory for Pro-Lie Algebras, Pro-Lie Groups , 2007 .

[2]  Karl Heinrich Hofmann,et al.  Pro-Lie Groups: A Survey with Open Problems , 2015, Axioms.

[3]  Alexander Arhangel’skii,et al.  Topological Groups and Related Structures , 2008 .

[4]  Saharon Shelah,et al.  On a Problem of Kurosh, Jonsson Groups, and Applications , 1980 .

[5]  S. Morris.  Pontryagin Duality and the Structure of Locally Compact Abelian Groups , 1977 .

[6]  Wojciech Banaszczyk,et al.  Additive subgroups of topological vector spaces , 1991 .

[7]  Density character in topological groups , 1977 .

[8]  Nondiscrete topological groups with many discrete subgroups , 1998 .

[9]  R. Hodel.  Cardinal Functions I , 1984 .

[10]  Density character of subgroups of topological groups , 2015, 1501.02877.

[11]  H. Fujita,et al.  Topological groups with dense compactly generated subgroups , 2002 .

[12]  Luis Felipe Morales López.  Continuous isomorphisms onto separable groups , 2013 .

[13]  S. Morris.  Varieties of topological groups , 1969, Bulletin of the Australian Mathematical Society.

[14]  S. Morris,et al.  Generating varieties of topological groups , 1973, Proceedings of the Edinburgh Mathematical Society.

[15]  S. Saxon,et al.  Separable quotients in _{}(), _{}(), and their duals , 2017 .

[16]  S. Saxon,et al.  BARRELLED SPACES WITH(OUT) SEPARABLE QUOTIENTS , 2014, Bulletin of the Australian Mathematical Society.

[17]  S. Morris.  Varieties of topological groups a survey , 1982 .

[18]  Topological groups whose closed subgroups are separable, and the product operation , 2019, Topology and its Applications.

[19]  S. Willard,et al.  Natural Covers and R-Quotient Maps , 1982, Canadian Mathematical Bulletin.

[20]  J. Diestel,et al.  Varieties of locally convex topological vector spaces , 1971 .

[21]  R. Engelking.  Cartesian products and dyadic spaces , 1965 .

[22]  S. Morris,et al.  The separable quotient problem for topological groups , 2017, Israel Journal of Mathematics.

[23]  J. Diestel,et al.  Varieties of linear topological spaces , 1972 .

[24]  S. Morris,et al.  A topological group observation on the Banach–Mazur separable quotient problem , 2018, Topology and its Applications.

[25]  Products of topological groups in which all closed subgroups are separable , 2016, Topology and its Applications.

[26]  G. Vidossich.  Characterization of separability for $LF$-spaces , 1968 .

[27]  S. Morris,et al.  Nonseparable closed vector subspaces of separable topological vector spaces , 2017 .

[28]  Karl H. Hofmann,et al.  The Structure of Compact Groups , 2020 .