非超可解有限群具有任意小的Sylow-积分不变量

《Examples and Counterexamples》：Non-supersolvable finite groups with arbitrarily small Sylow-integral invariant

　　

设G为有限群，令γ(G)=∫01 SP(G,x) dx = ∑p∈π(G) np(G)/(sp(G)+1)为与G的Sylow多项式相关联的Sylow-积分不变量（Sylow-integral invariant）。研究人员证明，γ(G)的小值并不强制超可解性（supersolvability）。更精确地说，若H为任意有限群且Nt=∏p∈π(H) Cpt，则当t→∞时γ(H×Nt)→0。因此，对每个ε>0，存在一个有限可解群G，它非超可解且满足γ(G)k×A4)，并记录了满足γ(G)<6/5的无穷子族。

1. 研究背景与动机

在有限群理论中，Sylow-积分不变量γ(G)是由Anabanti和Asboei引入的一个数值不变量，其定义为Sylow多项式SP(G,x)=∑_p∈π(G) n_p(G)x^s_p(G)在区间[0,1]上的积分，其中n_p(G)是G的Sylow p-子群个数，s_p(G)是Sylow p-子群的阶。此前的研究表明，在有限非循环单群中，γ(G)=9/2当且仅当G?A₅，这暗示γ可能用于刻画某些特殊群类。然而，Zhang和Yang近期的工作指出，这一刻画在不附加额外假设的情况下无法推广到所有非可解有限群。

一个自然的问题是：较小的γ值能否强制群具有某种良好结构性质？特别地，由于交错群A₄是可解但非超可解的，且γ(A₄)=6/5，人们猜想γ(G)<6/5是否迫使有限群G超可解。本研究旨在检验这一猜想，并探索γ作为结构判别指标的局限性。

2. 研究目标与主要发现

研究人员证明了一个更强的结论：有限可解非超可解群可以具有任意小的Sylow-积分不变量。具体而言，对于任意有限群H，若令N_t=∏_p∈π(H) C_p^t，则γ(H×N_t)随t增大而趋于零。这意味着不存在任何正数阈值k使得γ(G)< />

3. 关键技术方法

本研究采用的主要技术方法是直积公式与Sylow加厚构造。研究人员利用Sylow子群在直积下的乘法性质建立了直积公式（命题2.1）：若G=H×K，则γ(G)=∑_{p∈π(H)∪π(K)} n_p(H)n_p(K)/(s_p(H)s_p(K)+1)。在此基础上，通过将H与循环群C_p^t（对每个p∈π(H)）作直积，使分母中的s_p(H)乘以p^t，从而让γ值任意小。该方法无需复杂的群论工具，仅依赖于Sylow数据的初等计算。

4. 研究结果

命题2.1（直积公式）：通过Sylow子群在直积下的乘法性质，推导出γ(G)关于直积因子的分解公式，为后续构造奠定基础。

命题2.3（Sylow加厚）：对任意有限群H，取N_t=∏_p∈π(H) C_p^t，则γ(H×N_t)=∑_p∈π(H) n_p(H)/(s_p(H)p^t+1)，且当t→∞时该值趋于0。这表明通过增加循环Sylow因子的阶，可使γ任意逼近0。

推论2.4：若C是封闭于商群的有限群类，且H?C，则对任意ε>0存在G?C使得γ(G)< />

定理3.1：对任意ε>0，存在有限可解群G，它既非超可解也非幂零，且γ(G)< />_t=A₄×C_2^t×C_3^t，其γ值趋于0。

推论3.2：不存在正实数k使得所有满足γ(G)< />

命题4.1（显式公式）：给出γ(C_k×A₄)的精确表达式，其中k=2^a3^bm，(m,6)=1。该公式将γ分解为2、3及互素因子贡献之和。

例4.2：取G_a=C_2^a×A₄（a≥1），则γ(G_a)<6/5，且G_a可解非超可解，构成无穷反例族。特别地，γ(C₂×A₄)=10/9<6/5。

例4.3：取G_a,b=C_2^a3^b×A₄，当a+b>0时γ(G_a,b)<6/5，且当a,b→∞时γ→0。

注记4.4：类似现象在SL₂(3)?Q₈?C₃中也成立，其γ(SL₂(3))=10/9<6/5，且C_2^a×SL₂(3)构成另一无穷反例族。

5. 总结与结论

本研究的核心结论是：Sylow-积分不变量γ(G)不能通过任何正下界来检测超可解性或幂零性。研究人员通过直积加厚构造表明，对于任意封闭于商群的有限群类，只要存在不属于该类的群H，就可以构造出γ值任意小但仍不在该类中的群。这一结果揭示了γ作为群结构判别指标的局限性，并指出其更适用于刻画特定单群（如A₅）而非一般可解群的性质。最终结论翻译如下：上述例子表明，γ(G)无法通过任何正下界阈值来检测超可解性或幂零性。这一障碍并非A₄所独有：推论2.4适用于任何封闭于商群的有限群真类。因此，直积加厚构造将每个被排除的商群都转化为该类之外且具有任意小Sylow-积分不变量的例子。