Abstract
The famous Banach-Mazur problem, which asks if every infinite-dimensional Banach space has an infinite-dimensional separable quotient Banach space, has remained unsolved for 85 years, though it has been answered in the affirmative for reflexive Banach spaces and even Banach spaces which are duals. The analogous problem for locally convex spaces has been answered in the negative, but has been shown to be true for large classes of locally convex spaces including all non-normable Fréchet spaces.
For a topological group G there are four natural analogous problems: Does G have a separable quotient group which is (i) non-trivial; (ii) infinite; (iii) metrizable; (iv) infinite metrizable. Positive answers to all four questions are proved for groups G which belong to the important classes of (a) all compact groups; (b) all locally compact abelian groups; (c) all σ-compact locally compact groups; (d) all abelian pro-Lie groups; (e) all σ-compact pro-Lie groups; (f) all pseudocompact groups.
However, a surprising example of an uncountable precompact group G is produced which has no non-trivial separable quotient group other than the trivial group. Indeed Gτ has the same property, for every cardinal number τ ≥ 1.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
D. Amir and J. Lindenstrauss, The structure of weakly compact sets in Banach spaces, Annals of Mathematics 88 (1968), 33–46.
S. A. Argyros, P. Dodos and V. Kanellopoulos, Unconditional families in Banach spaces, Mathematische Annalen 341 (2008), 15–38.
A. V. Arhangel’skii, An addition theorem for the weight of sets lying in bicompacta, Doklady Akademii Nauk SSSR 126 (1959), 239–241.
A. V. Arhangel’skii and M. G. Tkachenko, Topological Groups and Related Structures, Atlantis Studies in Mathematics, Vol. 1, Atlantis Press, Paris; World Scientific Publishing, Hackensack, NJ, 2008.
S. Ardanza-Trevijano, M. J. Chasco, X. Domínguez and M. Tkachenko, Precompact noncompact reflexive abelian groups, Forum Mathematicum 24 (2012), 289–302.
C. Bessaga and A. Pełczynski, Selected Topics in Infinite-Dimensional Topology, Monografie Matematyczne, Vol. 58, PWN - Polish Scientific Publishers, Warsaw, Poland, 1975.
P.-E. Caprace, Non-discrete simple locally compact groups, in European Congress of Mathematics, European mathematical Society, Zürich, 2018, pp. 333–354.
P.-E. Caprace, C. D. Reid and G. A. Willis, Locally normal subgroups of totally disconnected groups. Part II: compactly generated simple groups, Forum of Mathematics. Sigma 5 (2017), Article no. e12.
P.-E. Caprace and N. Monod (Eds.), New Directions in Locally Compact Groups, London Mathematical Society Lecture Notes Series, Vol. 447, Cambridge University Press, Cambridge, 2018.
W. W. Comfort and K. A. Ross, Pseudocompactness and uniform continuity in topological groups, Pacific Journal of Mathematics 16 (1966), 483–496.
M. Eidelheit, Zur Theorie der Systeme linearer Gleichungen, Studia Mathematica 6 (1936), 130–148.
P. Enflo, A counterexample to the approximation property in Banach spaces, Acta Mathematica 130 (1973), 309–317.
L. Fuchs, Infinite Abelian Groups. I, Pure nd Applied Mathematics, Vol. 36, Academic Press, New York-London, 1970.
S. S. Gabriyelyan and S. A. Morris, A topological group observation on the Banach-Mazur separable quotient problem, Topology and its Applications 259 (2019), 283–286.
J. Galindo and S. Macario, Pseudocompact group topologies with no infinite compact subsets, Journal of Pure and Applied Algebra 215 (2011), 655–663.
J. Galindo, M. Tkachenko, M. Bruguera and C. Hernández, Refiexivity in precompact groups and extensions, Topology and its Applications 163 (2014), 112–127.
E. Hewitt and K. Ross, Abstract Harmonic Analysis. I, Grundlehren der Mathematischen Wissenschaften, Vol. 115, Springer, Berlin-New York, 1979.
K. H. Hofmann and S. A. Morris, The Lie Theory of Connected Pro-Lie Groups, EMS Tracts in Mathematics, Vol. 2, European Mathematical Society, Zuürich, 2007.
K. H. Hofmann and S. A. Morris, The Structure of Compact Groups, De Gruyter Studies in Mathematics, Vol. 25, Walter de Gruyter, Berlin, 2013.
Z. Hu, A generalized Kakutani-Kodaira theorem, Proceedings of the American Mathematical Society 133 (2005), 3437–3440.
W. Johnson and H. Rosenthal, On w*-basic sequences and their applications to the study of Banach spaces, Studia Mathematica 43 (1972), 77–92.
J. Kękol and S. A. Saxon, Separable quotients in C c(X), C p(X), and their duals, Proceedings of the American Mathematical Society 145 (2017), 3829–3841.
J. Kękol, S. A. Saxon and A. Todd, Barrelled spaces with(out) separable quotients, Bulletin of the Australian Mathematical Society 90 (2014), 295–303.
J. Kękol and W. Sliwa, Remarks concerning the separable quotient problem, Note di Matematica 13 (1993), 277–282.
G. Köthe, Topological Vector Spaces, Grundlehren der Mathematischen Wissenschaften, Vol. 159, Springer, New York, 1969.
A. G. Leiderman and S. A. Morris, Separability of topological groups: a survey with open problems, Axioms 8 (2019), 1–18, https://doi.org/10.3390/axioms8010003.
A. G. Leiderman, S. A. Morris and M. G. Tkachenko, Density character of subgroups of topological groups, Transactions of the American Mathematical Society 369 (2017), 5645–5664.
A. G. Leiderman and M. G. Tkachenko, Products of topological groups in which all closed subgroups are separable, Topology and its Applications 241 (2018), 89–101.
R. D. Mauldin (Ed.), The Scottish Book, Birkhäuser/Springer, Cham, 2015.
S. A. Morris, Pontryagin Duality and the Structure of Locally Compact Abelian Groups, London Mathematical Society Lecture Notes Series, Vol. 29, Cambridge University Press, Cambridge, 1977.
S. A. Morris and V. N. Obraztsov, Nondiscrete topological groups with many discrete subgroups, Topology and its Applications 84 (1998), 105–120.
J. Mujica, Separable quotients of Banach spaces, Revista Matemática de la Universidad Complutense de Madrid 10 (1997), 299–330.
A. Pelczyáski, Some problems on bases in Banach and Fréchet spaces, Israel Journal of Mathematics 2 (1964), 132–138.
L. S. Pontryagin, Continuous Groups, Nauka, Moscow, 1973.
W. Robertson, On properly separable quotients of strict (LF) spaces, Journal of the Australian Mathematical Society 47 (1989), 307–312.
D. J. Robinson, A Course in the Theory of Groups, Graduate Texts in Mathematics, Vol. 80, Springer, New York, 1996.
W. Roelcke and S. Dierolf, Uniform Structures on Topological Groups and their Quotients, McGraw Hill, New York, 1981.
S. A. Saxon and P. P. Narayanaswami, Metrizable (LF)-spaces, (db)-Spaces, and the separable quotient problem, Bulletin of the Australian Mathematical Society 23 (1981), 65–80.
S. Saxon and A. Wilansky, The equivalence of some Banach space problems, Colloquium Mathematicum 37 (1977), 217–226.
W. R. Scott, On infinite groups, Pacific Journal of Mathematics 5 (1955), 589–598.
D. B. Shakhmatov, Imbeddings into topological groups preserving dimensions, Topology and its Applications 36 (1990), 181–204.
M. G. Tkachenko, Compactness type properties in topological groups, Czechoslovak Mathematical Journal 38 (1988), 324–341.
G. A. Willis, Compact open subgroups in simple totally disconnected groups, Journal of Algebra 312 (2007), 405–417.
Acknowledgement
The authors thank the referee for thorough refereeing and suggestions which improved the paper.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Leiderman, A.G., Morris, S.A. & Tkachenko, M.G. The separable quotient problem for topological groups. Isr. J. Math. 234, 331–369 (2019). https://doi.org/10.1007/s11856-019-1931-1
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-019-1931-1