有限非交换单群与S3-猜想 Finte Nonabelian Simple Groups and the S3-Conjecture

doi:10.12677/PM.2019.95076

Pure Mathematics
Vol. 09 No. 05 ( 2019 ), Article ID: 31220 , 10 pages
10.12677/PM.2019.95076

Finte Nonabelian Simple Groups and the S₃-Conjecture

Yuyue Luo, Yanjun Liu^*

●How to Cite this Article

College of Mathematics and Information Science, Jiangxi Normal University, Nanchang Jiangxi

Received: Jun. 18^th, 2019; accepted: Jul. 4^th, 2019; published: Jul. 11^th, 2019

ABSTRACT

The S₃-conjecture is a long-satnding open problem in the theory of finite groups. This paper shows that any finite nonabelian simple group has at least two conjugacy classes of same size, and so is not a counterexample to the S₃-conjecture.

Keywords:Finite Groups, The S₃-Conjecture, Simple Groups, Conjugacy Classes

有限非交换单群与S₃-猜想

罗雨玥，刘燕俊^*

江西师范大学数学与信息科学学院，江西南昌

收稿日期：2019年6月18日；录用日期：2019年7月4日；发布日期：2019年7月11日

摘要

有限群论中S₃-猜想是一个非常古老的公开问题。本文证明了有限非交换单群至少有2个长度相同的共轭类，因此它们都不是S₃-猜想的反例。

关键词 :有限群论，S₃-猜想，单群，共轭类

This work is licensed under the Creative Commons Attribution International License (CC BY).

http://creativecommons.org/licenses/by/4.0/

1. 引言

有限群论是数学的一个分支，是代数学的基础组成部分。迄今为止，有限群论已经日渐完善，但仍有越来越多的问题尚待解决。近几十年，群论中的大多数公开问题及其进展都收集在The Kourovka Notebook系列丛书中，目前已经到第19版，详见 [1] 。在有限群论研究中，一个非常本质的课题是如何理解共轭类，其中Burnside、Poland、Ito等数学家特别从数量角度研究共轭类长对于群结构的影响。关于这方面研究，有一个老而著名的问题，现被称为S₃-猜想，见( [1] , 16.3)：

S₃-猜想：若有限群G的共轭类长度各不相同，则 $G ≅ S_{3}$ 。

1994年，我国著名有限群论专家张继平教授 [2] 证明了可解情形下S₃-猜想。1995年Knörr，Lempken 以及Thielcke [3] 也独立证明了这一情形。要特别提到的是，1994年，Arad，Muzychuk，Oliver [4] 应用特征标理论证明了如果G是S₃-猜想的极小反例，那么G的非交换底柱(socle)要么平凡要么同构于下列群之一： $A_{5}^{a}$ ， $P S L {(3, 4)}^{e}$ ，其中 $3 \leq a \leq 5$ ， $1 \leq e \leq 10$ 。根据单群分类定理以及有限单群的共轭类长，本文主要证明下述定理：

定理1：任一非交换有限单群至少有两个长度相同的共轭类。因此，若非交换有限群G的共轭类长度各不相同，则G非单。

2. 预备知识

为了方便起见，本文用到的已知结论均以引理的形式给出。除特别指出，所用的记号都是标准的，参见 [5] 。

引理2.1：若 $n > 19$ ，则 $ϕ {(n)}^{2} > 2 n$ ，其中 $ϕ$ 为欧拉函数。

引理2.2：令 $n = \frac{q^{l + 1} - 1}{(q - 1) \gcd (l + 1, q - 1)}$ ，则 $n > 2 {(l + 1)}^{2}$ ，除非 $(l + 1, q)$ 为下列形式： $(2, 4), (2, 5), (2, 7), (2, 9), (2, 11), (2, 13), (3, 2), (3, 3), (3, 4), (4, 2), (4, 3) ， (5, 2), (6, 2)$ 。

证明：这是( [6] ，引理2)。 □

引理2.3：令 $n = \frac{q^{l + 1} - {(- 1)}^{l + 1}}{(q + 1) \gcd (l + 1, q + 1)}$ ，其中 $l + 1 \geq 3$ ，则 $n > 2 {(l + 1)}^{2}$ ，除非 $(l + 1, q)$ 下列形式： $(3, 2), (4, 2), (5, 2), (6, 2), (7, 2), (8, 2), (9, 2), (3, 3), (4, 3), (3, 4), (5, 4), (3, 5)$ 。

证明：这是( [6] ，引理3)。 □

引理2.4：令q为素数方幂，l为正整数，则 $ϕ (q^{l} - 1) \geq 24 (l + 1)$ ，除非 $(l, q)$ 为下列形式：

1) $l = 2, q \in {2, 3, 4, 5, 7, 8, 9, 11, 13}$ ；2) $l = 3, q \in {2, 3, 4, 5}$ ；3) $l \in {4, 5}, q \in {2, 3}$ ；4) $l \in {6, 7, 8}, q = 2$ 。

证明：这是( [6] ，引理6)。 □

