[论文解读] The automorphisms of class two groups of prime exponent

Michael Vaughan-Lee|arXiv (Cornell University)|Jan 4, 2015

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

一句话总结

本文对阶至 $p^8$ 的所有类二 $p$-群（素数指数）进行了分类，证明了对每个此类群，共轭类数和自同构群阶均为 $p$ 的多项式。它识别出最小反例——阶为 $p^9$ 的 $G_p$，在此群中，两个不变量均不满足 PORC（模类多项式）性质，表明 Higman 的 PORC 猜想对 $f(p^n)$ 可能在 $n=10$ 处失效。该结果依赖于通过椭圆曲线和群扩张技术对自同构群作用与共轭类计数进行显式计算。

ABSTRACT

We give a complete list of all the 70 class two groups of exponent p (p>2) and order p^k for k<9. For each of these groups the number of conjugacy classes is a polynomial in p, and the order of the automorphism group is a polynomial in p. In contrast, Marcus du Sautoy and Michael Vaughan-Lee have given an example of a class two group of exponent p and order p^9 for which neither the number of conjugacy classes, nor the order of the automorphism group is polynomial on residue classes (PORC).

研究动机与目标

• 系统分类所有阶为 $p^n$ 且 $n \leq 8$ 的类二 $p$-群（素数指数）。
• 确定共轭类数与自同构群阶是否为 $p$ 的 PORC 函数。
• 识别出这两个不变量首次不满足 PORC 性质的最小群，从而检验 Higman PORC 猜想的极限。
• 为小阶 $p$-群提供自同构群与共轭类计数的显式结构与计算描述。

提出的方法

• 枚举了所有阶为 $p^n$ 且 $n \leq 8$ 的类二 $p$-群（指数为 $p$）的同构类，共得到 70 个此类群。
• 使用群表示与换位子关系定义每个群的结构，特别关注导出子群与中心扩张。
• 通过自同构作用下轨道大小与迹恒等式等群论公式计算共轭类数。
• 通过分析 Frattini 商 $G/G'$ 上的作用，利用 $\mathrm{GF}(p)$ 上的线性代数确定自同构群阶。
• 采用椭圆曲线点计数（如 $y^2 = x^3 - x$）表达非 PORC 情况下的共轭类计数，尤其针对 $G_p$。
• 应用 $p$-群生成算法分析 $G_p$ 的后裔，将自同构群结构与非 PORC 后裔的数量联系起来。

实验结果

研究问题

• RQ1 对所有阶为 $p^n$ 且 $n \leq 8$ 的类二 $p$-群（指数为 $p$），共轭类数与自同构群阶是否均为 $p$ 的多项式？
• RQ2 对 $f(p^n)$ 的 PORC 性质的失效是否发生在 $n=10$？若是，导致此现象的最小群为何？
• RQ3 能否通过 $\mathrm{GF}(p)$ 上的线性代数显式计算 $p$-群的自同构群，尤其当群具有非平凡换位子结构时？
• RQ4 在某些 $p$-群中，$\mathrm{GF}(p)$ 上椭圆曲线方程的解数如何影响共轭类计数？
• RQ5 是否存在一个类二且指数为素数的最小 $p$-群，使得共轭类数与自同构群阶均不为 $p$ 的 PORC 函数？

主要发现

• 对所有 70 个阶为 $p^n$ 且 $n \leq 8$ 的类二 $p$-群（指数为 $p$），共轭类数均为 $p$ 的多项式。
• 对所有此类群，自同构群阶均为 $p$ 的多项式，包括具有 7 个生成元与 3 对交换对的群。
• 阶为 $p^9$ 的群 $G_p$ 是目前已知最小的反例，其共轭类数与自同构群阶均非 $p$ 的 PORC 函数。
• $G_p$ 的阶为 $p^{10}$ 且指数为 $p$ 的后裔数量非 PORC，其值依赖于 $p \mod 12$ 以及 $\mathrm{GF}(p)$ 上椭圆曲线 $y^2 = x^3 - x$ 的点数。
• $G_p$ 的自同构群阶非 PORC：当 $p \equiv 5 \mod 12$ 时为 $|\mathrm{GL}(2,p)| \cdot 4p^{18}$，当 $p \equiv 7 \mod 12$ 时为 $|\mathrm{GL}(2,p)| \cdot 2p^{18}$，依此类推，不同公式取决于 $p \mod 12$ 与 $V_p$ 的非零性。
• $G_p$ 的共轭类计数为 $p^6 + p^3 - 1 + (p^3 - p^2 - p + 1) \cdot E$，其中 $E$ 为 $\mathrm{GF}(p)$ 上 $y^2 = x^3 - x$ 的点数，且 $E$ 非 PORC 函数。