[論文レビュー] Abelian quotients and orbit sizes of finite groups

Thomas Michael Keller, Yong Yang|arXiv (Cornell University)|Jul 24, 2014

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

ひとこと要約

本稿は、任意の有限群 $G$ が有限加群 $V$ 上に忠実かつ完全可約に作用するとき、$G$ の $V$ 上における最大軌道サイズは、$G'$ を交換子部分群とするとき $|G/G'|$ 以上であることを証明する。証明は、アーベル群や可解群に対する以前の結果を一般化し、一般化されたフィット部分群と $G$ の構造的分解を用いる。最終的に、既知の軌道の下界が成り立つ可解群に帰着され、1989年のAschbacher-Guralnickの境界 $|G/G'| < |V|$ を強化する。主な貢献は、$G$ のアーベル化に基づく一様な軌道サイズの下界の確立である。

ABSTRACT

Let $G$ be a finite group, and let $V$ be a completely reducible faithful $G$-module. It has been known for a long time that if $G$ is abelian, then $G$ has a regular orbit on $V$. In this paper we show that $G$ has an orbit of size at least $|G/G'|$ on $V$. This generalizes earlier work of the authors, where the same bound was proved under the additional hypothesis that $G$ is solvable. For completely reducible modules it also strengthens the 1989 result $|G/G'|

研究の動機と目的

• アーベル群に対する古典的正則軌道結果を、完全可約加群上に作用する任意の有限群に一般化すること。
• 可解群に対して既に $|G/G'|$ の下界が示されていた結果を、すべての有限群に拡張すること。
• 完全可約加群に対して1989年のAschbacher-Guralnickの結果 $|G/G'| < |V|$ を、$|G/G'| \leq M$（$M$ は最大軌道サイズ）に強化すること。
• $G$ のアーベル化に基づく一様な軌道サイズの下界を確立し、混合特徴角設定でも適用可能であるようにすること。

提案手法

• 一般化されたフィット部分群 $F^*(G) = F(G)E(G)$ を用いて、$G$ の作用をフィット部分群とレイヤー $E(G)$ に分解する。
• 中心化子 $C$ を $E(G)/Z(E(G))$ に対して定義し、$|C:C'| \leq |F(G):F(G)'|$ を用いて $G/G'$ が $F(G)$ 上に与える寄与を評価する。
• $E(G)/Z(E(G))$ 上の作用に対して、有限単純群に大きなアーベル部分群が存在することを用い、$|K:K'| \leq |A|$（$A$ は $E(G)/Z(E(G))$ のアーベル部分群）を満たすように評価する。
• 中心積の構造を活用し、$Z = Z(E(G))$ として $T = A \times_Z F(G)$ なる可解部分群 $T$ を構成する。このとき $|G/G'| \leq |T/T'|$ が成り立つ。
• 既知の可解群に対する結果（[8] より）を適用し、$|G/G'| \leq M$（$M$ は最大軌道サイズ）を結論づける。
• 有限単純群の分類を用いて、$E(G)/Z(E(G))$ に十分大きな位数のアーベル部分群が存在することを保証し、必要な評価を満たすようにする。

実験結果

リサーチクエスチョン

• RQ1 任意の有限群 $G$ が加群 $V$ 上に忠実かつ完全可約に作用するとき、$G$ は $|G/G'|$ 以上である軌道をもつのか？
• RQ2 可解群に限らない任意の有限群に対し、軌道サイズの下界 $|G/G'| \leq M$ を確立できるか？
• RQ3 一般化されたフィット部分群 $F^*(G)$ および $E(G)/Z(E(G))$ の構造は、可解群への還元をどのように支援するか？
• RQ4 有限単純群における大きなアーベル部分群は、$|G/G'|$ の評価にどのような役割を果たすか？
• RQ5 完全可約加群に対して、Aschbacher-Guralnickの境界 $|G/G'| < |V|$ を $|G/G'| \leq M$ に強化できるか？

主な発見

• 本稿は、任意の有限群 $G$ と忠実かつ完全可約な $G$-加群 $V$ に対して、$G$ の $V$ 上における最大軌道サイズ $M$ に対して $|G/G'| \leq M$ が成り立つことを確立し、アーベル群の正則軌道定理を一般化する。
• 1989年のAschbacher-Guralnickの境界 $|G/G'| < |V|$ を、最大軌道サイズの下界に置き換えることで、これを強化する。
• 証明は、一般化されたフィット部分群による $G$ の分解と、有限単純群の分類を用いて $E(G)/Z(E(G))$ に大きなアーベル部分群を見つけることに依存する。
• 可解部分群 $T$ を $|G/G'| \leq |T/T'|$ を満たすように構成し、既知の可解群に対する結果から軌道の下界を引き継ぐ。
• 混合特徴角設定（$V$ が異なる有限体上の既約加群の直和である場合）に対しても、この境界は成り立つ。
• この結果は、群の表現論や、可解長の上界を強化する応用、Brauerの $k(B)$-予想の特別な場合の証明など、特徴関数論への応用を持つ。