引理2.5：设 $G = P S L (n, q), P S U (n, q), P S P (2 n, q), P S O (2 n + 1, q), P S O^{+} (2 n, q)$ 或 $P S O^{-} (2 n, q)$ ,则G有一个半单元素，阶为 $(q^{n} - 1) / n (q - 1), (q^{n / 2} - 1) / n, (q^{n} - 1) / 2, (q^{n} - 1) / 2, (q^{n} - 1) / 2, (q^{n - 1} - 1) / 2$ ，并且至多分别共轭 $n, n, 2 n, 2 n + 1, 2 n, 2 n$ 个半单元素的幂。

证明：这是( [7] ，推论3.4)。 □

引理2.6：设 $σ \in A_{n}$ ， $K_{σ}$ 是 $A_{n}$ 中所有与 $σ$ 有相同类型置换的集合，考虑 $σ$ 在 $S_{n}$ 中的中心化子 $C_{S_{n}} (σ)$ ，则：① 当 $C_{S_{n}} (σ)$ 含有一个奇置换时， $K_{σ}$ 是 $A_{n}$ 的一个共轭类；② 当 $C_{S_{n}} (σ)$ 不含有奇置换时， $K_{σ}$ 在 $A_{n}$ 中分裂为以下两个长度相同的共轭类：

