[论文解读] Growth in linear groups

Endre Szabó, László Pyber|arXiv (Cornell University)|Aug 13, 2012

Finite Group Theory Research参考文献 54被引用 11

一句话总结

该论文建立了线性群中增长的多项式逆定理，表明任意对称子集 $ S $ 在 $ \mathrm{GL}(n,\mathbb{F}) $ 中，若其三倍常数较小，即 $ |S^3| \leq K|S| $，则其包含于 $ K^{c(n)} $ 个由 $ S $ 正规化的可解-有限子群的陪集中。该结果将乘积定理推广至一般线性群，并通过中心化子结构与有限群分解，统一了有限群与代数群的结构性结果。

ABSTRACT

We give a description of non-growing subsets in linear groups, which extends the Product theorem for simple groups of Lie type. We also give an account of various related aspects of growth in linear groups.

研究动机与目标

• 将有限单李型群的乘积定理推广至任意域上的一般线性群。
• 通过证明非增长子集在结构上受约束——即位于少数可解-有限子群的陪集中——来刻画线性群中的非增长子集。
• 利用中心化子结构与马尔切夫嵌入定理，统一有限群理论与代数群理论在增长理论中的研究。
• 为覆盖此类子集所需陪集数量提供一个与域大小无关的多项式界。
• 建立适用于正特征域上线性群的赫鲁索夫斯基定理的有限群版本。

提出的方法

• 以有限单李型群的乘积定理作为基础情形。
• 引入CCC-子群（连通子群的连通中心化子）作为代数群中极大环面的推广。
• 证明对于满足 $ |S^3| \leq K|S| $ 的子集 $ S $，其大次幂在由 $ S $ 正规化的子群 $ H $ 中集中，利用广义环面结构。
• 应用归纳法与有限群分解定理（如魏斯费勒结果），将有限线性群分解为 $ O_p(G) $ 与李型拟单群的中心积。
• 利用马尔切夫定理，将结果从有限域提升至任意域，从而实现对无限线性群的推广。
• 结合有限群结果与代数群结构，将赫鲁索夫斯基型定理升级为有限情形下的多项式界，再推广至一般域。

实验结果

研究问题

• RQ1 在对称子集 $ S \subset \mathrm{GL}(n,\mathbb{F}) $ 满足小三倍常数 $ |S^3| \leq K|S| $ 时，会引发何种结构性约束？
• RQ2 能否将有限单李型群的乘积定理推广至任意域上的所有线性群？
• RQ3 在非半单或非约化情形下，代数群中极大环面的概念应如何推广？
• RQ4 元素元组的中心化子在检测线性群子集中结构集中现象时起什么作用？
• RQ5 能否利用马尔切夫嵌入定理，将有限线性群中的增长结果提升至无限线性群？

主要发现

• 任意对称子集 $ S \subset \mathrm{GL}(n,\mathbb{F}) $，若满足 $ |S^3| \leq K|S| $，则其包含于 $ K^{c(n)} $ 个由 $ S $ 正规化的可解-有限子群 $ \Gamma $ 的陪集中，其中 $ c(n) $ 是 $ n $ 的函数。
• 子群 $ \Gamma $ 包含一个正规可解子群 $ H $，使得 $ \Gamma \subset S^6 H $，表明具有强结构控制。
• 对于有限线性群，群 $ G \leq \mathrm{GL}(n,\mathbb{F}) $ 存在一个正规子群 $ H $，其指数至多为 $ f(n) $，使得 $ H/O_p(G) $ 为特征为 $ p $ 的李型拟单群的中心积。
• 该结果意味着在特征为零的域上，线性群的赫鲁索夫斯基定理存在多项式版本，与布雷乌亚德、格林与陶的结果一致。
• 证明中使用了极大环面的推广——CCC-子群，其通用元组的中心化子可恢复子群本身，从而支持归纳性集中论证。
• 该定理在任意特征的域上均成立，且界 $ K^{c(n)} $ 仅依赖于 $ n $，与域或群的大小无关。