[论文解读] Zassenhaus Conjecture on torsion units holds for $\operatorname{PSL}(2,p)$ with $p$ a Fermat or Mersenne prime

Leo Margolis, Ángel del Rı́o+1 more|arXiv (Cornell University)|Aug 20, 2016

Finite Group Theory Research参考文献 19被引用 3

一句话总结

该论文证明了当 p 为费马素数或梅森素数时，PSL(2,p) 的扎塞诺夫猜想，扩展了目前已知满足该猜想的非交换单群列表。通过使用改进版本的 HeLP 方法，结合特征标理论与部分提升的数论分析，作者证明了 ℤPSL(2,q) 中任意与 2q 互素阶的扭单元均与群中的元素有理共轭，从而确认了该猜想对无穷多个单群成立——具体而言，至少额外包含了 49 个梅森素数和四个已知的费马素数（除 3 外）。

ABSTRACT

H.J. Zassenhaus conjectured that any unit of finite order in the integral group ring $\mathbb{Z}G$ of a finite group $G$ is conjugate in the rational group algebra $\mathbb{Q}G$ to an element of the form $\pm g$ with $g \in G$. Though known for some series of solvable groups, the conjecture has been proved only for thirteen non-abelian simple groups. We prove the Zassenhaus Conjecture for the groups $\operatorname{PSL}(2,p)$, where $p$ is a Fermat or Mersenne prime. This increases the list of non-abelian simple groups for which the conjecture is known by probably infinitely many, but at least by 49, groups. Our result is an easy consequence of known results and our main theorem which states that the Zassenhaus Conjecture holds for a unit in $\mathbb{Z}\operatorname{PSL}(2,q)$ of order coprime with $2q$, for some prime power $q$.

研究动机与目标

• 扩展目前已知满足扎塞诺夫猜想的非交换单群列表。
• 证明当 p 为费马素数或梅森素数时，PSL(2,p) 满足该猜想。
• 证明 ℤPSL(2,q) 中阶与 2q 互素的扭单元均与群元素有理共轭。
• 通过为 PSL(2,q) 量身定制的特征标理论方法，克服经典 HeLP 方法的局限性。
• 表明在该背景下，素数 2 表现异常，使得通过标准方法无法获得更强结果。

提出的方法

• 采用专为 PSL(2,q) 的特征标理论量身定制的 HeLP（赫特维克-卢萨尔-帕西）方法的改进版本。
• 利用 Brauer 特征标与普通特征标分析扭单元的部分提升，以限制可能的单元结构。
• 运用数论论证分析单位阶与共轭类阶的可除性条件。
• 证明依赖于在 ℚG 中比较候选单位 u 与群元素 g 的特征标值，重点关注差值 ψ(u)−1 及其部分提升。
• 利用 PSL(2,q) 中特定的共轭类结构，特别是阶与 2q 互素的元素的行为。
• 通过有界部分提升的绝对值，运用反证法，排除不可能的配置。

实验结果

研究问题

• RQ1 当 p 为费马素数或梅森素数时，扎塞诺夫猜想是否对 PSL(2,p) 成立？
• RQ2 经典 HeLP 方法能否被扩展或修改，以证明非可解群（如 PSL(2,q)）的该猜想？
• RQ3 特征标理论方法对 ℤPSL(2,q) 中阶与 2q 互素的扭单元施加了何种约束？
• RQ4 为何在将 HeLP 方法应用于阶为 2p 的单位时，素数 2 会阻碍更强结果的获得？
• RQ5 是否存在无穷多个满足扎塞诺夫猜想的非交换单群？

主要发现

• 当 p 为费马素数或梅森素数时，扎塞诺夫猜想对 PSL(2,p) 成立，满足该猜想的群的已知列表从 13 个增加到至少 62 个。
• 主要结果确认了 ℤPSL(2,q) 中任意阶与 2q 互素的扭单位均与 PSL(2,q) 中的元素有理共轭。
• 证明表明，若假设存在一个阶与 2q 互素但具有非平凡部分提升的单位 u，则通过特征标值有界性可导出矛盾。
• 该分析排除了所有可能的此类单位阶 n，除了那些强制有理共轭的情形，包括 n = 15、21、35、45 等，所有这些均通过矛盾被排除。
• 该方法成功排除了 |C_b(ψ(u)−1)| 与 |C_b(ψ(g)−1)| 超出特征标差值所隐含界限的配置，特别是在假设 ν_i ∼_d 1（d = 3、5、7、15）时。
• 结果表明，扎塞诺夫猜想对至少 49 个梅森素数和 4 个费马素数（排除 3）成立，且由于梅森素数可能无穷多，该结论可能适用于无穷多个群。