[论文解读] Torsion units in integral group rings of Janko simple groups

Victor Bovdi, Eric Jespers+1 more|arXiv (Cornell University)|Aug 17, 2006

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

一句话总结

本文使用 Luthar–Passi 方法研究了 Janko 族的散在单群 $J_1$、$J_2$ 和 $J_3$ 的整群环中挠元单位的 Zassenhaus 猜想。证明了这些群的 $V(\mathbb{Z}G)$ 中所有挠元单位的阶均与 $G$ 中元素的阶一致，且其 Gruenberg-Kegel 图与 $G$ 的图相同，从而确认了这些群的该猜想的弱化版本。

ABSTRACT

Using the Luthar--Passi method, we investigate the classical Zassenhaus conjecture for the normalized unit group of integral group rings of Janko sporadic simple groups. As a consequence, we obtain that the Gruenberg-Kegel graph of the Janko groups $J_1$, $J_2$ and $J_3$ is the same as that of the normalized unit group of their respective integral group ring.

研究动机与目标

• 验证 Janko 族散在单群的整群环的正规单位群 $V(\mathbb{Z}G)$ 的 Zassenhaus 猜想。
• 确定 $V(\mathbb{Z}G)$ 中所有挠元单位的阶是否与 $G$ 中元素的阶相等，特别关注 $J_1$、$J_2$ 和 $J_3$。
• 研究 $V(\mathbb{Z}G)$ 的 Gruenberg-Kegel 图，并与 $G$ 的图进行比较，以解决 Kimmerle 的问题 (PQ)。
• 将 Luthar–Passi 方法扩展至处理具有大阶和多个共轭类的群的复杂特征表与部分提升值。
• 识别在分析 $J_4$ 时的计算限制，特别是由于某些素数的 $p$-Brauer 特征表缺失。

提出的方法

• 应用 Luthar–Passi 方法分析挠元单位 $u \in V(\mathbb{Z}G)$ 相对于共轭类 $C_{nt}$ 的部分提升值 $\nu_{nt}$。
• 利用特征理论和 Brauer 特征表，通过公式 $\chi(u) = \sum \nu_{nt} \chi(h_{nt})$ 推导部分提升值的约束条件。
• 对由广义特征值导出的表达式 $\mu_i(u, \chi_j, p)$ 强制实施整数性与非负性条件，以筛选可能的解。
• 使用约束规划求解器系统地枚举并验证满足所有约束的可行部分提升值元组。
• 将该方法应用于 $J_1$、$J_2$ 和 $J_3$，利用已知的普通特征表与 Brauer 特征表，同时识别 $J_4$ 的计算障碍。
• 应用 Berman–Higman 定理强制满足 $\nu_1 = 0$（迹条件）与总和约束 $\sum \nu_{nt} = 1$。

实验结果

研究问题

• RQ1 对于 $G = J_1$、$J_2$ 和 $J_3$，$V(\mathbb{Z}G)$ 中所有挠元单位的阶是否均等于 $G$ 中元素的阶？
• RQ2 $J_1$、$J_2$ 和 $J_3$ 的 $V(\mathbb{Z}G)$ 的 Gruenberg-Kegel 图是否与 $G$ 的图完全相同？
• RQ3 尽管特征表复杂且共轭类数量众多，Luthar–Passi 方法是否仍可成功应用于 Janko 群？
• RQ4 在扩展方法至 $J_4$ 时存在哪些计算限制？这些限制能否通过补充特征数据克服？
• RQ5 $V(\mathbb{Z}J_4)$ 中是否存在阶不在 $J_4$ 中的挠元单位？若存在，能否将其排除？

主要发现

• 在 $V(\mathbb{Z}J_1)$ 中，不存在阶为 14、21、22、33、35、38、55、57、77、95、133 或 209 的挠元单位，其余所有挠元单位的阶均与 $J_1$ 中元素的阶一致。
• 在 $V(\mathbb{Z}J_2)$ 中，不存在阶为 14、21 或 35 的挠元单位，其余所有挠元单位的阶均与 $J_2$ 中元素的阶一致。
• 在 $V(\mathbb{Z}J_3)$ 中，所有阶为 5、6、10、15 或 30 的挠元单位的部分提升值在相关共轭类上被约束为特定的整数元组，且不存在阶为 34、38、51、57、85、95 或 323 的单位。
• 对于 $J_1$、$J_2$ 和 $J_3$，所有阶为素数（2、3、7、11、19）的挠元单位均与 $G$ 中的元素有理共轭，从而确认了这些阶的 Zassenhaus 猜想。
• $J_1$、$J_2$ 和 $J_3$ 的 $V(\mathbb{Z}G)$ 的 Gruenberg-Kegel 图与 $G$ 的图完全相同，证实了这些群的 Kimmerle 问题 (PQ)。
• 对于 $J_4$，由于缺少 $p \in \{2,3,11,23,29,31,43\}$ 的 $p$-Brauer 特征表，该方法无法排除某些合数阶的单位；且阶为 31 的单位的解空间极大（超过 18 万亿个解），导致完全枚举不可行。