[论文解读] Abelian quotients and orbit sizes of finite groups

Thomas Michael Keller, Yong Yang|arXiv (Cornell University)|Jul 24, 2014

Finite Group Theory Research参考文献 10被引用 7

一句话总结

该论文证明了，对于任意有限群 $G$ 在有限模 $V$ 上忠实且完全可约地作用，$G$ 在 $V$ 上的最大轨道大小至少为 $|G/G'|$，其中 $G'$ 是交换子群。该证明通过广义Fitting子群和 $G$ 的结构分解，推广了早期对可解群和阿贝尔群的结果，最终归约为已知轨道界成立的可解群情形，从而强化了1989年Aschbacher-Guralnick的界 $|G/G'| < |V|$。关键贡献在于以 $G$ 的交换化为基准，建立了轨道大小的统一下界。

ABSTRACT

Let $G$ be a finite group, and let $V$ be a completely reducible faithful $G$-module. It has been known for a long time that if $G$ is abelian, then $G$ has a regular orbit on $V$. In this paper we show that $G$ has an orbit of size at least $|G/G'|$ on $V$. This generalizes earlier work of the authors, where the same bound was proved under the additional hypothesis that $G$ is solvable. For completely reducible modules it also strengthens the 1989 result $|G/G'|

研究动机与目标

• 将阿贝尔群的经典正则轨道结果推广至任意有限群在完全可约模上的作用。
• 将早期针对可解群的结果（即最大轨道大小的下界为 $|G/G'|$）推广至所有有限群。
• 通过证明 $|G/G'| \leq M$（其中 $M$ 为最大轨道大小），强化1989年Aschbacher-Guralnick的结果 $|G/G'| < |V|$，适用于完全可约模。
• 建立以 $G$ 的交换化为基准的轨道大小统一下界，即使在混合特征情形下也适用。

提出的方法

• 利用广义Fitting子群 $F^*(G) = F(G)E(G)$ 将 $G$ 的作用分解为在Fitting子群和层 $E(G)$ 上的作用部分。
• 通过 $|C:C'| \leq |F(G):F(G)'|$ 控制 $G/G'$ 在 $F(G)$ 上的作用贡献，其中 $C$ 是 $E(G)/Z(E(G))$ 的中心化子。
• 对于 $E(G)/Z(E(G))$ 上的作用，利用有限单群中存在大阿贝尔子群的事实，通过 $|K:K'| \leq |A|$ 控制，其中 $A$ 是 $E(G)/Z(E(G))$ 的阿贝尔子群。
• 构造一个可解子群 $T = A \times_Z F(G)$，其中 $Z = Z(E(G))$，使得 $|G/G'| \leq |T/T'|$，利用中心积的结构。
• 应用先前对可解群已知的结果（见文献[8]）得出 $|G/G'| \leq M$，其中 $M$ 为最大轨道大小。
• 利用有限单群的分类，确保 $E(G)/Z(E(G))$ 中存在足够大阶的阿贝尔子群，以满足所需的界限。

实验结果

研究问题

• RQ1 每个有限群 $G$ 在忠实且完全可约作用于模 $V$ 时，是否都存在大小至少为 $|G/G'|$ 的轨道？
• RQ2 是否可将轨道大小的界 $|G/G'| \leq M$ 推广至任意有限群，而不仅限于可解群？
• RQ3 广义Fitting子群 $F^*(G)$ 和 $E(G)/Z(E(G))$ 的结构如何促成向可解群的约化？
• RQ4 有限单群中大阿贝尔子群在控制 $|G/G'|$ 的阿贝尔商时起什么作用？
• RQ5 能否将Aschbacher-Guralnick的界 $|G/G'| < |V|$ 强化为完全可约模情形下的 $|G/G'| \leq M$？

主要发现

• 该论文证明了，对任意有限群 $G$ 和忠实完全可约的 $G$-模 $V$，有 $|G/G'| \leq M$，其中 $M$ 为 $G$ 在 $V$ 上的最大轨道大小，推广了阿贝尔群的正则轨道定理。
• 该结果通过将严格不等式 $|G/G'| < |V|$ 替换为最大轨道大小的下界，强化了1989年Aschbacher-Guralnick的界。
• 证明依赖于通过广义Fitting子群分解 $G$，并利用有限单群的分类，以在 $E(G)/Z(E(G))$ 中找到大阶的阿贝尔子群。
• 构造了一个 $G$ 的可解子群 $T$，使得 $|G/G'| \leq |T/T'|$，并由此继承了可解群情形下已知的轨道界。
• 该界在混合特征情形下依然成立，即当 $V$ 是不同有限域上不可约模的直和时。
• 该结果在特征标理论中有应用，包括强化幂零长度的界，并证明了Brauer的 $k(B)$-猜想的特殊情况。