[论文解读] Integral group ring of the McLaughlin simple group

Victor Bovdi, Alexander Konovalov|arXiv (Cornell University)|May 21, 2007

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

一句话总结

本文通过在整数群环中使用 Luthar–Passi 方法分析扭单位，证实了 McLaughlin 偶发单群 $\mathrm{McL}$ 的 Kimmmerle 猜想关于素数图。证明了不存在阶为 21、22、33、35、55 或 77 的扭单位，并完全刻画了阶为 2、3、5、7 和 11 的元素的偏提升，从而验证了该群的素数图与其整数群环的正规单位群的素数图一致。

ABSTRACT

We consider the Zassenhaus conjecture for the normalized unit group of the integral group ring of the McLaughlin sporadic group McL. As a consequence, we confirm for this group the Kimmerle's conjecture on prime graphs.

研究动机与目标

• 研究 McLaughlin 偶发单群 $\mathrm{McL}$ 的 Zassenhaus 猜想及其弱化形式——Kimmerle 猜想。
• 确定正规单位群 $V(\mathbb{Z}\mathrm{McL})$ 中扭单位可能的阶。
• 刻画 $V(\mathbb{Z}\mathrm{McL})$ 中小素数幂阶扭单位的偏提升。
• 验证 $\mathrm{McL}$ 的素数图与 $V(\mathbb{Z}\mathrm{McL})$ 的素数图一致，从而确认该群的 Kimmerle 猜想。

提出的方法

• 对 $G = \mathrm{McL}$ 应用 Luthar–Passi 方法，分析 $V(\mathbb{Z}G)$ 中扭单位的偏提升。
• 利用特征标理论和 Brauer 特征标值，通过公式 $\mu_i(u,\chi,*) = \frac{1}{|G|} \sum_{g \in G} \chi(g) \cdot \text{Tr}(\text{ad}(u^i)\rho(g))$ 推导偏提升的不等式。
• 利用 Berman–Higman 定理强制 $\nu_1 = 0$ 且偏提升之和为 1。
• 通过测试特征标值并检查所得表达式的整数性与非负性，系统分析所有可能的有理共轭候选。
• 通过反证法，利用基于特征的约束，系统排除阶为 21、22、33、35、55 和 77 等合数阶单位的存在性。
• 利用如下事实：根据命题 1，有理共轭等价于每个单位的幂恰好有一个非零偏提升。

实验结果

研究问题

• RQ1 正规单位群 $V(\mathbb{Z}\mathrm{McL})$ 是否包含阶为 21、22、33、35、55 或 77 的扭单位？
• RQ2 在 $V(\mathbb{Z}\mathrm{McL})$ 中，阶为 3、5、7 和 11 的元素在共轭类上的偏提升可能取哪些值？
• RQ3 Kimmerle 猜想所预测的 $\mathrm{McL}$ 的素数图是否与 $V(\mathbb{Z}\mathrm{McL})$ 的素数图相等？
• RQ4 所有 $V(\mathbb{Z}\mathrm{McL})$ 中阶为 2 的扭单位是否都与 $\mathrm{McL}$ 中的元素有理共轭？

主要发现

• 在 $V(\mathbb{Z}\mathrm{McL})$ 中不存在阶为 21、22、33、35、55 或 77 的扭单位，因此可能的异常阶仅存在于集合 \{18, 20, 24, 28, 36, 40, 45, 56, 60, 72, 90, 120, 180, 360\} 中。
• $V(\mathbb{Z}\mathrm{McL})$ 中所有阶为 2 的扭单位都与 $\mathrm{McL}$ 中的元素有理共轭。
• 对于阶为 3 的单位，唯一可能的非零偏提升出现在 $3a$ 和 $3b$ 共轭类上，其配对为 $(-2,3), (-1,2), (0,1), (1,0)$。
• 对于阶为 5 的单位，唯一可能的非零偏提升出现在 $5a$ 和 $5b$ 上，其配对为 $(-4,5), (-3,4), (-2,3), (-1,4), (0,1), (1,0)$。
• 对于阶为 7 的单位，所有非零偏提升均局限于 $7a$ 和 $7b$，其中 $\nu_{7a} \in [-86, 87]$ 且 $\nu_{7a} + \nu_{7b} = 1$。
• 对于阶为 11 的单位，所有非零偏提升均局限于 $11a$ 和 $11b$，其中 $\nu_{11a} \in [-9, 10]$ 且 $\nu_{11a} + \nu_{11b} = 1$。