[論文レビュー] A Survey on Automorphism Groups of Finite $p$-Groups

Geir T. Helleloid|ArXiv.org|Oct 9, 2006

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

ひとこと要約

このサーベイは、特に非可換クラス2の $p$-群やChevalley群のSylow $p$-部分群を含むよく知られた族について、明示的な計算に焦点を当て、有限 $p$-群の自己同型群の体系的かつ包括的な概説を提供する。$p$-群の自己同型群が $p$-群であるか、そうでないかを特定し、指定された自己同型群を持つ $p$-群の構成も行う。既知の結果を統合し、$|G| \leq |\mathrm{Aut}(G)|$ 予想のような未解決問題を強調し、特に $p=2$ および奇数 $p$ に対して詳細な構造定理と例を提示する。主な貢献は、有限 $p$-群の自己同型群に関する構造的および計算的知見を体系的に統合し、群論的構成法と位数制約に重点を置いたものである。

ABSTRACT

This survey on the automorphism groups of finite p-groups focuses on three major topics: explicit computations for familiar finite p-groups, such as the extraspecial p-groups and Sylow p-subgroups of Chevalley groups; constructing p-groups with specified automorphism groups; and the discovery of finite p-groups whose automorphism groups are or are not p-groups themselves. The material is presented with varying levels of detail, with some of the examples given in complete detail.

研究の動機と目的

• 有限 $p$-群の自己同型群に関する既知の結果を統合し、特によく研究された族について提示すること。
• 有限 $p$-群の自己同型群が自身で $p$-群である条件を調査すること。
• 指定された自己同型群を持つ $p$-群の構成、特に明示的な表示を含めること。
• 中心的自己同型とFrattini自己同型の役割やその位数といった構造的性質を調べること。
• 未解決問題を強調すること、特に $|G| \leq |\mathrm{Aut}(G)|$ 予想と自己同型塔問題。

提案手法

• 有限 $p$-群の自己同型群に関する既存文献の体系的レビューと統合。
• 中心的自己同型 $\mathrm{Aut}_c(G)$、Frattini自己同型 $\mathrm{Aut}_f(G)$、外部自己同型群 $\mathrm{Out}(G)$ などの群論的道具の使用。
• Gaschützの定理とSchmidの拡張の応用により、$p$-冪位数の外部自己同型の存在を示す。
• 特定の族に対する自己同型群の明示的計算：extraspecial $p$-群、Chevalley群のSylow $p$-部分群、対称群、最大クラスの $p$-群。
• 表示と構造的制約を用いて、自己同型群が $p$-群である $p$-群の構成。
• 既知の境界と明示的例による自己同型群の位数の分析、$|\mathrm{Aut}(G)| = p|G|$ や $|\mathrm{Aut}(G)| = p^{n+3}$（$|G| = 3^n$ の場合）を含む。

実験結果

リサーチクエスチョン

• RQ1 どの有限 $p$-群について $\mathrm{Aut}(G)$ が自身で $p$-群となるか？
• RQ2 $p$-群を明示的に構成して、$\mathrm{Aut}(G)$ が所望の構造または位数を持つようにできるか？
• RQ3 ある有限 $p$-群 $G$ に対して $\mathrm{Aut}(G)$ として現れる $p$-群の最小位数は何か？
• RQ4 非巡回 $p$-群で位数が $p^3$ 以上のものについて、$|G| \leq |\mathrm{Aut}(G)|$ が成り立つ条件は何か？
• RQ5 $D_8$ を除いて、$\mathrm{Aut}(G) \cong G$ を満たす有限 $p$-群 $G$ は存在するか？

主な発見

• $p=2$ の場合、$|G| = |\mathrm{Aut}(G)|$ を満たす3つの無限族の2群が存在し、$C_{2^{n-1}} \times C_2$ と $n \geq 3$ のときの非アーベル群2種類が含まれる。
• 奇数 $p$ の場合、Horoševskiĭ は、可解クラス $n$ で生成数 $d$（$d \geq 3$）の $p$-群を構成し、その自己同型群が $p$-群であることを示した。
• Curran は、奇数 $p$ で $(p-1,3)=1$ のとき、$\mathrm{Aut}(G)$ が $p$-群であるような位数 $p^5$ の群がただ一つ存在し、その位数は $p^6$ であると示した。
• $p>2$ かつ $n \geq 6$ のとき、Ban と Yu は、位数 $p^n$ の $p$-群を構成し、$|\mathrm{Aut}(G)| = p^{n+1}$ となることを示した。
• Jonah と Konvisser は、位数 $p^8$ の $p+1$ 個の非同型群を示し、それらの自己同型群は位数 $p^{16}$ の初等アーベル群であり、すべてクラス2で、すべての自己同型が中心的である。
• Caranti と Scoppola は、位数 $p^n$（$n \geq 6$）の最大クラスの冪指数 $p$-群を構成し、$|\mathrm{Aut}(G)| = p^{2(n-2)}$ となるメタアーベル群と、$p>3$ のとき $|\mathrm{Aut}(G)| = p^7$ または $p^9$ となる非メタアーベル群を構成した。