[论文解读] Transitive permutation groups of prime-squared degree

Edward Dobson, Dave Witte|arXiv (Cornell University)|Dec 19, 2000

graph theory and CDMA systems被引用 11

一句话总结

本文对素数 $p$ 的 $p^2$ 次传递置换群进行了分类，明确确定了其 Sylow $p$-子群不与 $\mathbb{Z}_p \wr \mathbb{Z}_p$ 同构的群，并为其余情况提供了通用构造方法。主要贡献在于对大多数素数 $p$ 实现了完整分类，其应用涵盖 Cayley 同构问题、Cayley 图的自同构群，以及 $p^2$ 阶非正规 Cayley 图的分类。该结果解决了阿贝尔群 $p^2$ 阶在置换群论与代数图论中的长期悬而未决问题。

ABSTRACT

We explicitly determine all of the transitive groups of degree p-squared, p a prime, whose Sylow p-subgroup is not the wreath product of two cyclic groups of order p. Furthermore, we provide a general description of the transitive groups of degree p-squared whose Sylow p-subgroup is such a wreath product, and explicitly determine most of them. As applications, we solve the Cayley Isomorphism problem for Cayley objects of an abelian group of order p-squared, explicitly determine the full automorphism group of Cayley graphs of abelian groups of order p-squared, and find all nonnormal Cayley graphs of order p-squared.

研究动机与目标

• 对所有 Sylow $p$-子群不与 $\mathbb{Z}_p \wr \mathbb{Z}_p$ 同构的 $p^2$ 次传递置换群进行分类。
• 为 Sylow $p$-子群同构于 $\mathbb{Z}_p \wr \mathbb{Z}_p$ 的 $p^2$ 次传递群提供通用构造方法，并明确确定其中大多数群。
• 将该分类应用于解决阿贝尔群 $p^2$ 阶的 Cayley 同构问题。
• 明确确定阿贝尔群 $p^2$ 阶的 Cayley 图的完整自同构群。
• 识别所有 $p^2$ 阶的非正规 Cayley 图。
• 通过 Sylow 子群分析与群作用理论，厘清 $p^2$ 次传递群的结构。
• 建立基于 Sylow $p$-子群与正规子群结构的传递群分类框架。

提出的方法

• 以 Burnside 定理在素数次数下的应用为起点，通过定理 1.5 将其推广至 $p^2$ 次，该定理将传递群分为三类：双传递、Sylow $p$-子群正规，或 Sylow $p$-子群同构于 $\mathbb{Z}_p \times \mathbb{Z}_p$、$P_{p-1}'$ 或 $\mathbb{Z}_p \wr \mathbb{Z}_p$。
• 应用群论技术，包括正规化子计算、模作用与半直积构造，分析 Sylow $p$-子群同构于 $\mathbb{Z}_p \wr \mathbb{Z}_p$ 的群的结构。
• 利用 2-闭群与幂积构造的概念，描述满足 $G = G_1 \wr G_2$ 的群 $G$，其中 $G_1$ 与 $G_2$ 是 $p$ 次的 2-闭群。
• 运用 $H$-模与自同构群理论，分析 Cayley 图自同构群的结构，并确定其正规性条件。
• 应用双传递群与本原群分类结果，识别 $G = S_{p^2}$ 或 $G \leq \mathop{\rm P\Gamma L}\nolimits(d,q)$ 且 $(q^n - 1)/(q - 1) = p^2$ 的情形。
• 利用块系与稳定子分析，刻画非本原 Cayley 图的自同构群，并推导其非正规性的条件。

实验结果

研究问题

• RQ1 Sylow $p$-子群不与 $\mathbb{Z}_p \wr \mathbb{Z}_p$ 同构的 $p^2$ 次传递置换群的完整分类是什么？
• RQ2 如何显式构造所有 Sylow $p$-子群同构于 $\mathbb{Z}_p \wr \mathbb{Z}_p$ 的 $p^2$ 次传递群？
• RQ3 阿贝尔群 $p^2$ 阶的 Cayley 有向图在何种条件下是非正规的？
• RQ4 阿贝尔群 $p^2$ 阶的 Cayley 图的自同构群如何依赖于连接集与群结构？
• RQ5 $p^2$ 阶阿贝尔群的非正规 Cayley 图的完整集合是什么？
• RQ6 在何种条件下，$p^2$ 次传递群是双传递或本原的？

主要发现

• 本文对所有满足 $p \notin \{11, 23\}$ 且 $p \neq (q^d - 1)/(q - 1)$（其中 $q$ 为素数幂，$d$ 为自然数）的素数 $p$，提供了 $p^2$ 次传递置换群的完整分类。
• Sylow $p$-子群不与 $\mathbb{Z}_p \wr \mathbb{Z}_p$ 同构的 $p^2$ 次传递群被显式分类为五类：双传递、单本原，或具有正规 Sylow $p$-子群的非本原群，或 Sylow $p$-子群同构于 $\mathbb{Z}_p \times \mathbb{Z}_p$ 或 $P_{p-1}'$ 的群。
• 当 Sylow $p$-子群同构于 $\mathbb{Z}_p \wr \mathbb{Z}_p$ 时，本文通过 $G = L \ltimes P$ 的形式给出通用构造，其中 $L \leq S_p \times \mathop{\rm AGL}\nolimits(1,p)$，并显式确定了其中大多数群。
• 本文解决了阿贝尔群 $p^2$ 阶的 Cayley 同构问题，表明两个 Cayley 图同构当且仅当其连接集在群的自同构群作用下等价。
• 阿贝尔群 $p^2$ 阶的 Cayley 图的完整自同构群被显式确定，其结果取决于连接集的结构以及群的类型（$\mathbb{Z}_{p^2}$ 或 $\mathbb{Z}_p^2$）。
• 所有 $p^2$ 阶的非正规 Cayley 有向图均被分类：它们要么是 $p \geq 3$ 时的完全图 $K_{p^2}$，要么是 $p=2$ 且 $G=\mathbb{Z}_4$ 的情形，要么是两个 $\mathbb{Z}_p$ 的 Cayley 有向图的幂积，要么是 $\mathbb{Z}_p^2$ 的 Cayley 有向图，其连接集满足特定对称性与块条件。