[論文レビュー] Finite simple groups with narrow prime spectrum

Andrei V. Zavarnitsine|arXiv (Cornell University)|Oct 3, 2008

Finite Group Theory Research参考文献 1被引用数 108

ひとこと要約

この論文は、GAPにおける計算群論を用いて、1000未満の素数因子しか持たない非アーベル有限単純群を特定し、その数がちょうど1972個であることを証明している。素因数分解に基づいて体系的にリストアップされ、素体のパラメータとリー型構造に基づいて一般型および非一般型の族に分類されている。

ABSTRACT

We find the nonabelian finite simple groups with order prime divisors not exceeding 1000. More generally, we determine the sets of nonabelian finite simple groups whose maximal order prime divisor is a fixed prime less than 1000. Our results are based on calculations in the computer algebra system GAP.

研究の動機と目的

• 1000未満の素数因子しか持たない非アーベル有限単純群をすべて特定すること。
• 各素数 p ≤ 1000 に対して、最大の素数因子が p であるような群を集合 𝔖_p に整理すること。
• 各 p に対して、一般型群（例：L₂(p), A_p, A_{p+1}, ..., A_{p′−1}）と非一般型の例外を区別すること。
• 群論的および算術的応用に使用可能な、完全で計算的に検証済みのリスト（同型重複を含む）を提供すること。

提案手法

• 文献[2, Lemma 2]の理論的上限を用い、有限素数集合 π に対して π(G) ⊆ π を満たす非アーベル単純群は有限個であることを示す。
• GAPで実装されたアルゴリズムを用い、すべての散在的群、n ≤ p′−1 であるような交代群 A_n、有界ランクおよび体サイズのリー型群をチェックする。
• Lie型群における q = p^k の指数 k を制限するために、t = max_{r∈π∖{p}} ord_r(p) の公式を用いる。これにより探索空間が有限になる。
• 候補群の位数の素因数分解を計算し、すべての素因数が1000未満であるものをフィルタリングする。
• 最大の素数因子 p ごとに結果をグループ化し、集合 𝔖_p を形成する。特に、非一般型要素を含まない群に対しては特別な処理を行う。
• すべてのこのような群を網羅的にリストアップする表を作成し、大きな素数に対しては短縮形を用い、例外ケースは表 LABEL:gen および LABEL:ng を用いて特定する。

実験結果

リサーチクエスチョン

• RQ1 1000未満の素数因子しか持たない非アーベル有限単純群はいくつあるか？
• RQ2 各素数 p ≤ 1000 に対して、p ∈ π(G) ⊆ {2, 3, ..., p} を満たす非アーベル有限単純群 G は何か？
• RQ3 どの素数 p ≤ 1000 に対して、集合 𝔖_p に一般型群 L₂(p), A_p, ..., A_{p′−1} 以外の非一般型群が存在しないか？
• RQ4 p ≤ 1000 に対して、素因数分解が {2, 3, ..., p} に含まれる非アーベル有限単純群の完全な集合は何か？
• RQ5 リー型群（例：L_n(q), U_n(q), S_n(q), O±_n(q), G₂(q), E₆(q), など）が p ≤ 1000 のリストに現れるのはどのような場合か？また、体サイズおよびランクの制約は何か？

主な発見

• 1000未満の素数因子しか持たない非アーベル有限単純群はちょうど1972個である。
• p ≤ 100 の場合、集合 𝔖_p に一般型群 L₂(p), A_p, ..., A_{p′−1} 以外の非一般型群を含まない唯一の素数は 59 と 89 である。
• p ≥ 5 の場合、集合 𝔖_p には常に一般型群 L₂(p), A_p, A_{p+1}, ..., A_{p′−1} が含まれる。非一般型群が存在しない場合、|𝔖_p| = p′ − p + 1 である。
• 完全な群のリストは表 LABEL:alph に掲載されており、L₂(7) ≅ L₃(2) のような同型重複も含む。素因数分解に基づいて整理されている。
• 非一般型群は、p ≤ 1000 で一般型群のみが存在する素数に該当しない場合、表 LABEL:ng に明示的にリストアップされている。
• アルゴリズムはGAPを用いてすべての群を正しく特定できており、ランク l ≤ max{8, t} および q = p^k かつ k ≤ t の制限により、完全性が保証されている。