[论文解读] Beauville $p$-groups of wild type and groups of maximal class

Gustavo A. Fernández‐Alcober, Norberto Gavioli+2 more|arXiv (Cornell University)|Jan 25, 2017

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

一句话总结

本文将阶为最大类的Beauville $p$-群分类于两大类群中：可解 $p$-群与最大子群类数至多为2的群。研究证明，此类群为Beauville群当且仅当 $p \geq 5$，且满足以下条件之一：所有非兄弟群元素的阶为 $p$，或在特定条件下，阶为 $p$ 的元素恰好形成两个最大分支。关键的是，本文证明了存在无穷多个类型为野性的Beauville $p$-群——即从商群 $G/\Phi(G)$ 提升Beauville结构失败的群——从而将已知的Beauville $p$-群的范围从驯服类型扩展至更广的类型。

ABSTRACT

Let $G$ be a Beauville finite $p$-group. If $G$ exhibits a `good behaviour' with respect to taking powers, then every lift of a Beauville structure of $G/Φ(G)$ is a Beauville structure of $G$. We say that $G$ is a Beauville $p$-group of wild type if this lifting property fails to hold. Our goal in this paper is twofold: firstly, we fully determine the Beauville groups within two large families of $p$-groups of maximal class, namely metabelian groups and groups with a maximal subgroup of class at most $2$; secondly, as a consequence of the previous result, we obtain infinitely many Beauville $p$-groups of wild type.

研究动机与目标

• 在两大类群中对阶为最大类的Beauville $p$-群进行分类：可解 $p$-群与最大子群类数至多为2的群。
• 确定此类群为Beauville群的条件，尤其关注驯服型与野性型 $p$-群之间的区别。
• 建立无穷多个类型为野性的Beauville $p$-群的存在性，即从 $G/\Phi(G)$ 提升Beauville结构失败的群。
• 将此前关于小阶与有限类群的Beauville $p$-群结果，推广至更广泛的阶为最大类的 $p$-群类。

提出的方法

• 作者通过两个生成集 $S_1$ 与 $S_2$ 的群论特征刻画Beauville群，使得 $\Sigma(S_1) \cap \Sigma(S_2) = 1$，其中 $\Sigma(S)$ 是由三元组 $T = \{x,y,xy\}$ 中元素生成的循环子群的共轭并集。
• 他们分析了最大类 $p$-群的结构，特别关注最大子群 $G_1 = C_G(G'/\gamma_4(G))$，该子群在分类中起核心作用。
• 引入了最大分支 $B(M) = M \setminus \Phi(G)$ 的概念（$M$ 为最大子群），用于对阶为 $p$ 与 $p^2$ 的元素进行分类，尤其关注Beauville结构的提升性质。
• 证明过程区分两种情形：(i) 所有不在 $G_1$ 中的元素阶为 $p$；(ii) 在群阶 $n$ 的特定同余条件下，阶为 $p$ 的元素恰好形成两个最大分支。
• 他们应用了关于指数为 $p^e$ 的 $p$-群的已知结果，并采用 $p \geq 5$ 时的判别准则 $|G^{p^{e-1}}| \geq p^2$，同时指出了该准则失效的位置。
• 他们利用最大类无限 pro-$p$ 群的结构，构造了无穷多组例子，尤其针对驯服型群。

实验结果

研究问题

• RQ1 在最大类 $p$-群中，若其为可解群或最大子群类数至多为2，其成为Beauville群的条件是什么？
• RQ2 在最大类 $p$-群的背景下，Beauville $p$-群的野性型与驯服型有何区别？
• RQ3 是否可在最大类 $p$-群的类群中构造出无穷多个类型为野性的Beauville $p$-群？
• RQ4 在野性型群中，从 $G/\Phi(G) \cong C_p \times C_p$ 提升Beauville结构为何会失败？
• RQ5 最大子群 $G_1 = C_G(G'/\gamma_4(G))$ 在决定Beauville性质方面起什么作用？

主要发现

• 所有阶至少为 $p^{p+1}$ 的最大类 $p$-群，若为可解群或最大子群类数至多为2，则为Beauville群当且仅当 $p \geq 5$，且满足以下条件之一：所有不在 $G_1$ 中的元素阶为 $p$，或阶为 $p$ 的元素在特定同余条件下恰好形成两个最大分支。
• 满足条件 (i) 的群全为驯服型，即从 $G/\Phi(G)$ 提升的每个Beauville结构在 $G$ 中仍为Beauville结构。
• 满足条件 (ii) 的群为野性型，即存在 $G/\Phi(G)$ 中的Beauville结构无法提升至 $G$ 中的Beauville结构，原因在于中心中 $p$-次幂的非平凡交集。
• 本文通过分析满足 $[G_1, G_2] = G_{n-p+2}$ 的最大类可解 $p$-群，特别当 $n \not\equiv 2 \pmod{p-1}$ 时，构造了无穷多个类型为野性的Beauville $p$-群。
• 每个阶为最大类且 $p \geq 5$ 的 $p$-群的真商群均为驯服型Beauville群，表明Beauville性质在商群格中保持向下传递。
• 存在一个最大类无限 pro-$p$ 群，其所有非交换元素阶为 $p$，通过其有限商群可产生无穷多个驯服型Beauville $p$-群。