${K^{'}}_{σ} = {τ σ τ^{- 1} | τ \in S_{n}, τ 是偶置换}$ ； ${K^{″}}_{σ} = {τ σ τ^{- 1} | τ \in S_{n}, τ 是奇置换} .$

证明：这是( [10] ，定理2.7.6)。 □

3. 有限单群共轭类长

根据单群分类定理，有限非交换单群为以下群之一：离散单群、交错群、李型单群以及Tits单群，详见 [8] 。

3.1. 离散单群与Tits单群

命题3.1：设S为离散单群或Tits单群，则S至少有两个长度相同的共轭类。

证明：根据GAP [9] 直接验证可得，具体如表1。 □

3.2. 交错群共轭类长

命题3.2：对于任意的 $n \geq 5$ ，交错群 $A_{n}$ 至少有两个长度相同的共轭类。

证明：当n为奇数时，令 $σ = (1, 2, \dots, n)$ ，则 $C_{A_{n}} (σ) = 〈 σ 〉$ ，从而 $C_{A_{n}} (σ)$ 中不含有奇置换。根据引理2.6， $K_{σ}$ 在 $A_{n}$ 中分裂为长度相同的两个共轭类；当n为偶数时，令

$σ_{1} = (1, \dots, n - 2, n - 1), σ_{2} = (1, \dots, n - 2, n),$

则 $| C_{A_{n}} (σ_{1}) | = | C_{A_{n}} (σ_{2}) |$ ，此时 $A_{n}$ 也有两个长度相同的共轭类 $σ_{1}^{A_{n}}$ 与 $σ_{2}^{A_{n}}$ 。命题得证。 □

Table 1. Conjugate class lengths of discrete singletons and Tits singletons with multiplicities of at least 2

表1. 离散单群与Tits单群重数至少为2的共轭类长

3.3. 李型单群的共轭类长

本节我们考察李型单群的共轭类长。李型单群共有16族，其中典型单群为

$A_{l} (q)$ 其中 $l \geq 1$ 且 $(l, q) \neq (1, 2), (1, 3)$ ， ${}^{2}A_{l} (q^{2})$ 其中 $l \geq 2$ 且 $(l, q) \neq (2, 2)$ ， $B_{l} (q)$ 其中 $l \geq 2$ 、 $C_{l} (q)$ 其中 $l > 2$ 、 $D_{l} (q)$ 其中 $l \geq 4$ 、 ${}^{2}D_{l} (q^{2})$ 其中 $l \geq 3$ ；

例外单群为

$G_{2} (q)$ 其中 $q > 2$ ， ${}^{3}D_{4} (q^{3})$ ， $F_{4} (q)$ ， $E_{6} (q)$ ， ${}^{2}E_{6} (q^{2})$ ， $E_{7} (q)$ ， $E_{8} (q)$ ， ${}^{2}G_{2} (q^{2})$ 其中 $q^{2} = 3^{2 m + 1} > 3$ ， ${}^{2}B_{2} (q^{2})$ 其中 $q^{2} = 2^{2 m + 1} > 2$ ， ${}^{2}F_{4} (q^{2})$ 其中 $q^{2} = 2^{2 m + 1} > 2$ 。

引理3.3.1：设 $S = A_{l} (q)$ ，其中 $(l, q) \neq (1, 2), (1, 3)$ ， $q > 1$ 是素数p的方幂，则S至少有两个长度相同的共轭类。

证明：注意到 $S = A_{l} (q) ≅ P S L_{l + 1} (q)$ 。根据( [6] ，引理17)，令 $q = p^{f}$ ，其中f为正整数。记 $F_{q^{a}}$ 是有 $q^{a}$ 个元素的有限域， $F_{q^{a}}^{*}$ 为 $F_{q^{a}}$ 的乘法群。由有限域的乘法群为循环群，记 $σ$ 为 $F_{q^{l + 1}}^{*}$ 的生成元，则 $F_{q^{l + 1}}^{*} = 〈 σ 〉$ ， $o (σ) = q^{l + 1} - 1$ 。令 $\bar{F_{p}}$ 为 $F_{p}$ 的代数闭包。令G为域 $\bar{F_{p}}$ 上的 $A_{l}$ 型单的单连通代数群，F为G中Frobenius自同态，并记 $\hat{G} : = G^{F}$ 为F作用下的有限不动点群， $\hat{G} : = G^{F} = S L_{l + 1} (q)$ 。记 $(G^{*}, F^{*})$ 为 $(G, F)$ 的对偶，则 ${\hat{G}}^{*} = G^{*}^{F^{*}} = P G L_{l + 1} (q)$ 。

令 $M \in {\hat{G}}^{*}$ ， $M = d i a g (τ, τ^{q}, \dots, τ^{q^{l}})$ ，其中 $τ = σ^{q - 1}$ ，则

$o (τ) = o (σ^{q - 1}) = \frac{o (σ)}{(o (σ), q - 1)} = \frac{q^{l + 1} - 1}{q - 1}$ 。

令 $Z = Z (G L)$ 且 $\bar{} : G L_{l + 1} (\bar{F_{p}}) \to G^{*}$ 为自然同态，即

$\bar{} : G L_{l + 1} (\bar{F_{p}}) \to \frac{G L_{l + 1} (\bar{F_{p}})}{Z (G L_{l + 1} (\bar{F_{p}}))} = P G L_{l + 1} (\bar{F_{p}}) = G^{*}$ ，

则 $\bar{M} = M Z$ ， $〈 \bar{M} 〉 = 〈 M Z 〉 = \frac{〈 M 〉 Z}{Z} ≅ \frac{〈 M 〉}{〈 M 〉 \cap Z}$ 。已知 $| 〈 M 〉 \cap Z | = \gcd (l + 1, q - 1)$ ，则

，

即得 $o (\bar{M}) = \frac{q^{l + 1} - 1}{(q - 1) \gcd (l + 1, q - 1)}$ 。

又，那么 $\bar{M}$ 在 $G^{*}$ 及 ${\hat{G}}^{*}$ 共轭类相交非空。在它们交集中选取半单元素s， $s \in {({\bar{M}}^{G^{*}})}^{F^{*}}$ 且 $o (s) = o (\bar{M})$ ，则s最多共轭于 $l + 1$ 个在 $G^{*}$ 的s的幂，因此对于在 ${\hat{G}}^{*}$ 中s的本原方幂至少有 $ϕ (\frac{q^{l + 1} - 1}{(q - 1) \gcd (l + 1, q - 1)}) / (l + 1)$ 个共轭类，又 $| M | = 1$ ，则 $s \in S = P S L_{l + 1} (q)$ 。而 $P S L_{l + 1} (q) ⊲ {\hat{G}}^{*}$ ，故 $s^{{\hat{G}}^{*}} \subseteq P S L_{l + 1} (q)$ 。

要证S至少有两个长度相同的共轭类，即要证

$ϕ (\frac{q^{l + 1} - 1}{(q - 1) \gcd (l + 1, q - 1)}) / (l + 1) \geq 2,$

而这等价于证明

$ϕ (\frac{q^{l + 1} - 1}{(q - 1) \gcd (l + 1, q - 1)}) \geq 2 (l + 1) .$

记 $n = \frac{q^{l + 1} - 1}{(q - 1) \gcd (l + 1, q - 1)}$ ，由引理2.1，2.2可知 $ϕ {(n)}^{2} > 2 n > 4 {(l + 1)}^{2}$ 。易知 $\frac{ϕ (n)}{l + 1} > 2$ ，故S至少有两个长度相同的共轭类，除了下列情况： $n \leq 19$ 及 $(l, q)$ 为下列形式：

$(2, 4), (2, 5), (2, 7), (2, 9), (2, 11), (2, 13), (3, 2), (3, 3), (3, 4), (4, 2), (4, 3), (5, 2), (6, 2) .$

对于这些例外情形，可以直接用GAP验证 $\frac{ϕ (n)}{l + 1} \geq 2$ ，从而引理得证。 □

引理3.3.2：设 $S = {}^{2}A_{l} (q)$ ，其中 $l > 1$ ， $q > 1$ 是素数p的方幂且 $(l, q) \neq (2, 2)$ ，则S至少有两个长度相同的共轭类。

证明：注意到又称 ${}^{2}A_{l} (q^{2}), P S U_{l + 1} (q), P S U (l + 1, q), U_{l + 1} (q), {}^{2}A_{l} (q, q^{2})$ ，那么算 ${}^{2}A_{l} (q)$ 的共轭类及其长度，即算 $U_{l + 1} (q)$ 的共轭类及其长度。若为奇数，令 $ω$ 为 $F_{q^{2 (l + 1)}}^{*}$ 的生成元。 $F_{q^{2 (l + 1)}}^{*} = 〈 ω 〉$ ， $o (ω) = q^{2 (l + 1)} - 1$ ，定义 $τ = {\begin{cases} σ^{q + 1} 若 l 为奇 \\ ω^{(q^{l + 1} - 1) (q + 1)} 若 l 为偶 \end{cases}$ ，则当l为奇数时，

$o (τ) = o (σ^{q + 1}) = \frac{o (σ)}{(0 (σ), q + 1)} = \frac{q^{l + 1} - 1}{q + 1};$

当l为偶数时，

$o (τ) = o (ω^{(q^{l + 1} - 1) (q + 1)}) = \frac{o (ω)}{(o (ω), (q^{l + 1} - 1) (q + 1))} = \frac{q^{2 (l + 1)} - 1}{(q^{l + 1} - 1) (q + 1)} = \frac{q^{l + 1} + 1}{q + 1} .$

即 $o (τ) = \frac{q^{l + 1} - {(- 1)}^{l + 1}}{q + 1}$ 。令 $N = d i a g (τ^{{(- q)}^{0}}, τ^{{(- q)}^{1}}, \dots, τ^{{(- q)}^{l}})$ ，则 $| N | = 1$ ，从而 $N \in U_{l + 1} (q)$ 。

令 $n = \frac{q^{l + 1} - {(- 1)}^{l + 1}}{(q + 1) (l + 1, q + 1)}$ ，由引理2.3可知， $ϕ {(n)}^{2} > {(l + 1)}^{2}$ ，从而 $\frac{ϕ (n)}{l + 1} > 2$ 。因此S至少有2个长度相同的共轭类，除非 $(l + 1, q)$ 为下列形式： $(3, 2), (4, 2), (5, 2), (6, 2), (7, 2), (8, 2), (9, 2), (3, 3), (4, 3), (3, 4), (5, 4), (3, 5)$ 。而对于这些例外情形，利用GAP直接验证可得当 $(l + 1, q)$ 为 $(5, 2), (7, 2), (8, 2), (9, 2), (3, 3), (3, 4), (5, 4), (3, 5)$ 时 $\frac{ϕ (n)}{l + 1} \geq 2$ 。对于剩余情形，即

$(l + 1, q) = (3, 2), (4, 2), (6, 2)$ 或 $(4, 3)$ ，

运行GAP程序可知 ${}^{2}A_{3} (2^{2}) = U_{4} (2)$ 有两个长度为40的共轭类； ${}^{2}A_{3} (3^{2}) = U_{4} (3)$ 有两个长度为3360的共轭类； ${}^{2}A_{5} (2^{2}) = U_{6} (2)$ 有两个长度为1774080的共轭类。又由于 ${}^{2}A_{2} (2^{2})$ 可解无需考虑，故引理得证。 □

引理 3.3.3. 设 $S = B_{l} (q)$ ，其中 $l > 1$ ， $q > 1$ 是素数p的方幂且 $(l, q) \neq (2, 2)$ ，则S至少有两个长度相同的共轭类。

证明： $B_{l} (q)$ 又称 $O_{2 l + 1} (q)$ 或 $P S O_{2 l + 1} (q)$ ，求 $B_{l} (q)$ 共轭类及其长度即求 $P S O_{2 l + 1} (q)$ 共轭类及其长度。令 $G = P S O_{2 l + 1} (q)$ ，根据( [7] ，推论3.4)在G中包含一个半单元素s，且 $o (s) = \frac{q^{l} - 1}{2}$ ，对于 $〈 s 〉$ ，有 $o (〈 s 〉) = ϕ (\frac{q^{l} - 1}{2})$ 个生成元，则s至多共轭于 $2 l + 1$ 个s的方幂。则s的本原方幂至少有 $\frac{ϕ (\frac{q^{l} - 1}{2})}{2 l + 1}$ 个共轭类，即 $\frac{ϕ (q^{l} - 1)}{2 (2 l + 1)}$ 个共轭类，下证 $\frac{ϕ (q^{l} - 1)}{2 (2 l + 1)} \geq 2$ 。

由( [6] ，引理6)易知， $\frac{ϕ (q^{l} - 1)}{2 (2 l + 1)} \geq \frac{24 (l + 1)}{2 (2 l + 1)} > 6 \geq 2$ ，除非为下列形式：

1) $l = 2, q \in {2, 3, 4, 5, 7, 8, 9, 11, 13}$ ；

2) $l = 3, q \in {2, 3, 4, 5}$ ；

3) $l \in {4, 5}, q \in {2, 3}$ ；

