[論文レビュー] On the Connectivity of the Sylow Graph of a Finite Group

Francesco G. Russo|arXiv (Cornell University)|Feb 25, 2010

Finite Group Theory Research参考文献 36被引用数 6

ひとこと要約

本稿では、有限群 G の Sylow 図 Γ(G) の連結性を調査し、有限単純群の分類に依存せずに連結性を判定する計算的基準を確立する。主な貢献は、Sylow 正規化子構造を分析することで Δ(G) が連結かどうかを効率的にチェックする新しいアルゴリズム（ROSN1）を GAP に実装した点であり、理論的結果として Γ(G) が連結であるための必要十分条件が示され、形成が N-閉であるための条件も提示されている。

ABSTRACT

The Sylow graph $Γ(G)$ of a finite group $G$ originated from recent investigations on the so--called $\mathbf{N}$--closed classes of groups. The connectivity of $Γ(G)$ was proved only few years ago, involving the classification of finite simple groups, and the structure of $G$ may be strongly restricted, once information on $Γ(G)$ are given. The first result of the present paper deals with a condition on $\mathbf{N}$--closed classes of groups. The second result deals with a computational criterion, related to the connectivity of $Γ(G)$.

研究の動機と目的

• 有限単純群の分類に依存せずに、Sylow 図 Γ(G) の連結性を判定する計算的基準を確立すること。
• Sylow 図 Δ(G) と Sylow 図 Γ(G) の関係を調査し、両者の連結性が同値であることを示すこと。
• 図式的および群論的道具を用いて、特にカバー形成とラティス形成を含む形成が N-閉であるための十分条件を提供すること。
• Sporadic 単純群を含む有限群における Δ(G) の連結性を実験的にテストするための計算アルゴリズム（ROSN1）を実装・検証すること。
• 特に Sylow 正規化子と組成因子に関連して、N-閉性が有限群に与える構造的影響を検討すること。

提案手法

• 自動化子 Ap(G) = NG(Gp)/GpCG(Gp) を用いて Sylow 図 Γ(G) を定義し、q ∈ π(Ap(G)) であるとき p→q が辺を形成する。
• Δ(G) と Γ(G) の連結性が等価であることを確立し、Δ(G) はループを許容するが Γ(G) は許容しないが、連結性は保たれることに注意する。
• Sylow 正規化子の構造と自動化子の性質を用いて、Γ(G) が連結であるための条件を導出する。
• 対称的被覆（R = (π(p))p∈P）と形成関数 fR を導入し、被覆形成とラティス形成を定義する。
• 各素数 p ∈ π(G) に対して |NG(Gp):CG(Gp)| を計算し、q ≠ p がこの指数を割り切るかどうかをチェックし、素因数の論理的チェックを通じて連結性を判定する GAP ベースのアルゴリズム ROSN1 を開発する。
• [4] のデータを用いて、Sporadic 単純群にこのアルゴリズムを適用し、実験的結果を確認し、仮定の下での手法の効率性を検証する。

実験結果

リサーチクエスチョン

• RQ1 有限群 G の Sylow 図 Γ(G) が、有限単純群の分類に依存せずに、どのような条件下で連結になるか？
• RQ2 Δ(G) と Γ(G) の連結性はどのように関係し、Γ(G) がループを許さないという点がこの関係にどのように影響するか？
• RQ3 群 G の構造的性質のうち、特にカバー形成とラティス形成の文脈において、その形成が N-閉であることを保証するものは何か？
• RQ4 効率的な計算アルゴリズムを設計して Δ(G) の連結性をテストできるか？特に、Sporadic 単純群のような特定の群のクラスにおいて、その性能はいかがなものか？
• RQ5 N-閉性は、特に非可解の場合に、組成因子と Sylow 正規化子にどのような影響を与えるか？

主な発見

• Δ(G) がループを許容する一方で Γ(G) は許容しないが、それらの隣接条件が等価であるため、Γ(G) が連結であるための必要十分条件は Δ(G) が連結であることである。
• アルゴリズム ROSN1 は、|NG(Gp):CG(Gp)| 及びその素因数の分析を通じて Δ(G) の連結性を的確に判定でき、仮定を適用した場合には顕著な性能向上が得られた。
• 任意の有限群 G に対して、G ∈ N(F) に属するすべての非アーベル組成因子が p′-群であり、Sylow p-部分群の正規化子が非可解 ∞-半径を持つならば、F は N-閉である。
• すべての有限単純 π-群 L に対して Aut(L) が p′-群であるという条件は、形成 F が N-閉であるための十分条件を提供する。
• 結果として、ラティス形成が N-閉であることが確認され、[9] における予想が裏付けられ、以前の N-閉クラスに関する研究が拡張された。
• ROSN1 と [4] のデータを用いたすべての Sporadic 単純群に対する実験的検証により、アルゴリズムの正しさが確認され、連結性に関する理論的予測が支持された。