无限群的反链条件

《Journal of Algebra》：An antichain condition for infinite groups

　　

设χ为一子群论性质。研究人员引入一种反链条件ACχ，其禁止存在由互不置换的非χ子群组成的无限反链，且这些子群的无限并仍为非χ。这是非χ子群上实链条件的一种“宽度”类比，并推广了通常的弱链条件层级（双链条件、偏差与RCC）。主要结果表明，在广义根基群范畴内，反链条件与相应的链条件同样刚性。对于正态性、近正态性、拟正态性、置换性、模性与准正态性等性质χ，研究人员证明广义根基群满足ACχ当且仅当其在非χ子群上满足RCC；等价地，其在非χ子群上满足任一标准弱链条件。特别地，研究人员得到极小极大型二分法：群要么为极小极大（minimax），要么每个子群均满足χ。这给出了借助Dedekind群、拟Hamilton群、具有模子群格的群以及T?群刻画的特征。在准正规情形中，须处理局部有限单群，且分类有限单群（CFSG）的使用似乎不可避免。

研究背景方面，无限群论中子群格上的有限性条件长期是核心驱动力。除经典极大与极小条件外，若干弱链条件（双链条件、弱双链条件DCC_∞、偏差、实链条件RCC）被证明能有效迫使可解与广义可解群呈现强结构约束。既有文献系统考察了在受限子群系（如非子正规子群、非Abel子群、非准正规子群）上的弱链条件，揭示出广义根基群中弱链条件常坍缩为极小极大型二择一，迫使群落入极端类。Dardano与De Mari近期提出非χ子群上的RCC，统一并强化前述深度视角。本文补入“宽度”类比——基于反链的反链条件AC_χ，以更一般框架统摄深度与宽度两种格论约束。论文发表于《Journal of Algebra》。

关键技术方法上，研究人员在广义根基群（具升正规列且因子局部有限或局部幂零的群）中展开论证；借助引理证明RCC蕴含AC_χ；利用从无限直积中提取“良态”子群的通用工具；对正态性、近正态性、拟正态性、置换性、模性及准正态性分别套用极小极大二择一归纳；在准正规情形结合局部有限单群族结构与分类有限单群（CFSG）填补已有证明间隙。无外部样本队列，纯群论推演。

研究结果按原文章节浓缩如下。

引言部分界定AC_χ：群G不含无限反链{H_λ}_λ∈Λ满足两两互斥置换、H_λ??_γ∈Λ?{λ}H_γ，且任意无限子族的并仍非χ子群。由此RCC?AC_χ，AC_χ弱于RCC。

第3节处理近正态与拟正态。定理3.4证得在广义根基群中，AC_an与AC_nn分别等价于非近正态与非拟正态子群上的DCC_∞，从而等价于RCC与偏差；非极小极大子群必近正态（或拟正态）。定理3.5推至正态性：AC_n等价于非正规子群上DCC_∞及他弱链条件，且群非极小极大即Dedekind群。

第4节论置换性与模性。定理4.2与4.3表明AC_per与AC_mod各等价于对应非χ子群上DCC_∞，导出“极小极大 versus 极端”二分：置换情形得拟Hamilton群，模情形得模子群格群。

第5节研准正规性。主定理5.8给出同样极小极大—极端二分；命题5.6借有限单群族细目补正文献间隙，使CFSG进入论证；极端类涉T?群与局部有限单群交互。

讨论与结论翻译：在广义根基群中，反链条件AC_χ对非χ子群系而言与RCC、DCC_∞、偏差等弱链条件等价；对χ取正态、近正态、拟正态、置换、模、准正规均成立。故群要么极小极大，要么全子群满χ，分别刻画为Dedekind群、拟Hamilton群、模格群或T?群等。准正规情形须诉诸局部有限单群结构与CFSG。该宽度条件确为深度链条件的真推广，且在此类群中与之同样刚性，拓宽了“少非χ子群”群论的结构定理谱系。