[論文レビュー] Automorphism groups of sporadic groups

Richard Lyons|arXiv (Cornell University)|Jun 19, 2011

Finite Group Theory Research参考文献 15被引用数 4

ひとこと要約

本稿は、26個の散乱有限単純群のすべてについて、既知の外部自己同型群の計算を収集・統合し、それぞれの|Out(G)|が1または2であることを確認している。Sylow 2-部分群がその自己同型群内で自己中心化的であることを、特に置換の中心化子と部分群の誘導を用いた構造的解析および局所群論的手法により解明し、ボブ・オリバーが提起した疑問に答えている。

ABSTRACT

Among the simplest invariants of the sporadic finite simple groups are their outer automorphism groups. For 12 of the 26 possible isomorphism types of a sporadic simple group G, the outer automorphism group Out(G) has order 2, and in the remaining 14 cases, Out(G) is trivial. Historically the suspicion of the existence of a sporadic group was followed in fairly short order by the calculation of a good upper bound on the size of its outer automorphism group. In a few cases establishing the existence of certain outer automorphisms, like the existence of the groups themselves, presented difficulties overcome only with the use of machine computation. In any case these calculations can be difficult to track down in the literature. This note, which contains nothing new, is only intended to bring together these calculations. It also answers a question of Bob Oliver about the automorphism groups of some of these groups, how they might be calculated, and specifically whether the Sylow 2-subgroups of a sporadic simple group are self-centralizing in the automorphism group of the simple group. The answer is that they are.

研究の動機と目的

• 文献中に散在する26個の散乱有限単純群の外部自己同型群に関する既存の計算を収集・体系化すること。
• ボブ・オリバーが提起した、散乱群のSylow 2-部分群がその自己同型群内で自己中心化的かどうかという特定の問いを解消すること。
• 散乱群のAut(G)およびOut(G)の構造を統一された参照として提供すること。特に|Out(G)| ≤ 2であるが、等号成立には非自明な計算を要する場合に注目する。
• 特に置換の中心化子とSylow 2-部分群を用いた部分群構造と局所解析を通じて、Aut(G)の構造的制約を導出すること。

提案手法

• 各散乱群Gに対して、M ∩ Syl₂(G) がMのSylow 2-部分群となるような極大部分群Mを特定し、N_A(M)/C_A(M)を用いた外部自己同型群の解析を可能にする。
• F*-定理および中心化子の性質を応用して、C_A(X)およびC_A(X)/G（Xは部分群）を解析し、特に2-局所構造に注目する。
• Baer–Suzuki定理およびCo₁やCo₂のような商における2-中心置換の性質を用いて、Gにおける置換の共軛性と融合を解析する。
• Mを既知の極大部分群、Hを置換の中心化子とするG₀ = ⟨M, H⟩を構成し、軌道数え上げと群の位数の上限を用いてG₀ = Gを証明する。
• G₀ ≠ Gならば|G : G₀| < 4であることに基づく。Gが単純群であることからG₀ = Gが導かれ、全群の生成性が立証される。
• 既知の局所構造の表（例：[10]）を用いて、小素数位数の元の中心化子を特定し、特定の部分群が自己正規化的であるか、2-群上で非可約に作用するかを検証する。

実験結果

リサーチクエスチョン

• RQ1 各散乱有限単純群Gに対して、|Out(G)|の正確な位数は何か。また、それは自明か、位数2の群か。
• RQ2 GのSylow 2-部分群TはAut(G)内で自己中心化的か。すなわち、C_Aut(G)(T) = Z(T) が成り立つか。
• RQ3 置換の中心化子や極大部分群といった局所部分群データのみを用いて、Aut(G)の構造を特定できるか。
• RQ4 MとH = C_G(t)が両方ともG₀に属するとき、M ≤ GがHと併せてGを生成することをどのように証明できるか。
• RQ5 スホール乗数とF*(M)の構造は、|Out(G)|の上限を求める上でどのような役割を果たすか。

主な発見

• 26個すべての散乱群に対して、|Out(G)|は1または2であり、12個の群が自明な外部自己同型群、残りの14個が|Out(G)| = 2を有する。
• すべてのケースにおいて、GのSylow 2-部分群TはC_Aut(G)(T) = Z(T)を満たし、Aut(G)内で自己中心化的であることが確認された。
• 各群Gに対して、外部自己同型群がN_A(M)/C_A(M)の商として実現される適切な極大部分群Mが存在し、この商は自明または位数2の巡回群である。
• G₀ = ⟨M, H⟩ = Gであることを、|G : G₀| < 4であることとGの単純性を用いて証明した。
• Out(G)が非自明な場合、外部自己同型は2-局所部分群（例：J₂およびJ₃におけるC = 2^{1+4}_−A₅）における非自明な作用を通じて実現される。
• すべてのケースで、適切な2-部分群Sに対してC_Aut(G)(S) = 1であることが確認され、外部自己同型群の極大性および構造の確立に寄与した。