[论文解读] A new graph related to conjugacy classes of finite groups

Xingzhong You, Guohua Qian+1 more|ArXiv.org|Oct 2, 2005

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

一句话总结

本文提出了一种基于有限群中元素阶的新共轭类图 Γ(G)，对满足性质 P₄ 的所有有限群进行分类——即任意素数最多只有三个非中心共轭类的阶能被其整除。借助有限单群的分类，证明此类群要么是阿贝尔群，特定的弗罗贝尼乌斯群，小的对称群或线性群，要么是七个例外单群之一：L₂(5)、L₂(7)、L₂(9)、L₂(11)、L₂(13)、A₇ 或 Sz(8)。

ABSTRACT

In this paper we classify the finite groups satisfying the following property $P_4$: their orders of representatives are set-wise relatively prime for any 4 distinct non-central conjugacy classes.

研究动机与目标

• 定义并分析一种新的共轭类图 Γ(G)，其中顶点为非中心共轭类，边连接那些代表元阶共享共同素因子的共轭类。
• 刻画满足性质 P₄ 的有限群，即对任意给定素数，最多只有三个非中心共轭类的阶能被其整除。
• 利用有限单群的分类与群的结构理论，对所有满足 P₄ 的有限群进行分类。
• 拓展此前关于有限群中类图与共轭类结构的研究，特别是将关于每素数共轭类大小有界的群的结果进行推广。

提出的方法

• 定义共轭类图 Γ(G)，其顶点集为非中心共轭类，若代表元的阶共享共同素因子则在对应共轭类间连边。
• 证明 Γ(G) 不含完全子图 Kₙ 当且仅当该群满足性质 Pₙ，即任意素数最多只有 n−1 个非中心共轭类的阶能被其整除。
• 利用有限单群的分类分析满足 P₄ 的非交换单群，排除每素数共轭类过多的群。
• 应用弗罗贝尼乌斯群、Sylow 子群与中心化子的相关结果，对中心平凡或较小且具有特定元素阶结构的群进行分类。
• 利用商群对 Pₙ 的继承性，将问题约化为分析满足 G′Z(G) = G 且 G/Z(G) 单的非可解群。
• 应用 Schur–Zassenhaus 定理与表示论工具（如无不动点作用）排除极小反例中的非平凡正规 p-子群。

实验结果

研究问题

• RQ1 哪些有限群满足如下性质：对任意给定素数，最多只有三个非中心共轭类的阶能被其整除？
• RQ2 一个有限群的共轭类图 Γ(G) 不含完全子图 K₄ 时，其结构是怎样的？
• RQ3 哪些非阿贝尔单群满足 P₄ 性质？如何通过元素阶与共轭类数据对它们进行分类？
• RQ4 能否利用有限单群的分类与群论约化技术完成对满足 P₄ 的有限群的分类？
• RQ5 对满足 P₄ 且满足 G′Z(G) = G 与 G/Z(G) 单的有限群，其结构有何约束？

主要发现

• 满足性质 P₄ 的有限群恰好为阿贝尔群、特定的弗罗贝尼乌斯群（核为 C₃、C₅、C₇、(C₂)² 或 C₇，补为阶 2 或 3 的群）、S₃×C₂、八阶半二面体群、四元数群 Q₈，以及补为阶 4、核为 C₅、C₉、(C₃)² 或 C₁₃ 的弗罗贝尼乌斯群。
• 满足 P₄ 的例外群为 L₂(5)、L₂(7)、L₂(9)、L₂(11)、L₂(13)、A₇ 与 Sz(8)，它们均为非阿贝尔单群，具有特定的元素阶与共轭类结构。
• 共轭类图 Γ(G) 不含 K₄ 子图当且仅当 G 满足 P₄，从而在图论性质与元素阶的群论约束之间建立了直接联系。
• 对满足 G′Z(G) = G 的非可解群，唯一满足 P₄ 的群是那些满足 G/Z(G) 同构于上述七个例外单群之一的群，且在极小反例中不存在非平凡正规子群。
• 证明依赖于有限群论的深刻结果，包括有限单群的分类、Schur–Zassenhaus 定理，以及弗罗贝尼乌斯群与中心化子的性质。
• 由于共轭类中元素阶共享的素因子过多，具有非阿贝尔换位子因子或非阿贝尔 Sylow 2-子群的群被排除，从而违反 P₄ 条件。