4) $l \in {6, 7, 8}, q = 2$ ，若 $\frac{ϕ (q^{l} - 1)}{2 (2 l + 1)} > 1$ ，则结论成立；对于 $\frac{ϕ (q^{l} - 1)}{2 (2 l + 1)} \leq 1$ 的情况，即 $(l, q) = (2, 2), (2, 3), (2, 4), (2, 5), (3, 2), (3, 3)$ 或 $(4, 2)$ 。

运行GAP程序可知 $P S O_{5} (2)$ 有2个长度为40的共轭类、 $P S O_{5} (3)$ 共轭类长度为40的重数大于2、 $P S O_{5} (4)$ 共轭类长度为255的重数大于2、 $P S O_{5} (5)$ 共轭类长度为13,000的重数大于2、 $P S O_{7} (2)$ 共轭类长度为13,000的重数大于2、 $P S O_{7} (3)$ 共轭类长度为262,080的重数大于2、 $P S O_{9} (2)$ 共轭类长度为13,000的重数大于2，即 $B_{l} (q)$ 至少有两个长度相同的共轭类。故引理得证。□

引理3.3.4：设 $S = C_{l} (q)$ ，其中 $l > 2$ ， $q > 1$ 是素数p的方幂，则S至少有两个长度相同的共轭类。

