[论文解读] A characterization of finite $p$-groups by their Schur multiplier

Sumana Hatui|arXiv (Cornell University)|Aug 22, 2016

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

一句话总结

本文分类了非交换有限 $p$-群 $G$，其阶为 $p^n$，且满足其施瓦茨乘子 $M(G)$ 满足 $t(G) = \log_p(|G|) + 1$，其中 $t(G)$ 是由 $|M(G)| = p^{\frac{1}{2}n(n-1) - t(G)}$ 定义的余秩。通过群论技术，包括施瓦茨乘子公式、同构型分类和上同调界，作者对奇素数 $p$ 和 $p=2$ 的情形完全刻画了此类群，确定了奇素数下有 12 个同构类，$p=2$ 时有 6 个同构类，并提供了显式表示。

ABSTRACT

Let $G$ be a finite $p$-group of order $p^n$ and $M(G)$ be its Schur multiplier. It is well known result by Green that $|M(G)|= p^{\frac{1}{2}n(n-1)-t(G)}$ for some $t(G) \geq 0$. In this article we classify non-abelian $p$-groups $G$ of order $p^n$ for $t(G)=\log_p(|G|)+1$.

研究动机与目标

• 对阶为 $p^n$ 的非交换有限 $p$-群 $G$ 进行分类，使得其施瓦茨乘子满足 $t(G) = \log_p(|G|) + 1$，其中 $t(G)$ 是由 $|M(G)| = p^{\frac{1}{2}n(n-1) - t(G)}$ 定义的余秩。
• 扩展对 $p$-群按其施瓦茨乘子的分类，特别是针对 $t(G)$ 较高的情形，超越已知的 $t(G) = 0,1,2,3$ 的情况。
• 利用结构群论、同构型不变量和乘子的上同调界，确定此类 $p$-群的完整同构类型列表。
• 解决 $t(G) = \log_p(|G|) + 1$ 的情形，该情形对应于佩亚曼·尼鲁曼广义余秩框架中的 $s(G) = 3$，并确立这些群的完整结构。

提出的方法

• 使用施瓦茨乘子公式 $|M(G)| = p^{\frac{1}{2}n(n-1) - t(G)}$ 定义余秩 $t(G)$，并通过 $|M(G)| = p^{\frac{1}{2}(n-1)(n-2)+1-s(G)}$ 将其与广义余秩 $s(G)$ 关联。
• 应用定理 2.1（来自 [17]）通过中心商群界定 $|M(G)|$，将 $|M(G)|$ 与 $|M(G/K)|$、$|G/G' \otimes K|$ 和 $|G' \cap K|$ 关联。
• 采用詹姆斯对阶为 $p^n$（$n \leq 6$）的 $p$-群的同构型分类（记为 $\Phi_k$）来枚举候选群。
• 使用定理 2.3 和定理 2.4，通过双线性映射 $\psi_2$ 和 $\psi_3$ 的像来界定施瓦茨乘子的大小，分析张量积 $G' \otimes G/G'$ 中 $X$ 和 $X_1$ 的秩。
• 基于 $G'$ 和 $Z(G)$ 的阶进行系统性案例分析，区分 $|G'| = p$、$p^2$ 或 $p^3$ 的情形，并利用中心商论证将问题约化为已知的乘子界。
• 使用 GAP 中的 HAP 进行 $p=2$ 的计算验证，以排除不存在的群，并通过表示式和指数条件进行结构检查。

实验结果

研究问题

• RQ1 哪些阶为 $p^n$ 的非交换 $p$-群 $G$ 满足 $t(G) = \log_p(|G|) + 1$？
• RQ2 对于奇素数 $p$ 和 $p=2$，此类 $p$-群的完整同构类型列表是什么？
• RQ3 在本情形下，$G$、$G'$、$Z(G)$ 和 $G/G'$ 的结构如何约束施瓦茨乘子的大小？
• RQ4 广义余秩 $s(G) = 3$ 在确定 $G$ 的同构类型中起什么作用？
• RQ5 是否存在满足此条件的 $p$-群，其指数为 $p^2$ 或 $p^3$？若存在，它们如何被刻画？

主要发现

• 对于奇素数 $p$，满足 $t(G) = \log_p(|G|) + 1$ 的非交换 $p$-群同构于以下 12 个特定群：$\Phi_2(22)$、$\Phi_3(211)a$、$\Phi_3(211)b_r$、$\Phi_2(2111)c$、$\Phi_2(2111)d$、$\Phi_3(1^5)$、$\Phi_7(1^5)$、$\Phi_{11}(1^6)$、$\Phi_{12}(1^6)$、$\Phi_{13}(1^6)$、$\Phi_{15}(1^6)$，以及 $(\mathbb{Z}_p^{(4)} \rtimes \mathbb{Z}_p) \times \mathbb{Z}_p^{(2)}$。
• 对于 $p=2$，这些群同构于以下 6 个群：$\mathbb{Z}_2^{(4)} \rtimes \mathbb{Z}_2$、$\mathbb{Z}_2 \times ((\mathbb{Z}_4 \times \mathbb{Z}_2) \rtimes \mathbb{Z}_2)$、$\mathbb{Z}_4 \rtimes \mathbb{Z}_4$、$D_{16}$，以及同构型列表中的另外两个群。
• 所有此类群的施瓦茨乘子阶为 $p^8$，因为当 $p$ 为奇素数时 $n=6$，$p=2$ 时 $n=5$，代入公式 $|M(G)| = p^{\frac{1}{2}n(n-3)-1}$ 可得 $|M(G)| = p^8$。
• 若 $|G'| = p^3$ 且 $t(G) = \log_p(|G|)+1$，则必有 $Z(G) \subseteq G'$ 且 $|Z(G)| \geq p^2$，且此类群同构于 $\Phi_{11}(1^6)$（当 $p$ 为奇素数时）。
• 对于 $p=2$，不存在满足 $|G'| = p^3$ 的此类群，且当 $|G'| = p^2$ 时有 $|M(G)| < p^8$，因此仅可能的群为 $|G'| = p$ 或 $p^2$ 的情形。
• $\Phi_{11}(1^6)$ 是唯一满足 $|G'| = p^3$、$|Z(G)| \geq p^2$ 且 $|M(G)| = p^8$ 的指数为 $p$ 的群，且是该类中的唯一解。