[论文解读] On Recognition by Order and Degree Pattern of Finite Simple Groups

B. Akbari, Moghaddamfar, A. R.|arXiv (Cornell University)|May 2, 2013

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

一句话总结

本文通过分析其素数图、度模式以及最大正规可解子群的结构，结合弗拉蒂尼引理和外自同构群的性质等群论工具，证明了有限单群 $L_6(3)$ 和 $U_4(5)$ 由其阶与度模式唯一确定，即它们是 OD-可刻画的。

ABSTRACT

Let ${ m GK}(G)$ be the prime graph associated with a finite group $G$ and $D(G)$ be the degree pattern of $G$. A finite group $G$ is said to be $k$-fold OD-characterizable if there exist exactly $k$ non-isomorphic groups $H$ such that $|H|=|G|$ and $D(H)=D(G)$. A 1-fold OD-characterizable group is simply called OD-characterizable. The purpose of this paper is threefold. First, it provides the reader with a few useful and efficient tools on OD-characterizability of finite groups. Second, it lists a number of such simple groups that have been already investigated. Third, it shows that the simple groups $L_6(3)$ and $U_4(5)$ are OD-characterizable, too.

研究动机与目标

• 通过素数图与度模式建立确定有限群 OD-可刻画性的新工具与新准则。
• 扩展已知的可通过其阶与度模式唯一识别的有限单群列表。
• 证明 $L_6(3)$ 和 $U_4(5)$ 是 OD-可刻画的，解决其在具有相同阶与度模式的群中唯一性问题。
• 分析候选群中最大正规可解子群的结构，以排除非单群或非同构的替代选项。
• 利用弗拉蒂尼引理和外自同构群的性质，限制商群中可能的构成因子。

提出的方法

• 基于 $|G|$ 的素数因子集合及其元素阶的相邻关系，定义有限群 $G$ 的素数图 $\mathrm{GK}(G)$ 与度模式 $\mathrm{D}(G)$。
• 利用度模式 $\mathrm{D}(G)$ 与群阶 $|G|$ 对群进行分类，定义为 $k$-重 OD-可刻画，其中 $k=1$ 表示唯一性。
• 应用弗拉蒂尼引理分析候选群 $G$ 中 Sylow 子群的正规化子，以推导 $\mathrm{GK}(G)$ 中的相邻关系。
• 利用最大正规可解子群 $K$ 的结构，限制 $K$ 中可能的素数因子集合，排除会引致禁止相邻关系的素数。
• 将候选单群 $S$ 在 $G/K$ 中的阶与自同构群结构与已知表格比较，以唯一确定 $S$。
• 利用大多数单群满足 $|\mathrm{Out}(S)|$ 较小的事实，限制 $G/K$ 中构成因子 $S$ 的可能同构类型，从而得出 $S \cong L_6(3)$ 或 $U_4(5)$。

实验结果

研究问题

• RQ1 有限单群 $L_6(3)$ 和 $U_4(5)$ 是否由其阶与度模式唯一确定？
• RQ2 对于与 $L_6(3)$ 或 $U_4(5)$ 阶与度模式相同的群 $G$，其最大正规可解子群 $K$ 的结构约束为何？
• RQ3 弗拉蒂尼引理能否用于基于素数图中的相邻关系，排除 $K$ 中某些 Sylow 子群的存在？
• RQ4 候选单群的外自同构群阶如何限制 $G/K$ 中构成因子 $S$ 的可能同构类型？
• RQ5 度模式与素数图满足何种条件时，可保证有限群 $G$ 同构于给定的有限单群？

主要发现

• 群 $L_6(3)$ 是 OD-可刻画的：任何满足 $|G| = |L_6(3)|$ 且 $\mathrm{D}(G) = \mathrm{D}(L_6(3))$ 的有限群 $G$ 必同构于 $L_6(3)$。
• 群 $U_4(5)$ 是 OD-可刻画的：任何满足 $|G| = |U_4(5)|$ 且 $\mathrm{D}(G) = \mathrm{D}(U_4(5))$ 的有限群 $G$ 必同构于 $U_4(5)$。
• 此类群 $G$ 的最大正规可解子群 $K$ 是平凡的，即 $|K| = 1$，这迫使 $G$ 为单群且同构于目标群。
• 分析表明，由于素数图中存在禁止相邻关系，$K$ 不能包含素数 $5, 7, 11, 13$，且弗拉蒂尼引理进一步排除了 $11$ 与 $13$ 在 $K$ 中的存在。
• 对于 $U_4(5)$，若假设构成因子 $S$ 为 $L_2(3^3)$，则因 $5^6$-by-$13$ 子群的 Frobenius 群结构导致矛盾，因为 $13 \nmid 5^6 - 1$。
• 唯一满足所需阶与 $\pi(\mathrm{Out}(S)) \subseteq \{2,3\}$ 的单群 $S$ 是 $U_4(5)$，从而确认了唯一性。