证明： $C_{l} (q)$ 又称 $P S P_{2 l} (q)$ 、 $S_{2 l} (q)$ ，求 $C_{l} (q)$ 共轭类及其长度即求 $P S P_{2 l} (q)$ 共轭类及其长度。令 $G = P S P_{2 l} (q)$ ，根据( [7] ，推论3.4)，在G中包含一个半单元素s，且 $o (s) = \frac{q^{l} - 1}{2}$ ，对于 $〈 s 〉$ 有 $ϕ (〈 s 〉) = ϕ (\frac{q^{l} - 1}{2})$ 个生成元，则s至多共轭于 $2 l$ 个s的方幂。则s的本原方幂至少有 $\frac{ϕ (\frac{q^{l} - 1}{2})}{2 l}$ 个共轭类，即 $\frac{ϕ (q^{l} - 1)}{4 l}$ 个共轭类，下证 $\frac{ϕ (q^{l} - 1)}{4 l} \geq 2$ 。

根据( [6] ，引理6)易知， $\frac{ϕ (q^{l} - 1)}{4 l} \geq \frac{24 (l + 1)}{4 l} > 6 > 1$ ，除非 $(l, q)$ 为下列形式：

1) $l = 2, q \in {2, 3, 4, 5, 7, 8, 9, 11, 13}$ ；

2) $l = 3, q \in {2, 3, 4, 5}$ ；

3) $l \in {4, 5}, q \in {2, 3}$ ；

4) $l \in {6, 7, 8}, q = 2$ ，若 $\frac{ϕ (q^{l} - 1)}{2 (2 l + 1)} > 1$ 则结论成立；对于 $\frac{ϕ (q^{l} - 1)}{2 (2 l + 1)} \leq 1$ 的情况，即

$(l, q) = (3, 2), (3, 3)$ 或 $(4, 2)$ 。

运行GAP程序可知 $P S P_{6} (2)$ 共轭类长度为7560的重数至少为2； $P S P_{6} (3)$ 共轭类长度为364的重数至少为2； $P S P_{8} (2)$ 共轭类长度为514,080的重数至少为2。即 $C_{l} (q)$ 有两个不同的共轭类长度相同。故引理得证。 □

引理3.3.5：设 $S = D_{l} (q)$ ，其中 $l > 3$ ， $q > 1$ 是素数p的方幂，则S至少有两个长度相同的共轭类。

证明： $D_{l} (q)$ 又称 $P S O_{2 l}^{+} (q)$ 、 $O_{2 l}^{+} (q)$ ，求 $D_{l} (q)$ 共轭类及其长度即求 $P S O_{2 l}^{+} (q)$ 共轭类及其长度。令 $G = P S O_{2 l}^{+} (q)$ ，根据( [7] ，推论3.4)，在G中包含一个半单元素s，且 $o (s) = \frac{q^{l} - 1}{2}$ ，对于 $〈 s 〉$ ，有 $ϕ (〈 s 〉) = ϕ (\frac{q^{l} - 1}{2})$ 个生成元，则s至多共轭于 $2 l$ 个s的方幂。则s的本原方幂至少有 $\frac{ϕ (\frac{q^{l} - 1}{2})}{2 l}$ 个共轭类，即 $\frac{ϕ (q^{l} - 1)}{4 l}$ 个共轭类，下证 $\frac{ϕ (q^{l} - 1)}{4 l} \geq 2$ 。

根据( [6] ，引理6)易知， $\frac{ϕ (q^{l} - 1)}{4 l} \geq \frac{24 (l + 1)}{4 l} > 6 > 1$ ，除非 $(l, q)$ 为下列形式：

1) $l = 2, q \in {2, 3, 4, 5, 7, 8, 9, 11, 13}$ ；

2) $l = 3, q \in {2, 3, 4, 5}$ ；

3) $l \in {4, 5}, q \in {2, 3}$ ；

4) $l \in {6, 7, 8}, q = 2$ ，若 $\frac{ϕ (q^{l} - 1)}{2 (2 l + 1)} > 1$ 则结论成立；对于 $\frac{ϕ (q^{l} - 1)}{2 (2 l + 1)} \leq 1$ 的情况，即

$(l, q) = (4, 2),$

运行GAP程序可知在 $P S O_{8}^{+} (2)$ 共轭类长度为3780的重数至少为2。即 $D_{l} (q)$ 有两个不同的共轭类长度相同，引理得证。 □

引理3.3.6：设 $S= {}^{2}D_{l} (q^{2})$ ，其中 $l > 3$ ， $q > 1$ 是素数p的方幂，则S至少有两个长度相同的共轭类。

证明：又称 $P S O_{2 l}^{-} (q)$ ，求 ${}^{2}D_{l} (q^{2})$ 共轭类及其长度即求 $P S O_{2 l}^{-} (q)$ 共轭类及其长度。令 $G = P S O_{2 l}^{-} (q)$ ，根据( [7] ，推论3.4)，在G中包含一个半单元素s，且 $o (s) = \frac{q^{l - 1} - 1}{2}$ ，对于 $〈 s 〉$ ，有 $ϕ (〈 s 〉) = ϕ (\frac{q^{l - 1} - 1}{2})$ 个生成元，则s至多共轭于 $2 l$ 个s的方幂。则s的本原方幂至少有 $\frac{ϕ (\frac{q^{l - 1} - 1}{2})}{2 l}$ 个共轭类，即 $\frac{ϕ (q^{l - 1} - 1)}{4 l}$ 个共轭类，下证 $\frac{ϕ (q^{l - 1} - 1)}{4 l} \geq 2$ 。

