Finite powers of selectively pseudocompact groups (Q1790230)

Let \(X\) be a Tychonoff space. The space \(X\) is countably compact (selectively pseudocompact, respectively) if and only if for every sequence \((A_n)_{n<\omega}\) of non empty (open, respectively) subsets of \(X\) there is a sequence \((x_n)_{n<\omega}\) such that \(x_n\in A_n\), for each \(n<\omega\), and \(\{x_n:n<\omega\}\) has a cluster point in \(X\). Every countably compact space is selectively pseudocompact. In the realm of topological groups, it is well-known that the product of pseudocompact groups is pseudocompact. But is selective pseudocompactness productive in the class of topological groups? The authors provide a negative answer to this question in any model of \(ZFC+CH\). The following definitions are used in the paper. A finite set \(\{x_0,\ldots,x_k\}\) of elements of an Abelian (Hausdorff) group \(G\) is called independent if it does not contain \(0\) and if \(\sum\limits_{i\leq k}n_ix_i=0\), then \(n_ix_i=0\) for each \(i\leq k\) (there is a typo concerning this definition in the paper). A nonempty subset \(X\) of \(G\) is called independent if every finite subset of \(X\) is independent. Let \(\lambda\) be an infinite cardinal and \(Y\) be an infinite subset of a topological product \(X=\prod\limits_{\alpha<\lambda}X_\alpha\). The set \(Y\) is called finally dense in \(X\) if there exists \(\beta<\lambda\) such that \(\pi_{\lambda\setminus\beta}(Y)\) is dense in \(X=\prod\limits_{\beta\leq\alpha<\lambda}X_\alpha\), where \(\pi_{\lambda\setminus\beta}\) is the projection from \(X\) onto \(\prod\limits_{\beta\leq\alpha<\lambda}X_\alpha\). If every infinite subset of \(Y\) is finally dense in \(X\), then \(Y\) is called hereditary finally dense (\(HFD\)) in \(X\). The set \(Y\) has property (\(P\)) if the projection \(\pi_I:X\rightarrow\prod\limits_{\alpha\in I}X_\alpha\) satisfies that \(\pi_I(Y)=\prod\limits_{\alpha\in I}X_\alpha\) for all \(I\in [\lambda]^\omega\) (the family of all countable infinite subsets of \(\lambda\)). The authors show under the assumption of \(CH\), the existence of an independent set \(\{x_\xi:\xi<\mathfrak{c}\}\subseteq\{0,1\}^{\mathfrak{c}}\) so that the group generated \(G=\langle\{x_\xi:\xi<\mathfrak{c}\}\rangle\) is \(HFD\) with property (\(P\)), \(G^k\) is countably compact and \(G^{k+1}\) is not selectively pseudocompact, for every positive integer \(k\). They list the conditions that the generators must have and, based on these conditions, they give the details of the topological properties of the group \(G\).