Selectively pseudocompact groups without infinite separable pseudocompact subsets (Q2305954)

Summary: We give a ``naive'' (i.e., using no additional set-theoretic assumptions beyond ZFC, the Zermelo-Fraenkel axioms of set theory augmented by the Axiom of Choice) example of a Boolean topological group \(G\) without infinite separable pseudocompact subsets having the following ``selective'' compactness property: For each free ultrafilter \(p\) on the set \(\mathbb{N}\) of natural numbers and every sequence \((U_n)\) of non-empty open subsets of \(G\), one can choose a point \(x_n \in U_n\) for all \(n \in \mathbb{N}\) in such a way that the resulting sequence \((x_n)\) has a \(p\)-limit in \(G\); that is, \(\{n \in \mathbb{N} : x_n \in V \} \in p\) for every neighbourhood \(V\) of \(x\) in \(G\). In particular, \(G\) is selectively pseudocompact (strongly pseudocompact) but not selectively sequentially pseudocompact. This answers a question of Dorantes-Aldama and the first listed author. The group \(G\) above is not pseudo-\(\omega\)-bounded either. Furthermore, we show that the free precompact Boolean group of a topological sum \(\bigoplus_{i \in I} X_i\), where each space \(X_i\) is either maximal or discrete, contains no infinite separable pseudocompact subsets.