[论文解读] The Waring Problem for Finite Quasisimple Groups. II

Robert M. Guralnick, Pham Huu Tiep|arXiv (Cornell University)|Feb 2, 2013

Finite Group Theory Research参考文献 14被引用 5

一句话总结

该论文证明，在有限拟单李型群中，存在正则半单元素 x（阶为素数）和 y（阶的素因子不超过两个）使得它们的共轭类乘积覆盖所有非中心元素。利用此结果，论文证明了 Waring 型问题的有效版本，表明在足够大的有限单群中，每个元素都是两个 m 次幂的乘积，且 m 次幂词的语法宽度有界。

ABSTRACT

Let G be a finite quasisimple group of Lie type. We show that there are regular semisimple elements x,y in G, x of prime order, and |y| is divisible by at most two primes, such that the product of the conjugacy classes of x and y contain all non-central elements of G. In fact in all but four cases, y can be chosen to be of square-free order. Using this result, we prove an effective version of one of the main results of Larsen, Shalev and Tiep by showing that, given any positive integer m, if the order of a finite simple group S is at least f(m) for a specified function f, then every element in S is a product of two mth powers. Furthermore, the verbal width of the mth power word on any finite simple group S is at most g(m) for a specified function g. We also show that, given any two non-trivial words v, w, if G is a finite quasisimple group of large enough order, then v(G)w(G) contains all non-central elements of G. MSC-class: 20D05, 20C33

研究动机与目标

• 在有限拟单李型群中建立特定正则半单元素 x 和 y 的存在性，使得它们的共轭类乘积覆盖所有非中心元素。
• 为 Larsen、Shalev 和 Tiep 关于有限单群 Waring 问题的结果提供一个有效版本。
• 界定有限单群上 m 次幂词的语法宽度，证明其至多为某个指定函数 g(m)。
• 将结果推广至任意非平凡词 v 和 w，证明在足够大的有限拟单群中，v(G)w(G) 包含所有非中心元素。

提出的方法

• 作者在有限拟单李型群中构造正则半单元素 x 和 y，其中 x 的阶为素数，y 的阶的素因子不超过两个。
• 他们使用涉及共轭类和李型有限群结构的群论技术，分析乘积集 x^G y^G。
• 证明依赖于有限李型群表示理论与特征标理论的深刻结果，特别是关于正则半单元素的研究。
• 他们应用特征和的界以及 Waring 问题框架，推导出生成元素所需 m 次幂数量的有效定量估计。
• 论证通过在基础李型群的秩和域大小上进行归纳与情形分析展开。
• 他们利用在除四种情况外，y 均可选取为无平方因子阶这一事实，简化分析并强化结果。

实验结果

研究问题

• RQ1 能否在有限拟单李型群中找到正则半单元素 x 和 y，使得它们的共轭类乘积覆盖所有非中心元素？
• RQ2 y 的阶的最小条件（例如无平方因子或素因子个数有界）为何种条件时，可实现此类覆盖性质？
• RQ3 如何使有限单群上的 Waring 型结果变得有效，即对表示任意群元素所需 m 次幂数量给出显式界？
• RQ4 有限单群上 m 次幂词的语法宽度是多少？能否由一个函数 g(m) 统一有界？
• RQ5 在何种条件下，对任意非平凡词 v 和 w，乘积集 v(G)w(G) 能覆盖足够大有限拟单群中的所有非中心元素？

主要发现

• 在除四种情况外的所有情形中，存在正则半单元素 x（阶为素数）和 y（阶为无平方因子）在有限拟单李型群中，使得 x^G y^G 包含所有非中心元素。
• 在阶至少为 f(m) 的有限单群 S 中，每个元素都是两个 m 次幂的乘积，其中 f 是显式指定的函数。
• 在任意有限单群 S 上，m 次幂词的语法宽度至多为 g(m)，其中 g 是指定函数，提供了统一的有界性。
• 对任意两个非平凡词 v 和 w，若 G 是足够大阶的有限拟单群，则 v(G)w(G) 包含 G 的所有非中心元素。
• 该结果在所有有限拟单李型群中一致成立，仅在四种例外情况下 y 无法选取为无平方因子阶。
• x 和 y 的构造依赖于具有受控阶的正则半单元素的存在性，而这种存在性由有限李型群的结构保证。