[论文解读] A Survey on Automorphism Groups of Finite $p$-Groups

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

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

一句话总结

本综述全面概述了有限 $p$-群的自同构群，重点关注对已知家族（如额外特殊 $p$-群和典型群的 Sylow $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$-幂的外自同构。
• 对特定家族显式计算自同构群：额外特殊 $p$-群、典型群的 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$-群？
• RQ3 作为某个有限 $p$-群 $G$ 的 $\mathrm{Aut}(G)$ 可能出现的最小阶数的 $p$-群是什么？
• RQ4 对于阶数至少为 $p^3$ 的非循环 $p$-群，$|G| \leq |\mathrm{Aut}(G)|$ 在什么条件下成立？
• RQ5 是否存在除 $D_8$ 外的有限 $p$-群 $G$，使得 $\mathrm{Aut}(G) \cong G$？

主要发现

• 当 $p=2$ 时，存在三个无限家族的 2-群满足 $|G| = |\mathrm{Aut}(G)|$，包括 $C_{2^{n-1}} \times C_2$ 以及当 $n \geq 3$ 时的两个非交换群。
• 对于奇素数 $p$，Horoševskiĭ 构造了幂零类为 $n$、生成元数为 $d$（$d \geq 3$）的 $p$-群，其自同构群为 $p$-群。
• Curran 表明，当 $p$ 为奇素数且 $(p-1,3)=1$ 时，存在唯一一个阶为 $p^5$ 的群，其自同构群为 $p$-群，且该群的阶为 $p^6$。
• 当 $p>2$ 且 $n \geq 6$ 时，Ban 和 Yu 构造了阶为 $p^n$ 的 $p$-群，其 $|\mathrm{Aut}(G)| = p^{n+1}$。
• Jonah 和 Konvisser 展示了 $p+1$ 个非同构的阶为 $p^8$ 的群，其自同构群为阶为 $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$。