[论文解读] 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$-群：所有指数为 $p^3$ 的子群都是阿贝尔群，但至少存在一个指数为 $p^2$ 的子群是非阿贝尔群——即所谓的 $\mathcal{A}_3$-群。通过结构群论、生成元秩、导出子群性质以及子群格分析，作者提供了所有同构类型的完整列表，解决了Berkovich与Janko提出的一个长期未解的问题。该分类还解决了与此相关的三个开放问题，即关于此类群中 $\mathcal{A}_1$-子群数量的问题。

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.

研究动机与目标

• 完全分类 $\mathcal{A}_3$-群——即所有指数为 $p^3$ 的子群为阿贝尔群，但至少存在一个指数为 $p^2$ 的子群为非阿贝尔群的有限 $p$-群。
• 解决Berkovich与Janko著作中的问题1278，该问题要求对 $\mathcal{A}_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)\}$ 的最大值。
• 确定三元组 $ (\mu_0, \mu_1, \mu_2) $，其中 $ \mu_i $ 表示在 $\mathcal{A}_3$-群中指数为 $p$ 的 $\mathcal{A}_i$-子群的数量。
• 根据是否存在指数为 $p$ 的 $\mathcal{A}_1$-子群，以及基于其生成元秩和Frattini子群结构，对 $\mathcal{A}_3$-群进行分类。

提出的方法

• 通过分析其生成元秩 $d(G)$、Frattini子群 $\Phi(G)$ 以及 $\Phi(G)$ 与中心 $Z(G)$ 之间的关系，对 $\mathcal{A}_3$-群进行分类。
• 利用导出子群 $G'$ 的结构及其在 $Z(G)$ 中的包含关系来区分情形，特别是当 $G'$ 不包含于 $Z(G)$ 时。
• 应用群论技术，如研究极大子群、$\mathcal{A}_1$-子群的数量，以及具有特定子群格性质的 $p$-群的分类。
• 利用关于极小非阿贝尔 $p$-群（即 $\mathcal{A}_1$-群）和 $\mathcal{A}_2$-群的已知结果作为基础构建模块。
• 基于是否存在指数为 $p$ 的阿贝尔子群或 $\mathcal{A}_1$-子群，以及 $d(G)$ 的取值，进行分情况分析，最终得到 $\mathcal{A}_3$-群的总共 62 种类型。
• 使用计算与结构枚举方法列出所有同构类型，并提供详细不变量，如 $\alpha_1(G)$、$\mu_0$、$\mu_1$ 和 $\mu_2$。

实验结果

研究问题

• RQ1 所有满足：所有指数为 $p^3$ 的子群为阿贝尔群，但至少存在一个指数为 $p^2$ 的子群为非阿贝尔群的有限 $p$-群的完整分类是什么？
• RQ2 在 $\mathcal{A}_3$-群 $G$ 中，$\alpha_1(G)$（即 $\mathcal{A}_1$-子群的数量）的可能取值有哪些？
• RQ3 哪些 $\mathcal{A}_3$-群满足 $\alpha_1(G) < p^2 + p + 1$？它们能否被完全刻画？
• RQ4 所有 $\mathcal{A}_3$-群中 $\alpha_1(G)$ 的最大可能值是多少？
• RQ5 三元组 $ (\mu_0, \mu_1, \mu_2) $ 是什么？其中 $ \mu_i $ 表示在 $\mathcal{A}_3$-群中指数为 $p$ 的 $\mathcal{A}_i$-子群的数量。

主要发现

• 本文根据 $d(G)$、$\Phi(G) \leq Z(G)$ 以及是否存在指数为 $p$ 的 $\mathcal{A}_1$-子群等结构不变量，将 $\mathcal{A}_3$-群完全分类为 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 中明确列出。
• 三元组 $ (\mu_0, \mu_1, \mu_2) $（分别计数指数为 $p$ 的 $\mathcal{A}_0$、$\mathcal{A}_1$ 和 $\mathcal{A}_2$-子群）已对所有 $\mathcal{A}_3$-群完成计算，并列于表 13 中。