Forcing a classification of non-torsion abelian groups of size at most \(2^{\mathfrak{c}}\) with non-trivial convergent sequences (Q2029616)

This paper deals with Question 24 from [Open problems in topology. II. Amsterdam: Elsevier (2007; Zbl 1158.54300)]: Can an infinite group admitting a countably compact Hausdorff group topology be endowed with a countably compact Hausdorff group topology that contains a non-trivial convergent sequence? An affirmative answer in ZFC was given for torsion abelian groups in [\textit{J. Galindo} et al., Sci. Math. Jpn. 70, No. 3, 269--278 (2009; Zbl 1182.22001)]. By further developing the techniques applied in [\textit{M. K. Bellini} et al., Topology Appl. 267, Article ID 106894, 30 p. (2019; Zbl 1427.54040)] to the case of cardinality \(\mathfrak{c}\), the authors show that the answer is (consistently) positive for non-torsion Abelian groups of size at most \(2^{\mathfrak{c}}\).