## Discrete subsets in topological groups and countable extremally disconnected groups

HTML articles powered by AMS MathViewer

- by Evgenii Reznichenko and Ol’ga Sipacheva
- Proc. Amer. Math. Soc.
**149**(2021), 2655-2668 - DOI: https://doi.org/10.1090/proc/13992
- Published electronically: March 16, 2021
- PDF | Request permission

## Abstract:

In 1967 Arhangel’skii posed the problem of the existence in ZFC of a nondiscrete extremally disconnected topological group. The general case is still open, but we solve Arhangel’skii’s problem for the class of countable groups. Namely, we prove that the existence of a countable nondiscrete extremally disconnected group implies the existence of a rapid ultrafilter; hence, such a group cannot be constructed in ZFC. We also prove that any countable topological group in which the filter of neighborhoods of the identity element is not rapid contains a discrete set with precisely one limit point, which gives a negative answer to Protasov’s question on the existence in ZFC of a countable nondiscrete group in which all discrete subsets are closed.## References

- Alexandre Arhangelski,
*Groupes topologiques extrémalement discontinus*, C. R. Acad. Sci. Paris Sér. A-B**265**(1967), A822–A825 (French). MR**222207** - A. V. Arhangel’skiǐ,
*Cardinal invariants of topological groups. Embeddings and condensations*, Soviet Math. Dokl.**20**(1979), 783–787. - A. V. Arhangel′skiĭ and P. J. Collins,
*On submaximal spaces*, Topology Appl.**64**(1995), no. 3, 219–241. MR**1342519**, DOI 10.1016/0166-8641(94)00093-I - N. Bourbaki,
*Éléments de mathématique. Algèbre. Chapitre 9*, Springer-Verlag, Berlin, 2007 (French). Reprint of the 1959 original. MR**2325344** - W. W. Comfort and Jan van Mill,
*Groups with only resolvable group topologies*, Proc. Amer. Math. Soc.**120**(1994), no. 3, 687–696. MR**1209097**, DOI 10.1090/S0002-9939-1994-1209097-X - Z. Frolík,
*Maps of extremally disconnected spaces, theory of types, and applications*, General Topology and its Relations to Modern Analysis and Algebra, III (Proc. Conf., Kanpur, 1968) Academia, Prague, 1971, pp. 131–142. MR**0295305** - Andrew M. Gleason,
*Projective topological spaces*, Illinois J. Math.**2**(1958), 482–489. MR**121775** - Neil Hindman and Dona Strauss,
*Algebra in the Stone-Čech compactification*, De Gruyter Textbook, Walter de Gruyter & Co., Berlin, 2012. Theory and applications; Second revised and extended edition [of MR1642231]. MR**2893605** - J. L. Kelley,
*Banach spaces with the extension property*, Trans. Amer. Math. Soc.**72**(1952), 323–326. MR**45940**, DOI 10.1090/S0002-9947-1952-0045940-5 - Valentin Keyantuo and Yevhen Zelenyuk,
*Discrete subsets and convergent sequences in topological groups*, Topology Appl.**191**(2015), 137–142. MR**3361061**, DOI 10.1016/j.topol.2015.05.089 - Alain Louveau,
*Sur un article de S. Sirota*, Bull. Sci. Math. (2)**96**(1972), 3–7 (French). MR**308326** - V. I. Malykhin,
*Extremally disconnected and similar groups*, Soviet Math. Dokl.**16**(1975), 21–25. - V. I. Malykhin,
*On extremally disconnected topological groups*, Russian Math. Surveys**34**(1979), 67–76. - Arnold W. Miller,
*There are no $Q$-points in Laver’s model for the Borel conjecture*, Proc. Amer. Math. Soc.**78**(1980), no. 1, 103–106. MR**548093**, DOI 10.1090/S0002-9939-1980-0548093-2 - Gabriel Mokobodzki,
*Ultrafiltres rapides sur N. Construction d’une densité relative de deux potentiels comparables*, Séminaire de Théorie du Potentiel, dirigé par M. Brelot, G. Choquet et J. Deny, 12e année: 1967/68, Secrétariat mathématique, Paris, 1969, pp. Exp. 12, 22 (French). MR**0259148** - V. I. Ponomarev and L. B. Šapiro,
*Absolutes of topological spaces and of their continuous mappings*, Uspehi Mat. Nauk**31**(1976), no. 5(191), 121–136 (Russian). MR**0451216** - I. V. Protasov,
*Discrete subsets of topological groups*, Mat. Zametki**55**(1994), no. 1, 150–151 (Russian); English transl., Math. Notes**55**(1994), no. 1-2, 101–102. MR**1275313**, DOI 10.1007/BF02110773 - I. V. Protasov,
*Filters and topologies on semigroups*, Mat. Stud.**3**(1994), 15–28, 120 (Russian, with English and Russian summaries). MR**1692845** - F. P. Ramsey,
*On a Problem of Formal Logic*, Proc. London Math. Soc. (2)**30**(1929), no. 4, 264–286. MR**1576401**, DOI 10.1112/plms/s2-30.1.264 - Saharon Shelah,
*Proper and improper forcing*, 2nd ed., Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1998. MR**1623206**, DOI 10.1007/978-3-662-12831-2 - Olga V. Sipacheva,
*Nonexistence of countable extremally disconnected groups with many open subgroups*, Topology Appl.**179**(2015), 193–199. MR**3270939**, DOI 10.1016/j.topol.2014.08.028 - S. M. Sirota,
*A product of topological groups, and extremal disconnectedness*, Mat. Sb. (N.S.)**79 (121)**(1969), 179–192 (Russian). MR**0242988** - M. H. Stone,
*Algebraic characterizations of special Boolean rings*, Fund. Math.**29**(1937), 223–302. - Dona Papert Strauss,
*Extremally disconnected spaces*, Proc. Amer. Math. Soc.**18**(1967), 305–309. MR**210066**, DOI 10.1090/S0002-9939-1967-0210066-0 - Edward L. Wimmers,
*The Shelah $P$-point independence theorem*, Israel J. Math.**43**(1982), no. 1, 28–48. MR**728877**, DOI 10.1007/BF02761683 - R. Grant Woods,
*A survey of absolutes of topological spaces*, Topological structures, II (Proc. Sympos. Topology and Geom., Amsterdam, 1978) Math. Centre Tracts, vol. 116, Math. Centrum, Amsterdam, 1979, pp. 323–362. MR**565852** - E. G. Zelenyuk,
*Topological groups with finite semigroups of ultrafilters*, Mat. Stud.**6**(1996), 41–52, 160 (Russian, with English and Russian summaries). MR**1691123** - E. G. Zelenyuk,
*Extremal ultrafilters and topologies on groups*, Mat. Stud.**14**(2000), no. 2, 121–140 (Russian, with English and Russian summaries). MR**1813995** - Yevhen Zelenyuk,
*On extremally disconnected topological groups*, Topology Appl.**153**(2006), no. 14, 2382–2385. MR**2243718**, DOI 10.1016/j.topol.2005.08.013 - Yevhen G. Zelenyuk,
*Ultrafilters and topologies on groups*, De Gruyter Expositions in Mathematics, vol. 50, Walter de Gruyter GmbH & Co. KG, Berlin, 2011. MR**2768144**, DOI 10.1515/9783110213225

## Bibliographic Information

**Evgenii Reznichenko**- Affiliation: Department of General Topology and Geometry, Mechanics and Mathematics Faculty, M. V. Lomonosov Moscow State University, Leninskie Gory 1, Moscow, 199991 Russia
- MR Author ID: 245922
- Email: erezn@inbox.ru
**Ol’ga Sipacheva**- Affiliation: Department of General Topology and Geometry, Mechanics and Mathematics Faculty, M. V. Lomonosov Moscow State University, Leninskie Gory 1, Moscow, 199991 Russia
- MR Author ID: 246154
- Email: ovsipa@gmail.com
- Received by editor(s): December 23, 2016
- Received by editor(s) in revised form: October 16, 2017
- Published electronically: March 16, 2021
- Additional Notes: This work was supported by the Russian Foundation for Basic Research (project no. 15-01-05369).
- Communicated by: Mirna Dz̆amonja
- © Copyright 2021 American Mathematical Society
- Journal: Proc. Amer. Math. Soc.
**149**(2021), 2655-2668 - MSC (2020): Primary 54G05, 54H11, 03E35, 22A05
- DOI: https://doi.org/10.1090/proc/13992
- MathSciNet review: 4246814