Finite powers of selectively pseudocompact groups
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\).
- A Countably Compact Topological Group H Such that H × H is not Countably Compact
- A group under \(\text{MA}_{\text{countable}}\) whose square is countably compact but whose cube is not
- A pseudocompact group which is not strongly pseudocompact
- A separable normal topological group need not be Lindelöf
- Algebraic structure of small countably compact Abelian groups
- Countable compactness and finite powers of topological groups without convergent sequences
- Countable compactness of powers of HFD groups
- Countably compact groups from a selective ultrafilter
- Forcing hereditarily separable compact-like group topologies on Abelian groups
- HFD groups in the Solovay model
- scientific article; zbMATH DE number 3512777 (Why is no real title available?)
- On hereditarily α-Lindelöf and α-separable spaces, II
- Pseudocompact topological spaces. A survey of classic and new results with open problems
- Pseudocompactness and uniform continuity in topological groups
- Rings of Real-Valued Continuous Functions. I
- Selective sequential pseudocompactness
- Strong pseudocompact properties.
- Sums of ultrafilters
- The Product of Two Countably Compact Topological Groups
- Continuous selections and locally pseudocompact groups
- A countably compact topological group with the non-countably pracompact square
- On feebly compact paratopological groups
- Selectively pseudocompact groups and p-compactness
- Selectively pseudocompact groups without infinite separable pseudocompact subsets
- The impact of the Bohr topology on selective pseudocompactness
- Selectively sequentially pseudocompact group topologies on torsion and torsion-free abelian groups
- Products of topological groups and -stability
- On powers of countably pracompact groups
- Countable compactness of powers of HFD groups
- A Countably Compact Topological Group H Such that H × H is not Countably Compact
- Countably compact groups having minimal infinite powers
- Discrete selectivity, shrinking properties, and disjoint local π -bases
This page was built for publication: Finite powers of selectively pseudocompact groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1790230)
