[論文レビュー] A new graph related to conjugacy classes of finite groups

Xingzhong You, Guohua Qian+1 more|ArXiv.org|Oct 2, 2005

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

ひとこと要約

この論文は、有限群における元の位数に基づいて、新しい共役類グラフ Γ(G) を導入し、任意の素数で割り切れる非中心共役類が高々3つのみである性質 P₄ を満たすすべての有限群を分類している。有限単純群の分類を用いて、このような群はアーベル群、特定のフロベニウス群、小さな対称群や線形群、または L₂(5), L₂(7), L₂(9), L₂(11), L₂(13), A₇, または Sz(8) の7つの例外的な単純群のいずれかであることが示された。

ABSTRACT

In this paper we classify the finite groups satisfying the following property $P_4$: their orders of representatives are set-wise relatively prime for any 4 distinct non-central conjugacy classes.

研究の動機と目的

• 頂点が非中心共役類である新しい共役類グラフ Γ(G) を定義・分析し、代表元の位数が共通の素数因子を持つような共役類間に辺を結ぶ。
• 性質 P₄ を満たす有限群を特徴づけること。P₄ とは、任意の素数で割り切れる非中心共役類が高々3つであるという条件である。
• 有限単純群の分類および構造的群論を用いて、P₄ を満たすすべての有限群を分類すること。
• 特に、各素数ごとの共役類サイズが有界である群に関する先行研究を一般化し、有限群におけるクラスグラフおよび共役類構造に関する研究を拡張すること。

提案手法

• 非中心共役類を頂点とする共役類グラフ Γ(G) を定義し、代表元の位数が共通の素数因子を持つような共役類間に辺を結ぶ。
• Γ(G) に完全部分グラフ Kₙ を含まないことが、群が性質 Pₙ を満たす（任意の素数で割り切れる非中心共役類が高々 n−1 個）ことと同値であることを証明する。
• 有限単純群の分類を用いて、P₄ を満たす非アーベル単純群を分析し、素数ごとの共役類が多すぎる群を除外する。
• フロベニウス群、Sylow部分群、中心化部分群の結果を応用して、中心が自明または小さい群および特定の元の位数構造を持つ群を分類する。
• 商群が Pₙ を保つことを利用して、問題を G′Z(G) = G かつ G/Z(G) が単純である非可解群に還元する。
• シュール＝ツァッセンハウゼの定理および表現論的道具（例えば、固定点のない作用）を用いて、最小反例において非自明な正規 p-部分群が存在しないことを除外する。

実験結果

リサーチクエスチョン

• RQ1 どの有限群が、任意の与えられた素数で割り切れる非中心共役類が高々3つであるという性質を満たすか？
• RQ2 共役類グラフ Γ(G) に完全部分グラフ K₄ を含まない有限群の構造はいかなるものか？
• RQ3 非アーベル単純群のうち、P₄ 性質を満たすものは何か。また、元の位数と共役類データを用いてそれらをどのように分類できるか？
• RQ4 有限単純群の分類および群論的還元技術を用いて、P₄ を満たす有限群の分類を完成させることは可能か？
• RQ5 G′Z(G) = G かつ G/Z(G) が単純であるような有限群で、P₄ を満たすものに課される構造的制約は何か？

主な発見

• P₄ を満たす有限群は、アーベル群、核が C₃, C₅, C₇, (C₂)², または C₇ で補数の位数が 2 または 3 である特定のフロベニウス群、S₃×C₂、位数8の半ディハーディング群、四元数群 Q₈、および補数の位数が4で核が C₅, C₉, (C₃)², または C₁₃ であるフロベニウス群に限られる。
• P₄ を満たす例外的群は L₂(5), L₂(7), L₂(9), L₂(11), L₂(13), A₇, および Sz(8) であり、これらはすべて非アーベル単純群で、特定の元の位数と共役類構造を持つ。
• 共役類グラフ Γ(G) が K₄ を含まないことが、G が P₄ を満たすことと同値である。これはグラフ論的性質と元の位数に関する群論的制約の間の直接的な関係を確立する。
• G′Z(G) = G を満たす非可解群では、P₄ を満たすのは G/Z(G) が上記7つの例外的単純群のいずれかに同型である場合に限られ、最小反例では非自明な正規部分群は存在しない。
• 証明は、有限群論の深い結果、特に有限単純群の分類、シュール＝ツァッセンハウゼの定理、およびフロベニウス群や中心化部分群の性質に依存している。
• 非アーベルな組成因子をもつ群、または非アーベルなSylow 2-部分群をもつ群は、P₄ 条件に反するため除外される。特に、元の位数に共通する素数因子を持つ共役類が多すぎることにより、その理由が生じる。