根据( [6] ，引理6)易知， $\frac{ϕ (q^{l - 1} - 1)}{4 l} \geq \frac{24 l}{4 l} > 6 > 1$ ，除非 $(l, q)$ 为下列形式

1) $l = 2, q \in {2, 3, 4, 5, 7, 8, 9, 11, 13}$ ；

2) $l = 3, q \in {2, 3, 4, 5}$ ；

3) $l \in {4, 5}, q \in {2, 3}$ ；

4) $l \in {6, 7, 8}, q = 2$ ，若 $\frac{ϕ (q^{l} - 1)}{2 (2 l + 1)} > 1$ 则结论成立；对于 $\frac{ϕ (q^{l} - 1)}{2 (2 l + 1)} \leq 1$ 的情况，即

$(l, q) = (4, 2), (4, 3)$ 或 $(5, 2)$ ，

运行GAP程序可知在 $P S O_{8}^{-} (2)$ 共轭类长度为9,400,320的重数至少为2、 $P S O_{8}^{-} (3)$ 共轭类长度为268,632的重数至少为2、 $P S O_{10}^{-} (2)$ 共轭类长度为609,280的重数至少为2。即 ${}^{2}D_{l} (q^{2})$ 有两个不同的共轭类长度相同，引理得证。 □

引理3.3.7：设 $S = G_{2} (q)$ ，其中 $q > 2$ 是素数p的方幂，则S至少有两个长度相同的共轭类。

证明：当 $p > 3$ ，则由( [11] , p. 409)， $G_{2} (q)$ 有两个不同的共轭类 $K_{3, 3, i}$ ，其长度为 $\frac{q^{6} (q^{6} - 1) (q^{2} - 1)}{3 q^{2}}$ ；

当 $p = 3$ ，则由( [12] ，p. 239，表VII-1)， $G_{2} (q)$ 有 $\frac{q (q + 1)}{6}$ 个不同的共轭类，其中 $\frac{q (q + 1)}{6} \geq 2$ ，则有至少两个不同的共轭类 $h_{i} (i, q i, q^{2} i)$ ，长度为

$q^{6} (q^{6} - 1) (q^{2} - 1) / \frac{1}{6} q (q + 1)$ ；

当 $p = 2$ ， $G_{2} (q)$ 非单，无需考虑，当 $q > 2$ 时，由( [13] ，p. 364，表IV-1)， $G_{2} (q)$ 有 $\frac{q}{2} \geq 2$ 个不同的共轭类 $h_{η} (i, - i, 0)$ ，长度为 $q^{6} (q^{6} - 1) (q^{2} - 1) / q (q + 1) (q^{2} - 1)$ ，引理得证。 □

引理3.3.8：群 $F_{4} (q)$ 至少有两个长度相同的共轭类，其中 $q > 1$ 是素数p的方幂。

证明：根据 [14] 可知，当 $q \equiv 1, 5, 7, 9, 11 (\mod 12)$ 时，群 $F_{4} (q)$ 有 $\frac{1}{2} (q + 1) \geq 2$ 个不同的共轭类，它们的长度相同；当时 $q \equiv 4, 8 (\mod 12)$ 时，群 $F_{4} (q)$ 有 $\frac{1}{2} q \geq 2$ 个不同的共轭类，它们的长度相同。下设 $q = 2, 3$ 。当 $q = 2$ 时，运行GAP可知，此时群 $F_{4} (2)$ 至少有两个不同的共轭类，它们的长度相同，为69615。当 $q = 3$ 时，同样根据 [14] 可知，群 $F_{4} (3)$ 至少有 $\frac{1}{6} q (q + 1) \geq 2$ 个不同的共轭类，它们的长度相同。引理得证。 □

引理3.3.9：设 $S = E_{6} (q)$ ，其中 $q > 1$ 是素数p的方幂，则S至少有两个长度相同的共轭类。

证明：根据 [14] 可知，当 $q \equiv 1, 3, 5 (\mod 6)$ 时，群 $E_{6} (q)$ 有 $\frac{1}{2} (q - 1) \geq 2$ 个不同的共轭类，它们的长度相同；当 $q \equiv 2, 4 (\mod 6)$ 时，群 $E_{6} (q)$ 有 $\frac{1}{2} q \geq 2$ 个不同的共轭类，它们的长度相同。下设 $q = 2$ ，由 [14] 另一数据可知，此时群 $E_{6} (2)$ 至少有 $\frac{1}{6} q^{2} ϕ (1) ϕ (2) \geq 2$ 不同的共轭类，它们的长度相同，GAP运行得为共轭类长度为136592595114393600。当 $q = 3$ 时，同样根据 [14] 可知，群 $E_{6} (3)$ 至少有 $\frac{1}{6} q^{2} ϕ (1) ϕ (2) \geq 2$ 个不同的共轭类，它们的长度相同。由此引理得证。 □

引理3.3.10：设 $S = {}^{2}E_{6} (q^{2})$ ，其中 $q > 1$ 是素数p的方幂，则S至少有两个长度相同的共轭类。

