[論文レビュー] On Recognition by Order and Degree Pattern of Finite Simple Groups

B. Akbari, Moghaddamfar, A. R.|arXiv (Cornell University)|May 2, 2013

Finite Group Theory Research参考文献 31被引用数 3

ひとこと要約

本稿では、素因数グラフ、次数パターン、および最大正規可解部分群の構造を群論的道具（Frattiniの補題や外部自己同型群の性質など）を用いて分析することにより、有限単純群 $L_6(3)$ と $U_4(5)$ が、その位数と次数パターンによって一意に特定可能であることが示されている。すなわち、これらはOD-特徴付け可能である。

ABSTRACT

Let ${ m GK}(G)$ be the prime graph associated with a finite group $G$ and $D(G)$ be the degree pattern of $G$. A finite group $G$ is said to be $k$-fold OD-characterizable if there exist exactly $k$ non-isomorphic groups $H$ such that $|H|=|G|$ and $D(H)=D(G)$. A 1-fold OD-characterizable group is simply called OD-characterizable. The purpose of this paper is threefold. First, it provides the reader with a few useful and efficient tools on OD-characterizability of finite groups. Second, it lists a number of such simple groups that have been already investigated. Third, it shows that the simple groups $L_6(3)$ and $U_4(5)$ are OD-characterizable, too.

研究の動機と目的

• 素因数グラフと次数パターンを用いた有限群のOD-特徴付け可能性を判定するための新しい道具および基準を確立すること。
• 位数と次数パターンによって一意に特定可能な有限単純群の既知のリストを拡張すること。
• $L_6(3)$ と $U_4(5)$ がOD-特徴付け可能であることを証明し、同じ位数と次数パターンを持つ群の中でそれらの同型類の一意性を解明すること。
• 候補群における最大正規可解部分群の構造を分析し、単純群でないか同型でない代替群を除外すること。
• Frattiniの補題および外部自己同型群の性質を用いて、商群における組成因子の可能性を制限すること。

提案手法

• 有限群 $G$ に対して、$|G|$ の素因数の集合と、元の位数による隣接関係に基づいて素因数グラフ $\mathrm{GK}(G)$ と次数パターン $\mathrm{D}(G)$ を定義する。
• 次数パターン $\mathrm{D}(G)$ と群の位数 $|G|$ を用いて、群を $k$ 重OD-特徴付け可能と分類し、$k=1$ のときが一意性を意味する。
• 候補群 $G$ におけるSylow部分群の正規化群の分析にFrattiniの補題を適用し、$\mathrm{GK}(G)$ における隣接関係を導出する。
• 群 $G$ の最大正規可解部分群 $K$ の構造を用いて、$K$ に含まれる素因数の集合を制限し、禁止された隣接関係を生じる素因数を除外する。
• 商群 $G/K$ に現れる候補単純群 $S$ の位数と自己同型群の構造を既知の表と比較し、$S$ を一意に特定する。
• ほとんどの単純群に対して $|\mathrm{Out}(S)|$ が小さいという事実を活用し、$S$ の可能な同型型を制限することで、$S \cong L_6(3)$ または $U_4(5)$ が得られる。

実験結果

リサーチクエスチョン

• RQ1 有限単純群 $L_6(3)$ と $U_4(5)$ は、その位数と次数パターンによって一意に特定可能か？
• RQ2 位数と次数パターンが $L_6(3)$ や $U_4(5)$ と同一である群 $G$ に対して、最大正規可解部分群 $K$ に課される構造的制約は何か？
• RQ3 素因数グラフにおける隣接関係に基づいて、Frattiniの補題を用いて $K$ に特定のSylow部分群が存在しないことを排除できるか？
• RQ4 候補単純群の外部自己同型群の位数は、$G/K$ の組成因子 $S$ の可能な同型型をどのように制限するか？
• RQ5 次数パターンと素因数グラフに満たすべき条件は何か？ その条件下で、有限群 $G$ が与えられた有限単純群と同型であることを保証するには？

主な発見

• 群 $L_6(3)$ はOD-特徴付け可能である：$|G| = |L_6(3)|$ かつ $\mathrm{D}(G) = \mathrm{D}(L_6(3))$ を満たす任意の有限群 $G$ は $L_6(3)$ と同型である。
• 群 $U_4(5)$ はOD-特徴付け可能である：$|G| = |U_4(5)|$ かつ $\mathrm{D}(G) = \mathrm{D}(U_4(5))$ を満たす任意の有限群 $G$ は $U_4(5)$ と同型である。
• このような群 $G$ の最大正規可解部分群 $K$ は自明である、すなわち $|K| = 1$ である。これにより $G$ は単純群であり、目標の群と同型であることが保証される。
• 解析により、$K$ が素因数 $5, 7, 11, 13$ を含めることはできないことが示され、素因数グラフにおける禁止された隣接関係が原因である。また、Frattiniの補題により $11$ および $13$ が $K$ に含まれないことが排除される。
• $U_4(5)$ の場合、組成因子 $S$ が $L_2(3^3)$ であると仮定すると、$5^6$-by-$13$ 部分群のFrobenius群構造から矛盾が生じる。なぜなら $13 \nmid 5^6 - 1$ であるから。
• 位数と $\pi(\mathrm{Out}(S)) \subseteq \{2,3\}$ を満たす唯一の可能な単純群 $S$ は $U_4(5)$ に限られ、これにより一意性が確認される。