Algebraic structure of countably compact non-torsion abelian groups of size continuum from selective ultrafilters

DOI10.1016/J.TOPOL.2021.107703MaRDI QIDQ2029629zbMATH OpenOpenAlexFDO

Authors M. Bellini, A. C. Boero, Vinicius Rodrigues, Artur Hideyuki Tomita

Publication date 3 June 2021

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1909.03340

zbMATH Keywords

convergent sequencescountable compactnesstopological group

Mathematics Subject Classification ID

Structure of general topological groups (22A05) Consistency and independence results in general topology (54A35) Counterexamples in general topology (54G20) Topological groups (topological aspects) (54H11)

Abstract: Assuming the existence of $mathfrakc$ incomparable selective ultrafilters, we classify the non-torsion Abelian groups of cardinality $mathfrakc$ that admit a countably compact group topology. We show that for each $kappain[mathfrakc,2^{m}athfrakc]$ each of these groups has a countably compact group topology of weight $kappa$ without non-trivial convergent sequences and another that has convergent sequences. Assuming the existence of $2^{m}athfrakc$ selective ultrafilters, there are at least $2^{m}athfrakc$ non homeomorphic such topologies in each case and we also show that every Abelian group of cardinality at most $2^{m}athfrakc$ is algebraically countably compact. We also show that it is consistent that every Abelian group of cardinality $mathfrakc$ that admits a countably compact group topology admits a countably compact group topology without non-trivial convergent sequences whose weight has countable cofinality.

Review text

In this paper, the authors study the algebraic structure of countably compact non-torsion abelian groups of size continuum in the view of selective ultrafiltrs. Especially, assuming the existence of \(\mathfrak{c}\) incomparable selective ultrafilters, they classify the non-torsion abelian groups of cardinality \(\mathfrak{c}\) that admit a countably compact group topology. They prove that for each \(\kappa\in [\mathfrak{c}, 2^{\mathfrak{c}}]\) each of these groups has a countably compact group topology of weight \(\kappa\) without non-trivial convergent sequences and another that has convergent sequences. Moreover, assuming the existence of \(2^{\mathfrak{c}}\) selective ultrafilters, the authors prove that there exist at least \(2^{\mathfrak{c}}\) non homeomorphic countably compact group topologies with non-trivial convergent sequences of weight \(\kappa\) and at least \(2^{\mathfrak{c}}\) non homeomorphic countably compact group topologies without non-trivial convergent sequences of weight \(\kappa\). They also prove that every abelian group of cardinality at most \(2^{\mathfrak{c}}\) is algebraically countably compact and that it is consistent that every abelian group of cardinality \(\mathfrak{c}\) that admits a countably compact group topology admits a countably compact group topology without non trivial convergent sequences whose weight has countable cofinality. Examples that verify their statements are presented and finally, problems for further related investigation are given.

Recommendations

• scientific article; zbMATH DE number 6166570
• Abelian torsion groups with a countably compact group topology
• Countably compact group topologies on arbitrarily large free abelian groups
• Countably compact groups from a selective ultrafilter
• A countably compact free Abelian group of size continuum that admits a non-trivial convergent sequence

Cites work

• A countably compact free Abelian group of size continuum that admits a non-trivial convergent sequence
• A countably compact free Abelian group whose size has countable cofinality
• A group topology on the free abelian group of cardinality \(\mathfrak{c}\) that makes its finite powers countably compact
• A new kind of compactness for topological spaces
• A solution to Comfort's question on the countable compactness of powers of a topological group
• Abelian torsion groups with a countably compact group topology
• Algebraic structure of small countably compact Abelian groups
• Countably compact group topologies on non-torsion abelian groups of size continuum with non-trivial convergent sequences
• Countably compact group topologies on the free abelian group of size continuum (and a Wallace semigroup) from a selective ultrafilter
• Countably compact groups from a selective ultrafilter
• Countably compact groups without non-trivial convergent sequences
• Countably compact topological group topologies on free Abelian groups from selective ultrafilters
• Forcing hereditarily separable compact-like group topologies on Abelian groups
• scientific article; zbMATH DE number 47630 (Why is no real title available?)
• scientific article; zbMATH DE number 1978372 (Why is no real title available?)
• scientific article; zbMATH DE number 6166570 (Why is no real title available?)
• scientific article; zbMATH DE number 1450248 (Why is no real title available?)
• On countably compact group topologies without non-trivial convergent sequences on \(\mathbb{Q}^{(\kappa)}\) for arbitrarily large \(\kappa\) and a selective ultrafilter
• On the number of countably compact group topologies on a free Abelian group
• Pseudocompact groups without converging sequences
• Set Theory
• Summands of Separable Abelian Groups: Dedicated to Paul Turán on his 60th Birthday
• The weight of a countably compact group whose cardinality has countable cofinality
• Two countably compact topological groups: One of size $\aleph _\omega $ and the other of weight $\aleph _\omega $ without non-trivial convergent sequences
• Ultraproducts, \(p\)-limits and antichains on the Comfort group order

Cited in

(8)

• Forcing a classification of non-torsion abelian groups of size at most \(2^{\mathfrak{c}}\) with non-trivial convergent sequences
• Countably compact group topologies on non-torsion abelian groups of size continuum with non-trivial convergent sequences
• On countably compact group topologies without non-trivial convergent sequences on \(\mathbb{Q}^{(\kappa)}\) for arbitrarily large \(\kappa\) and a selective ultrafilter
• Algebraic structure of small countably compact Abelian groups
• Countably compact groups from a selective ultrafilter
• scientific article; zbMATH DE number 6166570 (Why is no real title available?)
• Countably compact group topologies on arbitrarily large free abelian groups
• On p-compact topologies on certain abelian groups

This page was built for publication: Algebraic structure of countably compact non-torsion abelian groups of size continuum from selective ultrafilters

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2029629)