Topologically \(\mathcal{I}\)-torsion elements of the circle (Q6601252)

An element \(x\) of an abelian topological grpoup \(X\) is said to be topologically torsion if \(\lim_{n\to\infty}(n!)x = 0\). In [The structure of locally compact abelian groups. New York-Basel; Marcel Dekker, Inc. (1981; Zbl 0509.22003), Chapter 3], \textit{D. L. Armacost} asked for a description of the subgroup of topologically torsion elements of the group \(\mathbb{T}\) of reals modulo one. An answer to this question is contained in the paper [Colloq. Math. 62, No. 1, 21--30 (1991; Zbl 0745.11037)] by \textit{J.-P. Borel}, and in the book [\textit{D. N. Dikranjan} et al., Topological groups. Characters, dualities, and minimal group topologies. New York etc.: Marcel Dekker, Inc. (1990; Zbl 0687.22001)] by D. Dikranjan, I. Prodanov, and L. Stoyanov.\N\NIn the paper under review a similar problem is considered, but working with a more general notion of topologically torsion element. Let \(\mathcal{I}\) be an ideal on the set \(\mathbb{N}\) of positive integers. A sequence \((x_{n})_{n}\) of elements of an abelian topological group \(X\) is convergent to an element \(x \in X\) with respect to \(\mathcal{I}\) if for every neighbourhood \(U\) of \(x,\) the set \(\{n \in \mathbb{N} \mid x_{n} \notin U\}\) is in \(\mathcal{I}\). For a sequence \((a_{n})_{n}\) of integers, the elements of the subgroup\N\[\Nt^{\mathcal{I}}_{(a_{n})}(X) = \{x \in X \mid \mbox{the sequence} \; (a_{n}x)_{n} \; \mbox{converges to zero in} \; X \; \mbox{w.r.t.} \; \mathcal{I}\}\N\]\Ncan be viewed as generalized topologically torsion elements of \(X\).\N\NThe author of the paper under review obtained, for a large class of ideals \(\mathcal{I}\) on \(\mathbb{N}\) and a general arithmetic sequence \((a_{n})_{n}\) of integers, a description of elements in the subgroup \(t^{\mathcal{I}}_{(a_{n})}(\mathbb{T})\) of \(\mathbb{T}\).