Convergent sequences in iterated ultrapowers as \(p\)-compact groups (Q6545211)

Let \(G\) be an infinite countable abelian group. The main result of the paper states that, in the framework of ZFC, there exists a non-principal ultrafilter \(p\) on \(\omega\) such that the topological group \(\left(\mathrm{Ult}_p(G),\tau_{\overline{Bohr}}\right)\) has non-trivial convergent sequences. Furthermore, the authors identify some errors in the paper ``Countably compact groups without non-trivial convergent sequences'' by \textit{M. Hrušák} et al. [Trans. Am. Math. Soc. 374, No. 2, 1277--1296 (2021; Zbl 1482.22002)].