AI 中文总结
研究单位圆上\(\mathcal{I}\)-特征子群，通过整数序列\(a\)定义\(\mathsf{H}_{a}(\mathcal{I})\)子群，给出其拓扑复杂度上界，证明理想约化与子群族包含关系，分析理想性质并回答文献中开放问题。
AI 中文摘要
给定ω上的一个理想\(\mathcal{I}\)，单位圆\(\mathbb{T}\)的一个子群\(H\)若存在整数序列\(a=(a_n: n \in \omega)\)使得\(H = \mathsf{H}_{a}(\mathcal{I}) := \{x\in\mathbb{T}:\mathcal I\text{-}\lim_{n\to \infty} a_nx = 0\}\)，则称\(H\)是\(\mathcal{I}\)-特征的。还考虑了相应的\(\mathcal{I}^\star\)版本。根据\(\mathcal{I}\)的复杂度给出了这些子群拓扑复杂度的上界。证明了理想之间的鲁丁 - 基斯勒和鲁丁 - 布拉斯约化诱导相应特征子群族之间的包含关系。结果表明每个特征子群，特别是\(\mathbb{T}\)的每个可数子群，对于每个贫理想\(\mathcal{I}\)都是\(\mathcal{I}\)-特征的。还表明若\((a_n: n \in \omega)\)的值域包含任意大的区间，则\(\mathbb{T}\)的每个子群都可写成\(\mathsf{H}_{a}(\mathcal{J})\)形式。分析了这些理想的描述复杂度和\(P\)-性质。最后研究了\(\mathsf H_{a}(\mathcal{I})=\mathbb{T}\)何时迫使\(\mathrm{supp}(a)\in\mathcal{I}\)，并针对一类满足涉及\(\mathcal{ED}\)的卡特托夫型条件的理想证明了此结论，包括无处高理想以及理想\(\mathsf{nwd}\)和\(\mathsf{null}\)。还得到了\(\mathcal{I}\)-特征子群族之间的非包含结果。利用结果回答了文献中提出的几个开放问题。
英文摘要
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 the corresponding families of characterized subgroups. As a consequence, every characterized subgroup, and in particular every countable subgroup of $\mathbb{T}$, is $\mathcal{I}$-characterized for every meager ideal $\mathcal{I}$. We also show that if the image of $(a_n: n \in ω)$ contains arbitrarily large intervals, then every subgroup of $\mathbb{T}$ can be written as $\mathsf{H}_{a}(\mathcal{J})$ for some ideal $\mathcal{J}=\mathcal{J}_{H,a}$. We analyze the descriptive complexity and $P$-properties of these ideals. Finally, we study when the equality $\mathsf H_{a}(\mathcal{I})=\mathbb{T}$ forces $\mathrm{supp}(a)\in\mathcal{I}$. We prove this for a class of ideals satisfying a Katetov-type condition involving $\mathcal{ED}$, including nowhere tall ideals as well as the ideals $\mathsf{nwd}$ and $\mathsf{null}$. We also obtain non-inclusion results between families of $\mathcal{I}$-characterized subgroups: for instance, we show that if the ideal $\mathcal{I}$ is tall and translation invariant then the subgroup $\mathsf{H}_{(2^n)}(\mathcal{I})$ cannot be characterized. We use our results to answer several open problems posed in the literature.
