Algebraic structure of countably compact non-torsion abelian groups of size continuum from selective ultrafilters (Q2029629): Difference between revisions

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.