Abstract
We prove that if an ultrafilter \({\mathcal{L}}\) is not coherent to a Q-point, then each analytic non-σ-bounded topological group G admits an increasing chain \({\langle G_\alpha:\alpha < \mathfrak b(\mathcal L)\rangle}\) of its proper subgroups such that: (i) \({\bigcup_{\alpha}G_\alpha=G}\); and (ii) For every σ-bounded subgroup H of G there exists α such that \({H\subset G_\alpha}\). In case of the group Sym(ω) of all permutations of ω with the topology inherited from ω ω this improves upon earlier results of S. Thomas.
Similar content being viewed by others
References
Arkhangel’skiĭ A.: Hurewicz spaces, analytic sets and fan tightness of function spaces (In Russian). Dokl. Akad. Nauk SSSR 287, 525–528 (1986)
Banakh T., Repovš D., Zdomskyy L.: o-Boundedness of free topological groups. Topol. Appl. 157, 466–481 (2010)
Banakh, T., Zdomskyy, L.: Coherence of Semifilters, http://www.franko.lviv.ua/faculty/mechmat/Departments/Topology/booksite.html (in preparation)
Banakh, T., Zdomskyy, L.: Selection principles and infinite games on multicovered spaces. In: Lj. D.R. Koćinac (ed.) Selection Principles and Covering Properties in Topology. Quaderni di Matematica, Vol. 18, pp. 1–51. Department of Mathematics, Seconda Universita di Napoli, Caserta (2006)
Blass A.: Near coherence of filters. I. Cofinal equivalence of models of arithmetic. Notre Dame J. Form. Logic 27, 579–591 (1986)
Blass A., Mildenberger H.: On the cofinality of ultrapowers. J. Symbol. Logic 64, 727–736 (1999)
Blass A., Shelah S.: There may be simple \({P_{\aleph_1} }\)- and \({P_{\aleph_2} }\)-points and the Rudin–Keisler ordering may be downward directed. Ann. Pure Appl. Logic 33, 213–243 (1987)
Blass A., Shelah S.: Ultrafilters with small generating sets. Israel J. Math. 65, 259–271 (1989)
Canjar R.M: Countable ultraproducts without CH. Ann. Pure Appl. Logic 37, 1–79 (1988)
Canjar R.M.: Cofinalities of countable ultraproducts: the existence theorem. Notre Dame J. Form. Logic 30, 539–542 (1989)
Guran I.: Topological groups similar to Lindelöf groups (In Russian). Dokl. Akad. Nauk SSSR 256, 1305–1307 (1981)
Laflamme C., Zhu J.-P.: The Rudin-Blass ordering of ultrafilters. J. Symbol. Logic 63, 584–592 (1998)
Macpherson H.D., Neumann P.M.: Subgroups of infinite symmetric groups. J. Lond. Math. Soc. 42(2), 64–84 (1990)
Mildenberger H., Shelah S., Tsaban B.: Covering the Baire space with meager sets. Ann. Pure Appl. Logic 140, 60–71 (2006)
Nyikos, P.: Special ultrafilters and cofinal subsets of ω (1984, preprint)
Sakai M.: Two properties of C p (X) weaker than the Fréchet Urysohn property. Topol. Appl. 153, 2795–2804 (2006)
Shelah S., Tsaban B.: Critical cardinalities and additivity properties of combinatorial notions of smallness. J. Appl. Anal. 9, 149–162 (2003)
Thomas S.: Groupwise density and the cofinality of the infinite symmetric group. Arch. Math. Logic 37, 483–493 (1998)
Vaughan J.: Small uncountable cardinals and topology. In: van Mill, J., Reed, G.M. (eds) Open Problems in Topology, pp. 197–216. Elsevier Science Publishers, Amsterdam (1990)
Zdomskyy L.: A semifilter approach to selection principles. Comment. Math. Univ. Carolin. 46, 525–539 (2005)
Zdomskyy L.: o-Boundedness of free objects over a Tychonoff space. Math. Stud. 25, 10–28 (2006)
Author information
Authors and Affiliations
Corresponding author
Additional information
This research was supported in part by the Slovenian Research Agency grants P1-0292-0101, J1-2057-0101 and BI-UA/09-10-005. The third author acknowledges the support of the FWF grant P19898-N18. We thank the referees for comments and suggestions.
Rights and permissions
About this article
Cite this article
Banakh, T., Repovš, D. & Zdomskyy, L. On the length of chains of proper subgroups covering a topological group. Arch. Math. Logic 50, 411–421 (2011). https://doi.org/10.1007/s00153-010-0222-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-010-0222-7