[论文解读] On perfect order subsets in finite groups

Nguyen Trong Tuan, Bui Xuan Hai|arXiv (Cornell University)|Jul 4, 2010

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

一句话总结

本文证明了对于所有 $ n \geq 4 $，对称群 $ S_n $ 不是完美阶子集群（POS-群），即 $ S_n $ 中任意给定阶元素的数量不整除 $ |S_n| = n! $。证明通过特定阶元素的组合计数，并结合数论工具（如威尔逊定理和伯特兰德假设）推导出矛盾，从而否定 $ S_n $ 为 POS-群的假设。

ABSTRACT

If $G$ is a finite group and $x\in G$ then the set of all elements of $G$ having the same order as $x$ is called {\em an order subset of $G$ determined by $x$} (see [2]). We say that $G$ is a {\em group with perfect order subsets} or briefly, $G$ is a {\em $POS$-group} if the number of elements in each order subset of $G$ is a divisor of $|G|$. In this paper we prove that for any $n\geq 4$, the symmetric group $S_n$ is not $POS$-group. This gives the positive answer to one of two questions rising from Conjecture 5.2 in [3].

研究动机与目标

• 为解决文献[3]中的猜想5.2，该猜想认为当 $ n \geq 4 $ 时，$ A_n $ 和 $ S_n $ 均非 POS-群。
• 将已知结果（即 $ A_n $ 非 POS-群，见[1]）推广至对称群 $ S_n $。
• 建立对称群关于完美阶子集性质的完整分类。
• 证明当 $ n \geq 4 $ 时，$ S_n $ 中给定阶元素的数量不整除 $ n! $，从而违反 POS-群的条件。

提出的方法

• 使用多项式系数与循环型分解，枚举 $ S_n $ 中阶为奇素数 $ p $ 的元素数量。
• 应用威尔逊定理简化模素数 $ p $ 下的连续整数乘积，尤其在含 $ (p-1)! $ 和 $ (2p-1)! $ 的表达式中。
• 利用伯特兰德假设，保证当 $ n \geq 8 $ 时，区间 $ (n/4, n/2) $ 内存在素数 $ p $，从而支持按 $ n = 2p + r $、$ n = 3p + r $ 或 $ n = 4p $ 的情形进行分类讨论。
• 分析给定阶元素数量是否整除 $ n! $，表明所得有理表达式因模运算矛盾而不可能为整数。
• 证明 $ S_n $ 中阶为 $ p $ 的元素数量导出的有理表达式无法整除 $ n! $，通过反证法假设 $ S_n $ 为 POS-群。
• 基于 $ n $ 对 4 取模的值以及 $ (n/4, n/2) $ 区间内素数 $ p $ 的存在性，进行情形划分，将问题简化为可处理的子情形。

实验结果

研究问题

• RQ1 对所有 $ n \geq 4 $，对称群 $ S_n $ 是否为 POS-群？
• RQ2 在 $ S_n $ 中，给定阶元素的数量是否整除 $ n! $，如 POS-群所要求？
• RQ3 是否可利用 $ S_n $ 中循环型的结构，证明阶为素数 $ p $ 的元素数量不整除 $ n! $？
• RQ4 伯特兰德假设在证明 $ S_n $（当 $ n \geq 4 $）非 POS-群中起何作用？
• RQ5 是否存在数论障碍（如阶乘模 $ p $ 的行为）导致 $ S_n $ 无法成为 POS-群？

主要发现

• 当 $ n = 4 $ 和 $ n = 5 $ 时，$ S_4 $ 中阶为 2 的元素数量为 9，$ S_5 $ 中为 25，二者均不整除 $ 4! = 24 $ 或 $ 5! = 120 $，故 $ S_4 $ 和 $ S_5 $ 非 POS-群。
• 当 $ n = 6 $ 和 $ n = 7 $ 时，由引理 3.1 取 $ p = 3 $、$ r = 0 $ 和 $ p = 3 $、$ r = 1 $，分别得出元素计数不可整除。
• 当 $ n \geq 8 $ 时，存在素数 $ p $ 满足 $ n/4 < p < n/2 $，使得分类分析可覆盖 $ n = 2p + r $、$ n = 3p + r $ 或 $ n = 4p $ 的情形，每种情形均由对应引理处理。
• 在 $ n = 4p $ 的情形下，阶为 $ p $ 的元素数量导出的有理表达式不可能为整数，通过反证法结合威尔逊定理与模运算得以证明。
• 由元素计数的倒数导出的表达式 $ C = \frac{96(p-1)!(p+1)\ldots(2p-1)}{M} $，对任意奇素数 $ p $ 均非整数，与假设 $ S_n $ 为 POS-群矛盾。
• 本文最终得出结论：对所有 $ n \geq 4 $，$ S_n $ 均非 POS-群，从而完整证实了文献[3]中猜想5.2的正向结论。