Discrete Subsets in Topological Groups and Countable Extremally Disconnected Groups
General Topology
2021-04-29 v3
Abstract
It is proved 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 nonisolated point. This 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. It is also proved that the existence of a countable nondiscrete extremally disconnected group implies the existence of a rapid ultrafilter and, hence, a countable nondiscrete extremally disconnected group cannot be constructed in ZFC.
Cite
@article{arxiv.1608.03546,
title = {Discrete Subsets in Topological Groups and Countable Extremally Disconnected Groups},
author = {Evgenii Reznichenko and Ol'ga Sipacheva},
journal= {arXiv preprint arXiv:1608.03546},
year = {2021}
}
Comments
The term "fat" is replaced by "vast." The material is reorganized. A misprint is corrected