[論文レビュー] Finite simple groups with some abelian Sylow subgroups

Rulin Shen, Yuanyang Zhou|arXiv (Cornell University)|Oct 13, 2015

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

ひとこと要約

この論文は、巡回的因子分解とアーティン不変量を用いて、奇素数 $ r $ に対するアーベル的Sylow $ r $-部分群をもつ有限非アーベル単純群を分類する。主な結果は、$ n < r^2 $ である交代群 $ A_n $、特定の線型およびユニタリ群、$ q $ に関する特定の条件を満たす単純なリー型群、およびアーベル的Sylow部分群をもつ散乱群である。

ABSTRACT

In this paper, we classify the finite simple groups with an abelian Sylow subgroup.

研究の動機と目的

• 奇素数 $ r $ に対してアーベル的Sylow $ r $-部分群をもつすべての有限非アーベル単純群を分類すること。
• 特に $ q^m - 1 $ の原始的素数因子に注目して、リー型単純群のSylow $ r $-部分群がアーベル的であるための条件を特定すること。
• 初等アーベルSylow部分群を含む分類を拡張し、このような部分群が存在するための $ q $ に関する明示的な合同条件を提示すること。
• 『有限群のアトラス』を用いて、散乱単純群のSylow部分群構造を体系的に列挙すること。
• 有限単純群におけるアーベル的Sylow部分群が必ず初等アーベル的である、すなわち巡回 $ r $-群の直積に同型であることを確立すること。

提案手法

• Sylow $ r $-部分群の構造を分析するために、巡回的因子分解のアーティン不変量を用いる。
• Zsigmondyの定理を適用して、$ q^m - 1 $ の原始的素数因子 $ r_m $ を特定し、Sylow部分群の構成に不可欠な役割を果たす。
• 巡回的多項式 $ \\_m(q) $ を用いて可除性条件を研究し、$ r_m $ が $ \Phi_m(q) $ に正確に $ r $-冪の位数で割り切れる条件を同定する。
• $ q \mod r_m^2 $ における合同条件を用いて、Sylow $ r $-部分群が初等アーベル的であるかどうかを決定する。
• 対称群および交代群におけるSylow部分群の解析に、群論的技法として被覆積や断面論を用いる。
• 散乱単純群におけるSylow部分群構造の明示的計算と検証に、『有限群のアトラス』に依拠する。

実験結果

リサーチクエスチョン

• RQ1 どの有限非アーベル単純群が奇素数 $ r $ に対してアーベル的Sylow $ r $-部分群をもつのか？
• RQ2 有限体 $ \mathrm{GF}(q) $ 上の単純リー型群が初等アーベル的Sylow $ r $-部分群をもつための $ q $ に関する必要十分条件は何か？
• RQ3 どの $ n $ に対して交代群 $ A_n $ がアーベル的Sylow $ r $-部分群をもつことが保証されるか？
• RQ4 アーティン不変量と巡回的因子分解は、単純群のSylow部分群を分類するためにどのように役立つか？
• RQ5 どの散乱単純群がアーベル的Sylow部分群をもつのか？ また、そのような状況が生じる素数因子は何か？

主な発見

• 交代群 $ A_n $ は、$ n < r^2 $ であるときに限り、アーベル的Sylow $ r $-部分群をもつ。さらに、$ 2r \leq n < 3r $ のとき、Sylow $ r $-部分群は初等アーベル的である。
• $ \mathrm{PSL}_2(q) $ に対しては、Sylow $ r $-部分群がアーベル的であるのは $ r \mid q $ のときに限り、かつ $ r $ が奇素数であれば初等アーベル的である。
• $ q \equiv 4,7 \pmod{9} $ かつ $ r = 3 $ のとき $ \mathrm{PSL}_3(q) $、$ q \equiv 2,5 \pmod{9} $ かつ $ r = 3 $ のとき $ \mathrm{PSU}_3(q^2) $ は、Sylow 3-部分群が初等アーベル的である。
• 有限体 $ \mathrm{GF}(q) $ 上の単純リー型群に対して、Sylow $ r_m $-部分群が初等アーベル的であるのは、$ q \equiv e_i, e_i + r_m, \dots, e_i + (r_m - 1)r_m \pmod{r_m^2} $ を満たすときであり、ここで $ e_i $ は $ r_m $ を法として原始根である。
• 表4に、$ r < 17 $ である散乱単純群でアーベル的Sylow部分群をもつものが完全に列挙されており、すべてのこのようなSylow部分群は初等アーベル的である。
• 有限単純群におけるすべてのアーベル的Sylow部分群は、初等アーベル的である。すなわち、$ C_r $ のコピーの直積に同型である。