[论文解读] Class preserving automorphisms of finite $p$-groups: A survey

Manoj K. Yadav|arXiv (Cornell University)|Feb 6, 2010

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

一句话总结

本综述全面整理了有限 $p$-群上保持类的自同构的已知结果，重点研究 $\operatorname{Aut}_c(G)$ 和 $\operatorname{Out}_c(G)$ 的结构与性质。研究结果表明，非交换 $p$-群中 $\operatorname{Aut}_c(G)$ 的最大阶数恰好由阶为 $p^3$ 的额外特殊 $p$-群、阶为 $p^4$ 的类 3 群，以及特定的同构类族（包括 Burnside 的群 $W$ 和群 $R$）实现。主要贡献在于对达到理论最大值 $|\operatorname{Aut}_c(G)|$ 的 $p$-群进行了完整分类。

ABSTRACT

In this short survey article, we try to list maximum number of known results on class preserving automorphisms of finite $p$-groups. We conclude the survey with some interesting (at least for the author) open problems on this topic.

研究动机与目标

• 整理并系统化关于有限 $p$-群上保持类自同构的已知结果。
• 识别并分类使得 $|\operatorname{Aut}_c(G)|$ 达到理论最大值的有限 $p$-群。
• 提出并激发关于 $\operatorname{Out}_c(G)$、$\operatorname{Aut}_c(G)$ 及其在 $p$-群中结构约束的开放研究问题。
• 探索保持类自同构与更广泛的代数结构（包括整数群环和上同调不变量）之间的联系。

提出的方法

• 综述 Burnside、Wall、Gaschutz、Sah、Heineken、Malinowska 等人关于 $\operatorname{Aut}_c(G)$ 和 $\operatorname{Out}_c(G)$ 的基础成果。
• 使用上同调技术及 Sah 提出的 $c$-闭子群概念分析 $\operatorname{Aut}_c(G)$。
• 应用群论工具（如幂零类、导出子群 $\gamma_2(G)$ 和 Frattini 子群 $\Phi(G)$）对极端情况分类。
• 分析同构类族及群的表示（如 $W$ 和 $R$ 的表示），以确定 $|\operatorname{Aut}_c(G)|$ 何时达到最大可能值。
• 通过最小生成集的共轭类大小乘积 $|x^G|$ 推导 $|\operatorname{Aut}_c(G)|$ 的界。
• 利用结构定理（例如，对类 2 群有 $\operatorname{Aut}_c(G) \leq \operatorname{Aut}_{\text{cent}}(G)$）来约束并分类自同构群。

实验结果

研究问题

• RQ1 对于幂零类为 2 的有限 $p$-群 $G$，何时有 $\operatorname{Out}_c(G) = 1$？
• RQ2 在幂零类为 2 的有限 $p$-群中，$\operatorname{Aut}_{\text{cent}}(G) = \operatorname{Aut}_c(G)$ 的充要条件是什么？
• RQ3 哪些有限 $p$-群满足 $\operatorname{Aut}(G) = \operatorname{Aut}_c(G)$？
• RQ4 在类 $c > 2$ 的 $p$-群中，$\operatorname{Out}_c(G)$ 的幂零类的精确上界是什么？
• RQ5 在什么条件下有 $|\operatorname{Aut}_c(G)| = |\gamma_2(G)|^d$ 成立，其中 $d$ 是最小生成集的大小？

主要发现

• 当且仅当 $G$ 是阶为 $p^3$ 的额外特殊 $p$-群、阶为 $p^4$ 的类 3 群，或与阶为 $p^6$ 的群 $W$ 或 $R$ 同构时，$|\operatorname{Aut}_c(G)|$ 达到上界。
• 对于奇素数 $p$ 的阶为 $p^3$ 的非交换 $p$-群，有 $|\operatorname{Aut}_c(G)| = p^8$，与理论界一致。
• Burnside 构造的群 $W$ 满足 $|\operatorname{Aut}_c(W)| = p^8$，证实该界对偶数 $n$ 也是最优的。
• 不等式 $|\operatorname{Aut}_c(G)| \leq \prod_{i=1}^d |x_i^G|$ 是精确的，且当且仅当 $G$ 满足 $|\operatorname{Aut}_c(G)| = |\gamma_2(G)|^d$ 时取等。
• 对于满足 $\operatorname{Z}(G) \leq \gamma_2(G)$ 的 $p$-群，$\operatorname{Aut}_{\text{cent}}(G)$ 是 $p$-群，从而对 $\operatorname{Aut}_c(G)$ 的结构形成约束。
• 定理 5.7 的分类表明，仅有四种同构类型 $p$-群能实现最大的 $|\operatorname{Aut}_c(G)|$。