[論文レビュー] Integral group ring of the McLaughlin simple group

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

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

ひとこと要約

この論文は、キマークの予想がMcLaughlin特異単純群について成り立つことを、整数群環における捩れ単位元の解析とLuthar–Passi法を用いて確認した。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} に対して $V(\mathbb{Z}G)$ における捩れ単位元の部分増幅を解析するため、Luthar–Passi法を適用すること。
• 特性理論とブライアー特性値を用いて、公式 $\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つの非ゼロ部分増幅を持つことと同値であるという、命題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$ が成り立つ。