证明：根据 [14] 可知，当 $q \equiv 1, 3, 5 (\mod 6)$ 时，群 ${}^{2}E_{6} (q^{2})$ 有 $\frac{1}{2} (q - 1) \geq 2$ 个不同的共轭类，它们的长度相同；当 $q \equiv 2, 4 (\mod 6)$ 时，群 ${}^{2}E_{6} (q^{2})$ 有 $\frac{1}{2} q \geq 2$ 个不同的共轭类，它们的长度相同。下设 $q = 2$ ，由 [14] 另一数据可知，此时群 ${}^{2}E_{6} (q^{2})$ 至少有 $q \geq 2$ 不同的共轭类，它们的长度相同，运行GAP程序得共轭类长度为96543730483200；当 $q = 3$ ，由 [14] 另一数据可知，此时群 ${}^{2}E_{6} (q^{2})$ 至少有 $q \geq 2$ 不同的共轭类，它们的长度相同。故引理得证。 □

引理3.3.11：群 $E_{7} (q)$ 至少有两个长度相同的共轭类，其中 $q > 1$ 是素数p的方幂。

证明：对于 $E_{7} (q)$ ，根据 [14] 可知，当 $q \equiv 1, 5, 7, 9, 11 (\mod 12)$ 时，群 $E_{7} (q)$ 有 $\frac{1}{2} (q - 1) \geq 2$ 个不同的共轭类，它们的长度相同。当 $q \equiv 4, 8 (\mod 12)$ 时，群 $E_{7} (q)$ 有 $\frac{1}{2} q \geq 2$ 个不同的共轭类。下面考虑 $q = 2, 3$ ，当 $q = 3$ 时，根据 [14] 另一张表格可知，群 $E_{7} (3)$ 有 $\frac{1}{6} q (q + 1) \geq 2$ 个不同的共轭类，它们的长度相同。当 $q = 2$ 时，根据 [14] 可知有531个共轭类，有两个元素中心化子的阶为 $2^{26} \cdot 3^{4} \cdot 5 \cdot 7$ ，则 $E_{7} (2)$ 至少有两个不同的共轭类，它们的长度相同。故引理得证。□

引理3.3.12：群 $E_{8} (q)$ 至少有两个长度相同的共轭类，其中 $q > 1$ 是素数p的方幂。

证明：对于 $E_{8} (q)$ ，根据文献 [14] 可知，

当 $q \equiv 1, 5, 7, 9, 11, 13, 17, 19, 21, 23, 25, 27, 29, 31, 37, 41, 43, 47, 49, 53, 59 (\mod 60)$ 时，群 $E_{8} (q)$ 有 $\frac{1}{2} (q - 1) \geq 2$ 个不同的共轭类，它们的长度相同。当 $q \equiv 4, 8, 16, 32 (\mod 60)$ 时，群 $E_{8} (q)$ 有 $\frac{1}{2} q \geq 2$ 个不同的共轭类。当 $q = 3$ 时，根据文献 [14] 另一张表格可知，群 $E_{8} (q)$ 有 $\frac{1}{6} q (q + 1) \geq 2$ 个不同的共轭类，它们的长度相同。当 $q = 2$ 时，根据文献 [14] 可知， $E_{8} (q)$ 至少有两个不同的共轭类，它们的长度相同。引理得证。 □

引理3.3.13：群 ${}^{3}D_{4} (q^{3})$ 至少有两个长度相同的共轭类，其中 $q > 1$ 是素数p的方幂。

证明：对于 ${}^{3}D_{4} (q^{3})$ ，根据( [18] ，p. 53，表4.4)可知，其中心化子的阶为

$(q^{3} + 1) (q^{2} - q + 1) (q^{4} - q^{2} + 1),$

当q为偶数时，重数为

$\frac{1}{2} (q^{2} + q) \geq \frac{1}{2} (2^{2} + 2) = 3;$

当q为奇数时，重数为

$\frac{1}{2} (q^{2} + q) \geq \frac{1}{2} (3^{2} + 3) = 6;$

那么它们至少有2个共轭类长度相同。引理得证。 □

引理3.3.14：设 $S = {}^{2}G_{2} (q)$ ，其中 $q = 3^{2 m + 1} > 3$ ，则S至少有两个长度相同的共轭类。

证明：对于任意群G中的元素x及其逆元素 $x^{- 1}$ 有

$C_{G} (x) = C_{G} (x^{- 1})$ 且 $x^{G} = {(x^{- 1})}^{G},$

根据( [16] , p. 87)可知，群 ${}^{2}G_{2} (q)$ 有非实元素 $T, T^{- 1}$ 有 $C_{G} (T) = C_{G} (T^{- 1})$ ，但 $T, T^{- 1}$ 位于不同的共轭类，它们所在的共轭类长度相同，即 ${}^{2}G_{2} (q)$ 至少有两个共轭类长度相同，由此引理得证。 □

引理3.3.15：设 $S = {}^{2}B_{2} (q^{2})$ ，其中 $q^{2} = 2^{2 m + 1} > 2$ ，则S至少有两个长度相同的共轭类。

