Some pseudocompact-like properties in certain topological groups (Q2140625): Difference between revisions

Let \(\omega^{\ast}\) be the set of non-principal (free) ultrafilters on \(\omega\). Let \(X\) be a topological space, for each \(x\in X\), \(p\in\omega^{\ast}\) and a sequence \((x_n)_{n\in\omega}\) in \(X\), recall that \(x\) is a \textit{\(p\)-limit point} of \((x_n)_{n\in\omega}\) if, for every neighborhood \(U\) of \(x\), \(\{n\in\omega: x_n\in U\}\in p\). It is easy to show that for a space \(X\), \(X\) is countably compact if and only if every sequence in \(X\) has a \(p\)-limit, for some \(p\in\omega^{\ast}\), \(X\) is countably pracompact if and only if there exists a dense subset \(D\) of \(X\) such that every sequence in \(D\) has a \(p\)-limit in \(X\), for some \(p\in\omega^{\ast}\), and \(X\) is pseudocompact if and only if for every countable family \(\{U_n:n\in\omega\}\) of nonempty open subsets of \(X\), there exist \(x\in X\) and \(p\in\omega^{\ast}\) such that, for each neighborhood \(V\) of \(x\), \(\{n\in\omega: V\cap U_n\neq\emptyset\}\in p\). A topological space \(X\) is called \textit{selectively pseudocompact}, defined in [\textit{S. García-Ferreira} and \textit{Y. F. Ortiz-Castillo}, Commentat. Math. Univ. Carol. 55, No. 1, 101--109 (2014; Zbl 1313.54054)] under the name \textit{strong pseudompactness}, if for each sequence \((U_n)_{n\in\omega}\) of nonempty open subsets of \(X\) there are a sequence \((x_n)_{n\in\omega}\), \(x\in X\) and \(p\in\omega^{\ast}\) such that \(x\) is a \(p\)-limit of \((x_n)_{n\in\omega}\) and, for each \(n\in\omega\), \(x_n\in U_n\). These notions are related as follows: \[ \text{countable compactness} \Rightarrow \text{countable pracompactness} \] \[ \Rightarrow \text{selective pseudocompactness} \Rightarrow \text{pseudocompactness.} \] \textit{S. Garcia-Ferreira} and \textit{A. H. Tomita} [Topology Appl. 192, 138--144 (2015; Zbl 1330.54045)] gave examples of a selectively pseudocompact group which is not countably compact, and of a pseudocompact group which is not selectively pseudocompact. In this paper, the authors prove that there exists a topological group which is selectively pseudocompact but is not countably pracompact. They also prove that assuming the existence of a single selective ultrafilter, there exists a topological group which is not countably pracompact and has all powers selectively pseudocompact. The question whether there exists a countably compact group without non-trivial convergent sequences in ZFC has been left open, however, \textit{M. Hrušák} et al. [Trans. Am. Math. Soc. 374, No. 2, 1277--1296 (2021; Zbl 1482.22002)] finally proved that in ZFC, there exists a Hausdorff countably compact topological Boolean group (of size \(\mathfrak c\)) without non-trivial convergent sequences. In this paper, the authors construct, in ZFC, a Hausdorff countably compact topological Boolean group of size \(2^{\mathfrak c}\) without non-trivial convergent sequences answering a question posed in [\textit{M. K. Bellini} et al., Topology Appl. 296, Article ID 107684, 14 p. (2021; Zbl 1481.54029)].