Abstract
We consider the following problem: For which Tychonoff topological spaces X do the free topological group F(X) and the free abelian topological group A(X) admit a nontrivial (i.e. not finitely generated) metrizable quotient group? First, we give a complete solution of this problem for the key class of compact spaces X. Then, relying on this result, we resolve the problem for several more general important classes of spaces X, including the class of \(\sigma \)-compact spaces, the class of pseudocompact spaces, the class of \(\omega \)-bounded spaces, the class of Čech-complete spaces and the class of K-analytic spaces. Also we describe all absolutely analytic metric spaces X (in particular, completely metrizable spaces) such that the free topological group F(X) and the free abelian topological group A(X) admit a nontrivial metrizable quotient group. Our results are based on an extensive use of topological properties of non-scattered spaces.
Similar content being viewed by others
References
Arhangel’skii, A.V., Tkachenko, M.G.: Topological Groups and Related Structures, Atlantis Series in Mathematics, vol. I. Atlantis Press and World Scientific, Paris-Amsterdam (2008)
Banakh T., Bokalo B. and Tkachuk V.: Scattered compact sets in continuous images of Čech-complete spaces, Topol. Appl. 2020, (in press), https://doi.org/10.1016/j.topol.2020.107213
Banakh, T., Ka̧kol, J., Śliwa, W.: Metrizable quotients of \(C_p\)-spaces. Topol. Appl. 249, 95–102 (2018)
Banakh, T., Ka̧kol, J., Śliwa, W.: Josefson-Nissenzweig property for \(C_p\)-spaces. Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales, Serie A Matematicas 113, 3015–3030 (2019)
Bashkirov, A.I.: On continuous maps of Isbell spaces and strong \(0\)-dimensionality. Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 27(7–8), 605–611 (1979)
van Douwen, E.K., Przymusiński, T.C.: First-countable and countable spaces all compactifications of which contain \(\beta \mathbb{N}\). Fundam. Math. 102, 229–234 (1979)
El’kin, A.G.: \(A\)-sets in complete metric spaces. Dokl. AN SSSR 175, 517–520 (1967). (in Russian)
Engelking, R.: General Topology. Heldermann Verlag, Berlin (1989)
Franklin, S.P., Smith, Thomas B.: A survey of \(k_\omega \)-spaces. Topol. Proc. 2, 111–124 (1977)
Ferrando J. C., Ka̧kol J., Lopez-Pellicer M. and Śliwa W.: On the separable quotient problem for Banach spaces, Funct. Approx. Comment. Math. 59, no. 2 (2018), 153–173
Gillman, L., Jerison, M.: Rings of continuous functions. Van Nostrand, New York (1960)
Hrušák, M., Tamariz-Mascarúa, A., Tkachenko, M. (eds.): Pseudocompact Topological Spaces. Springer, A Survey of Classic and New Results with Open Problems (2018)
Ka̧kol, J., Śliwa, W.: Efimov spaces and the separable quotient problem for spaces \(C_p(X)\). J. Math. Anal. Appl. 457, 104–113 (2018)
Kannan, V., Rajagopalan, M.: Scattered spaces. II. Illinois J. Math. 21(4), 735–751 (1977)
Koumoullis, G.: Topological spaces containing compact perfect sets and Prohorov spaces. Topol. Appl. 21, 59–71 (1985)
Leiderman, A.G., Morris, S.A.: Separability of topological groups: a survey with open problems. Axioms 8(3), 1–18 (2019). https://doi.org/10.3390/axioms8010003
Leiderman, A.G., Morris, S.A., Tkachenko, M.G.: The Separable Quotient Problem for Topological Groups. Israel J. Math. 234, 331–369 (2019)
Leiderman A. G. and Tkachenko M. G.: Separable quotients of free topological groups, Canadian Math. Bull. 2020, (in press), https://doi.org/10.4153/S0008439519000699
Markov, A.A.: On free topological groups. Dokl. AN SSSR 31, 299–301 (1941). (in Russian)
Markov A. A.: On free topological groups, In: Topology and Topological Algebra, Translation Series 1, vol. 8 (1962), 195–272. American Math. Society. Russian original in: Izv. Akad. Nauk SSSR 9 (1945), 3–64
Morris, S.A.: A remark on the separable quotient problem for topological groups. Bull. Austral. Math. Soc. 100(3), 453–457 (2019)
Nyikos, P., Schäffer, J.: Flat spaces of continuous functions. Studia Math. 42, 221–229 (1972)
Ostaszewski A. J.: A perfectly normal countably compact scattered space which is not strongly zero-dimensional, J. London Math. Soc. (2) 14 (1976), no. 1, 167–177
Rudin, W.: Functional Analysis. McGraw-Hill (1973)
Semadeni, Z.: Banach spaces of continuous functions, vol. I. PWN - Polish Scientific Publishers, Warszawa (1971)
Shakhmatov, D.B., Tkachenko, M.G., Tkachuk, V.V., Watson, S., Wilson, R.G.: Neither first countable nor Čech-complete spaces are maximal Tychonoff connected. Proc. Amer. Math. Soc. 126, 279–287 (1998)
Solomon, R.C.: A scattered space that is not zero-dimensional. Bull. London Math. Soc. 8, 239–240 (1976)
Tall, F.D.: The Density Topology. Pacific J. Math. 62, 275–284 (1976)
Terasawa, J.: Spaces \(N \cup R\) need not be strongly \(0\)-dimensional. Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 25(3), 279–281 (1977)
Acknowledgements
The authors thank the referees for advices and several useful remarks. The second listed author gratefully acknowledges the financial support and hospitality received from the Center for Advanced Studies in Mathematics of the Ben-Gurion University of the Negev during his visit in May, 2019.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Leiderman, A., Tkachenko, M. Metrizable quotients of free topological groups. RACSAM 114, 124 (2020). https://doi.org/10.1007/s13398-020-00855-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-020-00855-x