[論文レビュー] Finite $p$-groups all of whose subgroups of index $p^3$ are abelian

Qinhai Zhang, Libo Zhao+2 more|arXiv (Cornell University)|Oct 23, 2014

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

ひとこと要約

この論文は、すべての $p^3$ 乗指数部分群がアーベルであるが、少なくとも一つの $p^2$ 乗指数部分群が非アーベルである有限 $p$-群、すなわち $\mathcal{A}_3$-群を完全に分類している。構造的群論および生成数、導出部分群の性質、部分群格子の分析を用いて、同型型の完全なリストが提示され、ベルコヴィッチとヤンコが提起した古くからの問題が解決された。この分類により、このような群における $\mathcal{A}_1$-部分群の数に関する、3つの関連する未解決問題が解かれた。

ABSTRACT

Suppose that $G$ is a finite $p$-group. If all subgroups of index $p^t$ of $G$ are abelian and at least one subgroup of index $p^{t-1}$ of $G$ is not abelian, then $G$ is called an $\mathcal{A}_t$-group. In this paper, some information about $\mathcal{A}_t$-groups are obtained and $\mathcal{A}_3$-groups are completely classified. This solves an {\it old problem} proposed by Berkovich and Janko in their book. Abundant information about $\mathcal{A}_3$-groups are given.

研究の動機と目的

• すべての $p^3$ 乗指数部分群がアーベルであるが、少なくとも一つの $p^2$ 乗指数部分群が非アーベルである有限 $p$-群、すなわち $\mathcal{A}_3$-群を完全に分類すること。
• ベルコヴィッチとヤンコの書籍の問題1278を解決すること。この問題は、$\mathcal{A}_3$-群の分類を求めることを問うものである。
• 3つの関連する未解決問題を解決すること：$\{\alpha_1(G) \mid G \text{ は } \mathcal{A}_3\text{-群である}\}$ の集合を記述すること、$\alpha_1(G) < p^2 + p + 1$ を満たす $\mathcal{A}_3$-群を分類すること、およびすべての $\mathcal{A}_3$-群における $\max\{\alpha_1(G)\}$ を計算すること。
• $\mathcal{A}_3$-群における、指数 $p$ の $\mathcal{A}_i$-部分群の数を表す三重組 $ (\mu_0, \mu_1, \mu_2) $ を特定すること。
• $\mathcal{A}_1$-部分群の存在・非存在、生成数、フレッティーニ部分群の構造に基づいて、$\mathcal{A}_3$-群を分類すること。

提案手法

• $\mathcal{A}_3$-群を、生成数 $d(G)$、フレッティーニ部分群 $\Phi(G)$、および $\Phi(G)$ と中心 $Z(G)$ の関係によって分類する。
• 導出部分群 $G'$ 及びその $Z(G)$ への包含関係を用いて場合分けを行い、特に $G'$ が $Z(G)$ に含まれない場合に注目する。
• 最大部分群の研究、$\mathcal{A}_1$-部分群の数、特定の部分群格子性質を持つ $p$-群の分類といった群論的技法を適用する。
• 最小非アーベル $p$-群（$\mathcal{A}_1$-群）および $\mathcal{A}_2$-群に関する既知の結果を、基礎的構成要素として活用する。
• 指数 $p$ のアーベル部分群または $\mathcal{A}_1$-部分群の存在、および $d(G)$ の値に基づく場合分けを実施し、合計62種類の $\mathcal{A}_3$-群の型に到達する。
• 計算的および構造的列挙を用いて、すべての同型型を列挙し、$\alpha_1(G)$、$\mu_0$、$\mu_1$、$\mu_2$ などの詳細な不変量を提示する。

実験結果

リサーチクエスチョン

• RQ1 すべての $p^3$ 乗指数部分群がアーベルであるが、少なくとも一つの $p^2$ 乗指数部分群が非アーベルである有限 $p$-群の完全な分類は何か？
• RQ2 $\mathcal{A}_1$-部分群の数 $\alpha_1(G)$ の可能な値は何か？
• RQ3 $\alpha_1(G) < p^2 + p + 1$ を満たす $\mathcal{A}_3$-群はどのようなものか？また、それらは完全に特徴付けられるか？
• RQ4 すべての $\mathcal{A}_3$-群における $\alpha_1(G)$ の最大値は何か？
• RQ5 指数 $p$ の $\mathcal{A}_i$-部分群の数を数える三重組 $ (\mu_0, \mu_1, \mu_2) $ は何か？

主な発見

• $\mathcal{A}_3$-群は、$d(G)$、$\Phi(G) \leq Z(G)$、指数 $p$ の $\mathcal{A}_1$-部分群の存在といった構造的不変量に基づき、合計62種類の同型型に完全に分類された。
• $\mathcal{A}_3$-群 $G$ における $\mathcal{A}_1$-部分群の数 $\alpha_1(G)$ は $2p^2 - 1$ から $p^3 + 2p^2 + p$ の範囲をとり、それぞれの値が異なる同型型に対応する。
• $d(G) = 2$ の場合、$\alpha_1(G) \leq p^3 + 2p^2 + p$ であり、等号が成り立つのは $p = 2$ で $G$ が定理5.13の群(M37)である場合に限る。
• すべての $\mathcal{A}_3$-群における $\alpha_1(G)$ の最大値は $p^3 + 2p^2 + p$ であり、これは $p = 2$ のとき群(M37)で達成される。
• $\{\alpha_1(G) \mid G \text{ は } \mathcal{A}_3\text{-群である}\}$ の集合は完全に特定され、表14にすべての値が明示的に列挙されている。
• $\mathcal{A}_0$、$\mathcal{A}_1$、$\mathcal{A}_2$-部分群の指数 $p$ の数を数える三重組 $ (\mu_0, \mu_1, \mu_2) $ は、すべての $\mathcal{A}_3$-群について計算され、表13にまとめられている。