On the cardinality and structure of extremally disconnected groups with linear topology (Q2105059)

A topological space \(X\) is extremally disconnected if the closure of every open subset of \(X\) is open. A group topology on a group \(G\) is said to be linear if open subgroups form a local base at the identity of \(G\). The main result of the paper states that if there exists, in ZFC, a non-discrete extremally disconnected group with linear topology, then there must exist such a group with several additional properties some of which are quite technical. In particular, if there exists a ZFC example of a non-discrete extremally disconnected group with linear topology, then there exists an uncountable non-discrete extremally disconnected Boolean group \(G\) with linear topology such that \(|G|\leq 2^\omega\) and all countable subsets of \(G\) are closed and discrete.