[論文レビュー] Commuting graphs of odd prime order elements in simple groups

Barbara Baumeister, Alexander Stein|ArXiv.org|Aug 18, 2009

Finite Group Theory Research参考文献 23被引用数 5

ひとこと要約

本稿は、有限単純群における奇素数位の要素の交換グラフを調査し、これらのグラフが大きな連結成分をもつための条件を確立する。その結果、このような成分が存在するための必要十分条件として、群が偶数特性における特定のリストに属する交代群またはリー型群でない場合に限ることを示し、大きな成分が存在するならば、Sylow p-部分群が非巡回的であり、強く p-埋め込みされた部分群が存在しないことを示している。

ABSTRACT

We study the commuting graph on elements of odd prime order in finite simple groups. The results are used in a forthcoming paper describing the structure of Bruck loops and Bol loops of exponent 2.

研究の動機と目的

• 有限単純群における奇素数位の要素の交換グラフの連結構造を特定すること。
• 奇素数位の要素の交換グラフに大きな連結成分をもたない有限単純群を分類すること。
• 大きな連結成分が存在する場合に生じる構造的帰結（例えば、Sylow p-部分群の性質、強く p-埋め込みされた部分群の非存在）を確立すること。
• 有限ボル型およびブルーク型の指数2のループを特徴付ける基盤を提供すること（応用的研究計画の一環として）。
• 特定の共轭類が連結であることから、交換グラフに大きな成分が存在することを保証する共轭類を同定すること。

提案手法

• 有限単純群 $G$ の奇素数位のすべての要素の集合 $\cal O$ 上に交換グラフ $\Gamma_{\cal O}$ を定義する。
• 共役作用を用いて、連結成分を「大きなもの」（共役作用に関して閉じており、完全な共轭類を含む）と「小さなもの」に分類する。
• 最大部分群の構造および中心化子解析の結果を適用し、特に $q$ を法とする $r$ の位数 $d_q(r)$ を用いる。
• 既知の部分群データを [LSS]、[CLSS]、[ATLAS] より活用し、中心化子を分析して成分のサイズを特定する。
• リー型群、特に偶数特性における共轭類の連結性に関する定理を適用し、大きな成分をもつ場合を同定する。
• p-局所的構造に関する結果（強く p-埋め込みされた部分群の非存在、非巡回的 Sylow p-部分群）を用いて、構造的制約を導出する。

実験結果

リサーチクエスチョン

• RQ1 どの有限単純群が、奇素数位の要素の交換グラフに大きな連結成分をもたないか？
• RQ2 奇素数位の要素の交換グラフが大きな連結成分をもつのはどのような条件下か？
• RQ3 大きな連結成分の存在が示唆する構造的性質（例：Sylow p-部分群の型、強く p-埋め込みされた部分群の存在）は何か？
• RQ4 偶数特性におけるリー型群のうち、奇素数位の要素の共轭類が連結な交換グラフを生成するのはどの群か？
• RQ5 $d_q(r)$ の値と最大部分群の構造は、$\Gamma_{\cal O}$ の成分のサイズおよび連結性にどのように影響するか？

主な発見

• 交換グラフ $\Gamma_{\cal O}$ に大きな連結成分が存在しないことと、$G$ が $A_n$ ($n \geq 8$)、$^2B_2(q)$、$^2G_2(q)$、$^2A_2(q)$ で $\frac{q+1}{(q+1,3)}$ が2のべきである場合、または $M_{11}, J_1, A_2(4)$ のいずれかに同型であることは同値である。
• $\Gamma_{\cal O}$ に大きな連結成分が存在するならば、奇素数位 $p$ の要素 $x$ が存在し、$\Gamma_p$（位数 $p$ の要素上の交換グラフ）が連結である。
• 大きな連結成分が存在するならば、$G$ は強く $p$-埋め込みされた部分群をもたず、$x \in \Gamma_p$ を満たす任意の素数 $p$ に対して Sylow $p$-部分群は非巡回的である。
• 交代群 $A_n$ ($n \geq 8$) において、3-巡回置換の共轭類は連結な交換グラフを生成する。
• $A_n(q)$ および $^2A_n(q)$（$q$ が偶数のとき）、$r$ が $q^{2}-1$ を割り切る場合に連結成分が生じ、中心化子構造 $E(C_G(x))/Z(E(C_G(x)))$ はそれぞれ $A_{n-2}(q)$ または $^2A_{n-2}(q)$ に同型である。
• 例外型群 $F_4(q)$、$E_6(q)$、$^2E_6(q)$、$E_7(q)$、$E_8(q)$ においては、$d_q(r) \in \{8,9,12,14,18,24\}$ である場合に小さな連結成分が生じ、特定の最大部分群の存在および中心化子構造に依存する。