[论文解读] Finite $p$-groups of conjugate type $\{ 1, p^3 \}$

Tushar Kanta Naik, Manoj K. Yadav|arXiv (Cornell University)|Jul 31, 2017

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

一句话总结

该论文对共轭型为 $\{1, p^3\}$ 的有限 $p$-群按同构型进行分类，证明其幂零类必为 2。共识别出四种同构型：换位子群阶为 $p^3$ 的卡米纳 $p$-群，伊藤构造中的群 $G_3$，以及对奇素数 $p$ 的 $G_3$ 的两个中心商群。当 $p=2$ 时，分类结果类似，包括一个阶为 $2^{10}$、指数为 4 的 2-群族。

ABSTRACT

We classify finite $p$-groups, upto isoclinism, which have only two conjugacy class sizes $1$ and $p^3$. It turns out that the nilpotency class of such groups is $2$.

研究动机与目标

• 对具有恰好两个共轭类大小：1 和 $p^3$ 的有限 $p$-群，按同构型进行分类。
• 确定此类群的幂零类，解决关于是否存在幂零类为 3 的群的问题。
• 将此前对共轭型为 $\{1,p\}$ 和 $\{1,p^2\}$ 的 $p$-群分类工作扩展至共轭型 $\{1,p^3\}$ 的情形。
• 包含 $p=2$ 的情形，此时此类群的结构与奇素数 $p$ 不同，尤其在指数和同构型方面。
• 为阶为 $2^{10}$ 的 2-群提供共轭型 $\{1,8\}$ 的完整同构型分类，包括特定群 $\mathcal{G}$ 的中心商群。

提出的方法

• 使用同构型作为等价关系对共轭型为 $\{1,p^3\}$ 的 $p$-群进行分类，将问题简化为按此不变量分类群。
• 应用卡米纳群和特殊 $p$-群的理论，分析幂零类为 2 且满足 $|G'| = p^3$ 的群。
• 利用伊藤构造的群 $G_r$ 定义 $G_3$，即一个指数为 $p$、阶为 $p^{10}$ 的特殊 $p$-群，其共轭类大小为 1 和 $p^3$。
• 分析 $G_3$ 对阶为 $p$ 和 $p^2$ 的子群的中心商群，以识别额外的同构型，尤其针对 $p>2$ 的情形。
• 对于 $p=2$，利用威爾肯斯的分类结果排除某些同构型，证明仅剩卡米纳群和 $\mathcal{G}_3$（一个阶为 $2^{10}$ 的 2-群）的商群。
• 使用群论工具，包括弗拉蒂尼子群 $\Phi(G)$、中心 $Z(G)$ 和换位子群 $G'$，并利用条件 $Z(G) \leq G'$ 来限制群的结构。

实验结果

研究问题

• RQ1 共轭型为 $\{1, p^3\}$ 的有限 $p$-群是否可能具有大于 2 的幂零类？
• RQ2 共轭类大小为 $1$ 和 $p^3$ 的有限 $p$-群的同构型有哪些？
• RQ3 奇素数 $p$ 与 $p=2$ 的同构型有何不同？
• RQ4 是否存在共轭型为 $\{1, p^3\}$ 但不是伊藤群 $G_3$ 商群的 $p$-群？
• RQ5 阶为 $2^{10}$ 的 2-群的共轭型 $\{1,8\}$ 的结构如何？它们与族 $\hat{\mathcal{G}}_3$ 的关系是什么？

主要发现

• 对 $p > 2$，共轭型为 $\{1, p^3\}$ 的有限 $p$-群的幂零类恰好为 2。
• 对 $p > 2$，此类群同构型属于以下四种之一：换位子群阶为 $p^3$ 的卡米纳群，$G_3$，$G_3/M$（$|M| = p$），或 $G_3/N$（$|N| = p^2$ 且 $N$ 由两个换位子生成，且参数非平方）。
• $G_3$ 来自伊藤的构造，是一个指数为 $p$、阶为 $p^{10}$ 的特殊 $p$-群，其共轭类大小为 $1$ 和 $p^3$。
• 对 $p = 2$，分类包括换位子群阶为 8 的卡米纳 2-群，阶为 $2^{10}$ 的群 $\mathcal{G} \in \hat{\mathcal{G}}_3$，以及两个中心商群 $\mathcal{G}/M$ 和 $\mathcal{G}/N$，其中 $|M| = 2$，$|N| = 4$。
• $\hat{\mathcal{G}}_3$ 这一族阶为 $2^{10}$、幂零类为 2 的 2-群共包含 989 个非同构群，且全部为共轭型 $\{1,8\}$。
• 共轭型为 $\{1, p^3\}$ 的群不可能是幂零类 3 的群，通过反证法证明：利用 $Z(G)$ 和 $G'$ 的结构，以及 $|G:Z(G)| = p^4$ 强制 $G$ 最小生成元数为 4，且同构型必为 $G_3$ 或其商群。