{"id":"arxiv/2607.12192","url":"https://arxiv.org/abs/2607.12192","tags":["math.FA","math.GR"],"score":0,"title":"Characterized subgroups on the unit circle","domain":"math.FA","source":"arxiv","authors":["Rafal Filipow","Adam kwela","Paolo Leonetti","Jacek Tryba"],"reviews":0,"subject":"math.FA","summary":"Given an ideal $\\mathcal{I}$ on $ω$, a subgroup $H$ of the unit circle $\\mathbb{T}$ is said to be $\\mathcal{I}$-characterized if there exists an integer sequence $a=(a_n: n \\in ω)$ such that $$ H=\\mathsf{H}_{a}(\\mathcal{I}):= \\left\\{x\\in\\mathbb{T}:\\mathcal I\\text{-}\\lim_{n\\to \\infty} a_nx=0\\right\\}. $$ We also consider the corresponding $\\mathcal{I}^\\star$-version. We provide upper bounds for the topological complexities of those subgroups in terms of the complexity of $\\mathcal{I}$. Moreover, we prove that Rudin--Keisler and Rudin--Blass reductions between ideals induce inclusions between…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-13","reactions":{}}