证明：同的做法，根据( [17] , p. 143, 定理13)，群 ${}^{2}B_{2} (q^{2})$ 有元素 $ρ, ρ^{- 1}$ ，位于不同的共轭类，它们所在的共轭类长度相同。引理得证。 □

引理3.3.16：设 $S = {}^{2}F_{4} (q^{2})$ ，其中 $q^{2} = 2^{2 m + 1} > 2$ ，则S至少有两个长度相同的共轭类。

证明：根据( [15] ，p. 7，表2)，在 ${}^{2}F_{4} (q^{2})$ 中有元素 $u_{15} = α_{1} (1) α_{3} (1)$ ， $u_{16} = α_{1} (1) α_{2} (1) α_{3} (1)$ ， $u_{17} = α_{1} (1) α_{3} (1) α_{5} (1)$ ， $u_{18} = α_{1} (1) α_{2} (1) α_{3} (1) α_{5} (1)$ ，它们中心化子的阶相同均为 $4 q^{4}$ 。

由群 ${}^{2}F_{4} (q^{2})$ 阶为 $q^{12} (q^{6} + 1) (q^{4} - 1) (q^{3} + 1) (q - 1)$ 可知，其共轭类长度相同为

$\frac{q^{8} (q^{6} + 1) (q^{4} - 1) (q^{3} + 1) (q - 1)}{4}$ ，

即 ${}^{2}F_{4} (q^{2})$ 至少有两个共轭类长度相同，从而引理得证。 □

命题3.3：任意李型单群至少有两个长度相同的共轭类。

证明：由引理2.3.1.~2.3.16即得。 □

定理1的证明：根据有限单群分类定理以及命题3.1~3.3即得。 □

文章引用

罗雨玥,刘燕俊. 有限非交换单群与S₃-猜想
Finte Nonabelian Simple Groups and the S₃-Conjecture[J]. 理论数学, 2019, 09(05): 568-577. https://doi.org/10.12677/PM.2019.95076

参考文献

1. Khukhro, E.I. and Mazurov, V.D. (2014) Unsolved Problems in Group Theory. The Kourovka Notebook.

2. Zhang, J. (1994) Finite Groups with Many Conjugate Elements. Journal of Algebra, 170, 608-624. https://doi.org/10.1006/jabr.1994.1356

3. Knörr, R., Lempken, W. and Thielcke, B. (1995) The S3-Conjecture for Solvable Groups. Israel Journal of Mathematics, 91, 61-76. https://doi.org/10.1007/BF02761639

4. Arad, Z., Muzychuk, M. and Oliver, A. (2004) On Groups with Conjugacy Classes of Distinct Sizes. Journal of Algebra, 280, 537-576. https://doi.org/10.1016/j.jalgebra.2004.03.029

5. Rose, J.S. (1978) A Course on Group Theory. Cam-bridge University Press, Cambridge, New York, Melbourne.

6. Liu, Y., Song, X. and Xiong, H. (2013) Almost Simple DD-Groups. Acta Scientiarum Naturalium Universitatis Pekinensis, 49, 741-753.

7. Moreto, A. (2007) Complex Group Algebras of Finite Groups: Brauer’s Problem 1. Advances in Mathematics, 208, 236-248. https://doi.org/10.1016/j.aim.2006.02.006

8. Gorenstein, D. (1982) Finite Simple Groups. An Introduction to Their Classification. University Series in Mathematics. Plenum Publishing Corp., New York. https://doi.org/10.1007/978-1-4684-8497-7_1

9. The GAP Group (2015) GAP-Groups, Algorithms, and Pro-gramming, Version 4.7.9. http://www.gap-system.org

10. 胡冠章. 应用近似代数(第三版)[M]. 北京: 清华大学出版社, 2006.

11. Chang-Ree (1972) The Characters of . In: Symposia Mathematica, Vol. VIII Convegno di Gruppi e loro Rappresentazioni, INDAM, Rome, 395-413.

12. Enonoto, H. (1976) The Characters of the Finite Che-valley Group , . Japanese Journal of Mathematics. New Series, 2, 191-248. https://doi.org/10.4099/math1924.2.191

13. Enonoto, H. and Yamada, H. (1986) The Characters of . Japanese Journal of Mathematics. New Series, 12, 325-377. https://doi.org/10.4099/math1924.12.325

14. Luebeck, F. () Centralizers and Numbers of Semi-Simple Classes in Exceptional Groups of Lie Type of Rank < 9. http://www.math.rwth-aachen.de/~Frank.Luebeck/chev/DegMult/index.html

15. Shinoda, K. (1975) The Conjugacy Classes of the Finite Ree Groups of Type (F4). Journal of the Faculty of Science, the University of Tokyo. Sect. 1 A, Mathematics, 22, 1-15.

16. Haroldn, W. (1966) On Ree’s Series of Simple Groups. Transactions of the American Mathematical Society, 121, 62-89. https://doi.org/10.1090/S0002-9947-1966-0197587-8

17. Suzuki, M. (1962) On a Class of Doubly Transitive Groups. Annals of Mathematics, 75, 105-145. https://doi.org/10.2307/1970423

18. Deriziotis, D.I. and Michler, G.O. (1987) Character Table and Blocks of Finite Simple Triality Groups . Transactions of the American Mathematical Society, 303, 39-70. https://doi.org/10.2307/2000778

期刊菜单