阶为8p2的7度对称图
On Symmetric Graphs of Order Eight Times a Prime Square and Valency Seven

作者: 王 蒙 , 杨婷婷 :云南财经大学统计与数学学院,云南 昆明;

关键词: 对称图自同构群单群Symmetric Graph Automorphism Group Simple Group

摘要:

在本文中,研究了8p2阶的7度对称图,其中p为一个奇素数。证明了自同构群在图的顶点集上拟本原时,存在两个图。当自同构群在图的顶点集上二部拟本原时,不存在图。

Abstract: In this paper, we study symmetric graphs of valency seven and order 8p2, where p is an odd prime. It is proved that there are two graphs if the automorphism group of those graphs which is quasiprimitive on its vertices set, while it is no graphs exists in the case of the automorphism group is biquasiprimitive on the vertex set.

1. 引言

本文中,考虑的图都是连通的,无向的,无重边和无自环的。

对于一个图 Γ ,我们用 V Γ , E Γ A Γ 分别表示图 Γ 的顶点集,边集和弧集。设 A u t Γ Γ 的全自同构群,且 X A u t Γ 。若X在 V Γ , E Γ A Γ 上作用传递,则称 Γ 为X-点传递图,X-边传递图和X-弧传递图。通常,弧传递图也称为对称图。图 Γ 的一条s-弧是由 s + 1 个顶点 ( v 1 , v 2 , , v s ) 组成的一个有序元组,使得 v i 1 v i 是邻接的, 1 i s ,且 v i v i + 2 , 0 i s 2 。若X在 Γ 的s-弧集上作用传递,则称 Γ ( X , s ) -弧传递图;若 Γ ( X , s ) -弧传递的,但不是 ( X , s + 1 ) -弧传递的,则 Γ 称为 ( X , s ) -传递的。对任意的 v V Γ ,定义 Γ ( v ) = { w V Γ | { v , w } E Γ } 为v的邻域,用 | Γ ( v ) | 表示v的度数,记作 v a l ( v ) 。对任意的 v , w V Γ ,若v和w的度数都相同,则称 Γ 为正则图,用 v a l ( Γ ) 表示图 Γ 的度数。假设 X S y m ( Ω ) Ω 上的一个传递置换群,若X的每个极小正规子群在 Ω 上都是传递的,则称X是拟本原的。若X的每个极小正规子群在 Ω 上至多有两个轨道且存在一个极小正规子群在 Ω 上恰好有两个轨道,则称X是二部拟本原的。 O u t ( X ) 表示群X的外自同构群。

刻画固定阶数的边传递图或弧传递图受到了广泛的关注。这是因为这些研究发现了很多有趣的图例,且对一般图类的研究起着重要作用。设p,q是一个不同的素数。Chao在 [1] 中分类了p阶的对称图。Cheng和Oxley在 [2] 中刻画了2p阶的边传递图,Wang和Xu在 [3] 中确定了所有3p阶的对称图。这些结果被Praeger等在 [4] [5] 中分析的阶为pq的图得以推广。此外,在 [6] [7] 中Feng等分类了 m p 2 阶的3度对称图,其中 m 6 。在 [8] [9] [10] 中Feng和Pan等确定了了2p2阶的4度和5度对称图。Guo等在 [11] [12] 中刻画了阶为4p和16p的7度对称图。Pan等在 [13] 中刻画了阶为4n的7度弧传递图,其中n是平方自由的。在 [14] 中Hua等分析了阶为2pq的7度弧传递图。在 [15] 中Pan和Yin研究了阶为 4 p n 的7度弧传递图。7度对称图的研究提供了一些图例,对后续对称图的研究和学习起着重要的参考作用。本文的主要目的是刻画8p2阶7度弧传递图。

定理1.1 设 Γ 是连通的阶为8p2的7度X-弧传递图,其中 X A u t Γ ,p是奇素数。则下列表述成立:

1) 假设X在 V Γ 上是拟本原的,存在两个7度弧传递图 C 72 1 C 72 2 ,且 A u t ( C 72 1 ) A u t ( C 72 2 ) P S L ( 2 , 8 ) × 2

2) 假设X在 V Γ 上是二部拟本原的,则图 Γ 不存在。

2. 预备知识

本文所使用的符号都是标准的,可参照 [16]。对于群X,设H为X的一个子群,用 C X ( H ) N X ( H ) 来定义H在X中的中心化子和正规化子。

Γ 是阶为m的k度图,则 | A Γ | = m k , | E Γ | = m k / 2 。因此,当m为奇数时k为偶数。由此得出奇数阶对称图的度数为偶数。下面介绍两个具体的图。

例2.1 设 X = P S L ( 2 , 8 ) ,则X有一个子群 H 7 ,利用Magma [17] 计算可知,存在两个阶为72的互不同构的7度对称图,分别记作 C 72 1 C 72 2 ,且 A u t ( C 72 1 ) A u t ( C 72 2 ) P S L ( 2 , 8 ) × 2

对于正整数n和群T,通常用 π ( T ) 表示 | T | 的素因子集合, | π ( T ) | 表示 | T | 中含有素因子的个数。如果 | π ( T ) | = n ,则称群T为 K n -群。当 3 n 6 时, K n -单群在 [19] 和 [18] 中被确定出来。下面这个定理刻画了阶有5个素因子的单群。

定理2.2 [19] [定理A] 设T是一个 K 5 -单群。则下列断言之一成立:

a) T = P S L ( 2 , q ) ,其中 | π ( q 2 1 ) | = 4

b) T = P S U ( 3 , q ) ,其中 | π ( ( q 2 1 ) ( q 3 + 1 ) ) | = 4

c) T = P S L ( 3 , q ) ,其中 | π ( ( q 2 1 ) ( q 3 1 ) ) | = 4

d) T = O 5 ( q ) ,其中 | π ( q 4 1 ) | = 4

e) T = S z ( 2 2 m + 1 ) ,其中 | π ( ( 2 2 m + 1 1 ) ( 2 4 m + 2 + 1 ) ) | = 4

f) T = R ( 3 2 m + 1 ) ,其中 | π ( 3 4 m + 2 1 ) | = 3 | π ( 3 4 m + 2 3 2 m + 1 + 1 ) | = 1

g) T = A 11 , A 12 , M 22 , J 3 , A S , H e , M c L , P S L ( 4 , 4 ) , P S L ( 4 , 5 ) , P S L ( 4 , 7 ) , P S L ( 5 , 2 ) , P S L ( 5 , 3 ) , P S L ( 6 , 2 ) , O 7 ( 3 ) , P S p ( 6 , 3 ) , P S p ( 8 , 2 ) , P S U ( 4 , 4 ) , P S U ( 4 , 5 ) , P S U ( 4 , 7 ) , P S U ( 4 , 9 ) , P S U ( 5 , 3 ) , P S U ( 6 , 2 ) , O + ( 8 , 3 ) , O ( 8 , 2 ) , D 3 4 ( 3 ) , G 2 ( 4 ) , G 2 ( 5 ) , G 2 ( 7 ) G 2 ( 9 )

7度连通对称图的点稳定子群在 [20] [定理1.1]和 [21] [定理3.4]中被独立确定出来,其中 F n 表示阶为n的Frobenius群,n为正整数。

引理2.3 设 Γ 是一个连通的7度 ( X , s ) -弧传递图,其中 X A u t Γ s 1 。则 s 3 ,且下述其中之一成立,其中 α V Γ

1) 若 X α 是可解的,则 | X α | | 2 2 3 2 7 。进一步, ( s , X α ) 如下表1

Table 1. Solvable cases of stable subgroups of 7-degree graph points

表1. 7度图点稳定子群可解的情形

2) 若 X α 是不可解的,则 | X α | | 2 24 3 4 5 2 7 。进一步, ( s , X α ) 如下表2

Table 2. Unsolvable cases of stable subgroups of 7-degree graph points

表2. 7度图点稳定子群不可解的情形

特别地,若 5 | | X α | ,则 | X α | | 2 8 3 4 5 2 7 ,且 X α Γ ( α ) A 7 S 7 ;若 5 | X α | ,则 | X α | | 2 24 3 2 7

利用正规商图研究点传递图是一种典型的方法。假设 Γ 是X-点传递图,其中 X A u t Γ 有一个非传递正规子群N。用 V Γ N 表示N在 V Γ 上的轨道的集合。 Γ 的正规商图 Γ N 是由N在顶点集 V Γ N 上诱导的。对任意两点 B , C V Γ N 是邻接的当且仅当存在 b B , c C ,使得 b , c Γ 中是邻接的。进一步,若 Γ Γ N 有相同的度数,则称 Γ Γ N 的正规N-覆盖。

下面这个定理是 [22] [引理2.5]的一个特例,它稍微改进了Praeger在 [23] [定理4.1]中得到一个著名结果。

定理2.4 设 Γ 是一个素数度X-弧传递图,且设 N X V Γ 上有两个以上的轨道,其中 X A u t Γ 。则下列结论成立。

1) N在 V Γ 上半正则, X N A u t Γ N , Γ N 是X/N-弧传递的,且 Γ Γ N 的正规N-覆盖;

2) Γ ( X , s ) -弧传递的当且仅当 Γ N ( X / N , s ) -弧传递的,其中 1 s 5 s = 7

3) X α ( X / N ) δ ,其中 α V Γ , δ V Γ N

3. 相关引理

本节将证明两个关于群论的引理,它们将用于定理1.1的证明。

引理3.1 设T是一个单群,使得 | T | | 2 27 3 2 7 p 2 7 p 2 | | T | ,其中p为奇素数。则下列结论成立。

1) 若 | π ( T ) | = 3 ,则满足条件的 ( T , | T | , p 2 ) 如下表3

Table 3. Cases with 3 prime factors in a single group

表3. 单群中有3个素因子的情形

2) 若 | π ( T ) | = 4 ,则群T不存在。

证明:因为 7 p 2 | | T | ,从而 3 | π ( T ) | 4 ,因此单群T满足 [18] [定理Ι]。若 | π ( T ) | = 3 ,则 p { 3 , 7 } ,从而T是一个 { 2 , 3 , 7 } -群。若 p = 3 时,从而有 | T | | 2 27 3 4 7 ,由 [18] [表1]可得, T = P S L ( 2 , 7 ) , P S L ( 2 , 8 ) P S U ( 3 , 3 ) ,进一步由 7 p 2 | | T | 可得 T = P S L ( 2 , 8 ) P S U ( 3 , 3 ) 。当 p = 7 时,我们有 | T | | 2 27 3 2 7 3 ,并且 7 3 | | T | ,再由 [18] [表1]可知,此时不存在群T。

| π ( T ) | = 4 , | T | | 2 27 3 2 7 p 2 ,且 p > 7 p = 5 从而有

3 3 | T | , 7 2 | T | , p 3 | T | . (1)

由 [18] [定理Ι] 可知,T满足 [18] [表2],或 T = P S L ( 2 , r ) 是一个 | π ( T ) | = 4 的群,其中r为一个素数幂。

对于 [18] [表2]中的31个群,通过检查每个群的阶可得,群T不存在。当 T = P S L ( 2 , r ) 时,如果r是2, 3, 5或7的方幂,或者 r 11 是一个素数。对于第一种情况,根据 [18] [表3]中的群,检验每个群的阶可得,群T不存在。对于另一种情形,有

| P S L ( 2 , r ) | = r ( r 1 ) ( r + 1 ) 2

此时, r = p 2 ,矛盾。

引理3.2 设T是一个单群,使得 | T | | 2 11 3 4 5 2 7 p 2 35 p 2 | | T | ,其中p是一个奇素数。则下列结论成立。

1) 若 | π ( T ) | = 3 ,群T不存在。

2) 若 | π ( T ) | = 4 ,满足条件的 ( T , | T | , p 2 ) 表4

3) 若 | π ( T ) | = 5 ,群T不存在。

Table 4. The situation of 4 prime factors in a single group T

表4. 单群T中4个素因子的情形

证明:因为 35 p 2 | | T | ,从而 3 | π ( T ) | 5 。如果 | π ( T ) | = 3 ,由 [18] [定理Ι]可知,单群T同构于 [18] [表1]中的8个群其中之一。通过检验每个群T的阶可得,没有满足条件的群T存在,故而矛盾。

假设 | π ( T ) | = 4 ,此时 p { 3 , 5 , 7 } ,注意 | T | | 2 11 3 4 5 2 7 p 2 ,则

2 12 | T | , 3 7 | T | , 5 5 | T | , 7 4 | T | , p 2 | | T | .(2)

根据 [18] [定理Ι]可知,T满足 [18] [表2],或 T = P S L ( 2 , r ) 是一个 K 4 -群。对于 [18] [表2]中的31个单群,通过检查它们的阶可得,满足条件的群都在表2中列出。假设 T = P S L ( 2 , r ) 是一个 K 4 -群。如果r是2, 3, 5或7的方幂,根据 [18] [表3]中的群,检验每个群的阶可知,群T不存在。

假设 | π ( T ) | = 5 ,则 p > 7 且满足定理2.2.由于 | T | | 2 11 3 4 5 2 7 p 2 ,则

2 12 | T | , 3 5 | T | , 5 3 | T | , 7 2 | T | , p 2 | | T | (3)

假设 T = P S L ( 2 , q )

| T | = q ( q 1 ) ( q + 1 ) 2

则有

q ( q 1 ) ( q + 1 ) 2 | 2 11 3 4 5 2 7 p 2

由公式(3)可知q是2, 3, 5, 7或p的方幂。如果q是2的方幂,则 | π ( q 2 1 ) | = 4 可知, q = 2 6 , 2 8 或29。检查它们的阶可知,都不满足公式(3)。如果q是3, 5或7的方幂,则 | π ( q 2 1 ) | 4 ,矛盾。如果q是p的方幂,则 q = p 2 ,从而

( q 1 ) 2 ( q + 1 ) 2 | 2 10 3 4 5 2 7 .

因为 ( q 1 2 , q + 1 2 ) = 1 ,所以 q 1 2 | 3 4 5 2 7 q + 1 2 | 3 4 5 2 7 。因为 | π ( q 2 1 ) | = 4 ,因此,这样的q不存在,矛盾。

假设 T = P S U ( 3 , q ) 。得到

| T | = 1 ( 3 , q + 1 ) q 3 ( q 1 ) ( q 1 ) 2 ( q 2 q + 1 )

由公式(3)可知q是2, 3, 5, 7或p的方幂。如果q是2, 3, 5或7的方幂,因为 | π ( ( q 2 1 ) ( q 3 + 1 ) ) | = 4 | T | | 2 11 3 4 5 2 7 p 2 ,这样的q不存在,矛盾。如果q是p的方幂,则 q 3 = p 2 ,矛盾。

假设 T = P S L ( 3 , q ) 。则

| T | = 1 ( 3 , q 1 ) q 3 ( q 1 ) 2 ( q + 1 ) ( q 2 + q + 1 )

由公式(3)可知q是2, 3, 5, 7或p的方幂。如果q是2, 5或7的方幂,因为 | π ( ( q 2 1 ) ( q 3 1 ) ) | = 4 ,这样的q不存在,矛盾。如果q是3的方幂,因为 π ( ( q 2 1 ) ( q 3 1 ) ) = 4 ,算出 q = 3 2 , 3 3 。满足条件的群有 T = P S L ( 3 , 9 ) P S L ( 3 , 27 ) ,检查它们的阶可知都与公式(3)矛盾,群T不存在。如果q是p的方幂,则 q 3 = p 2 ,矛盾。

假设 T = S z ( 2 2 m + 1 ) R ( 3 2 m + 1 ) 。因此 | T | = 2 4 m + 2 ( 2 4 m + 2 + 1 ) ( 2 4 m + 2 1 ) 3 6 m + 3 ( 3 6 m + 3 + 1 ) ( 3 2 m + 1 1 ) 。对于第一种情形,由 2 4 m + 2 2 11 ,则 m = 1 或2。当 m = 1 时,因为 | π ( S z ( 2 3 ) ) | = 4 ,所以 T = S z ( 2 3 ) 。当 m = 2 时,因为 | π ( S z ( 2 5 ) ) | = 4 ,所以 T = S z ( 2 5 ) 。检查它们的阶可知都不满足 35 p 2 | | T | 。对于第二种情形,因为 3 6 m + 3 3 9 与公式(3)相矛盾,群T不存在。

假设 T = O 5 ( q ) ,则

| T | = 1 2 q 4 ( q 4 1 ) ( q 3 1 ) ( q 2 1 )

由公式(3)可知q是2, 3, p的方幂。如果q是2, 3的方幂,因为 | π ( q 4 1 ) | = 4 和公式(3),这样的q不存在,矛盾。如果q是p的方幂,则 q 4 = p 2 ,矛盾。

最后,假设T属于情形(g)列出的群,通过检查每个群的阶可知,满足条件的群T不存在,矛盾。

4. 定理1.1的证明

Γ 是连通的阶为8p2的7度X-弧传递图,其中 X A u t Γ ,p是奇素数。设N是X的极小正规子群,则 N = T d ,其中T为单群且 d 1 。设 α V Γ 。我们先证明下面的引理。

引理4.1 假设N是非交换的,则 d = 1

证明:反正法。设N是非交换的且 d 2 ,从而有 | N | 8 p 2 , N α 1 ,根据定理2.4可知N在 V Γ 上至多有两个轨道。设 N = T 1 × T 2 × × T d ,其中 T T i ( i = 1 , 2 , , d )

假设N在 V Γ 上是传递的。因为 1 N α X α Γ 是连通的,所以有 1 N α Γ ( α ) X α Γ ( α ) 。由此可知, N α Γ ( α ) 是传递的,且 Γ 是N-弧传递的。如果 T 1 V Γ 上传递,则中心化子 C N ( T 1 ) V Γ 上半正则(可见 [24] [定理4.2A]),因此是 T 2 也是半正则的,这和 | T 2 | 不能整除 | V Γ | = 8 p 2 是矛盾的。如果 T 1 V Γ 上至少有3个轨道,由定理2.4可知, T 1 是半正则的,推出矛盾。因此, T 1 V Γ 上恰好有两个轨道,分别记作V和W。因为 T 1 N ,V和W在 V Γ 上构成N-不变块系。所以,点稳定子群 N v 在N中的指数为2,这与 N = T d 不存在指数为2的子群相矛盾。

假设N在 V Γ 上恰好有两个轨道,分别记作 V 1 V 2 。那么 Γ 是二部图且二部分别为 V 1 V 2 。假设 X + = X V 1 = X V 2 是二部图 Γ 上的点稳定子群。如果 X + 作用在 V 1 上是不忠实的,根据 [25] [引理5.2]可知, Γ 是一个完全二部图,从而有 Γ = K 7 , 7 v a l ( Γ ) = 7 ,于是推出 | V Γ | = 14 ,矛盾。假设 X + V 1 上的作用是忠实的。则 N X + 可以被视为 V 1 上的传递置换群。若 T 1 V 1 上作用传递,则由 [24] [定理4.2A]可得, T 2 V 1 上是半正则的,于是 | T 2 | | 4 p 2 ,这是矛盾的。因此 T 1 V 1 上至少有2个轨道。又根据 [26] [引理3.2],得到 T 1 V 1 上是半正则的,矛盾。

定理1.1的证明主要是从X在 V Γ 上是拟本原和二部拟本原两种情形来讨论。

引理4.2 假设X在 V Γ 上是拟本原的,存在两个7度弧传递图 C 72 1 C 72 2 ,且 A u t ( C 72 1 ) A u t ( C 72 2 ) P S L ( 2 , 8 ) × 2

证明:因为X在 V Γ 上是拟本原的,则N在 V Γ 上是传递的。如果N是交换的,则N在 V Γ 上是正则的且 | T | d = | N | = 8 p 2 ,矛盾。于是N是非交换的,根据引理4.1,得到 d = 1 N = T 。又因为 T α 1 ,因此 Γ 是T-弧传递的,且 T α 满足引理2.3。下面的证明将分为两个部分, 5 | | T α | 5 | T α |

情形1:假设 5 | | T α |

根据引理2.3,得到 | T α | | 2 8 3 4 5 2 7 T α Γ ( α ) A 7 S 7 。又因为 | T | = | V Γ | | T α | ,从而有 | T | | 2 11 3 4 5 2 7 p 2 ,而且,当 35 | | T α | 时, 35 p 2 | | T | 。于是T满足引理3.2。由 3 | π ( T ) | 5 ,再由引理3.2,只需考虑 | π ( T ) | = 4 的情形。

假设 | π ( T ) | = 4 ,由引理3.2(2)可知,表2中的群都满足条件。如果 ( T , p 2 ) = ( J 2 , 3 2 ) ( A 7 , 3 2 ) ( A 8 , 3 2 ) ( A 10 , 3 2 ) ( P S L ( 3 , 4 ) , 3 2 ) ( P S U ( 4 , 3 ) , 3 2 ) ( P S p ( 6 , 2 ) , 3 2 ) 时,它们的 | V Γ | 均为 2 3 3 2 ,因为 | T α | = | T | / | V Γ | ,所以 | T α | = 2 4 3 5 2 7 5 7 2 3 5 7 2 4 3 2 5 2 7 2 4 5 7 2 4 3 4 5 7 2 6 3 2 5 7 ,由引理2.3可知,这样的 T α 不存在,矛盾。如果 ( T , p 2 ) = ( A 9 , 3 2 ) ,则 | V Γ | = 2 3 3 2 ,由于 | T α | = | T | / | T α | = 2 3 3 2 5 7 ,由引理2.3可知, T α A 7 ,利用Magma [17] 计算可得,图 Γ 不存在。如果 ( T , p 2 ) = ( P S U ( 3 , 5 ) , 5 2 ) ,则 | V Γ | = 2 3 5 2 ,因为 | T α | = | T | / | V Γ | = 2 3 2 5 7 ,由引理2.3可得,矛盾。

情形2:假设 5 | T α |

根据引理2.3,得到 | T α | | 2 24 3 2 7 ,由T的传递性和 | T | = | T α | | V Γ | ,推出 | T | | 2 27 3 2 7 p 2 。另一方面,因为 Γ 是T-弧传递的,从而有 7 | | T α | ,因此, 7 p 2 | | T | 。于是,T满足引理3.1。故而 | π ( T ) | = 3 或4。再由引理3.1,只需考虑 | π ( T ) | = 3 的情形。

假设 | π ( T ) | = 3 ,得到 ( T , p 2 ) = ( P S L ( 2 , 8 ) , 3 2 ) ( P S U ( 3 , 3 ) , 3 2 ) 。对于第一种情形, | V Γ | = 2 3 3 2 ,因此有 | T α | = | T | / | V Γ | = 7 ,由例2.1可知存在两个图 C 72 1 C 72 2 。对于第二种情形, | V Γ | = 2 3 3 2 ,因此 | T α | = | T | / | V Γ | = 2 3 3 7 ,再由Atlas [16] 可知, P S U ( 3 , 3 ) 不存在阶为 2 2 3 7 的子群,矛盾。

引理4.3 假设X在 V Γ 上是二部拟本原的,则图 Γ 不存在。

证明:因为X在 V Γ 上是二部拟本原的,X有一个极小正规子群 N = T d V Γ 上恰好有2个轨道,分别记作 V 1 V 2 。那么 V 1 V 2 是图 Γ 的两个部。设 X + = X V 1 = X V 2 。从而有 N X + | X : X + | = 2 X α = X α + 。如果N是交换的,则N在 V 1 上是正则的且 | T | d = | N | = 4 p 2 ,矛盾。所以N是不交换的,根据引理4.1可知, N = T 为非交换单群。

假设 作用在 V 1 V 2 上是不忠实的,根据 [25] [引理5.2]可知, Γ 是一个完全二部图,因此, Γ K 7 , 7 | V Γ | = 14 ,矛盾。

假设 X + 作用在 V 1 V 2 上是忠实的,由 [27] [定理1.5],则下列表述之一成立:

1) X + V i 上是拟本原的。

2) X + 有两个正规子群 U 1 U 2 ,使得 U 1 U 2 V Γ 上半正则。进一步可得 U 1 × U 2 V i 上是正则的。

对于情形(2),我们有 | U | 2 = | V i | = 4 p 2 ,矛盾。下考察(1),因为 X + V i 上是拟本原的且有一个极小正规子群T,这里的T是一个单群。根据O’Nan-Scott-Praeger定理 [24], s o c ( X + ) = T T 2 。先考虑 s o c ( X + ) = T 2 ,于是 X + 是复合全形型的且T在 V i 上是正则的。故而有 | T | = | V i | = 4 p 2 ,矛盾。因此, s o c ( X + ) = T ,假设T不是X的极小正规子群。因为 X = X + . 2 ,得到 X = X + × 2 ,所以正规子群 2 V Γ 上有4p2个轨道,这与X是二部拟本原的相矛盾。由此推出X是几乎单群且令它的基柱为 s o c ( X ) = T 。下设 X = T . o , X + = T . o ,其中 2 o O u t ( T ) | o : o | = 2 。后面的证明,将分两种情况讨论。

情形1:假设 5 | T α |

因为 T α X α ,根据引理2.3,有 | T α | | 2 24 3 2 7 。又因为 | T | = | V 1 | | T α | ,推出 | T | | 2 26 3 2 7 p 2 。另一方面,由于 T α 1 ,所以 7 | | T α | ,于是有 7 p 2 | | T | 。因此,T满足引理3.1且 | π ( T ) | = 3 或4。再由引理3.1,只需考虑 | π ( T ) | = 3 的情形。

先考虑 | π ( T ) | = 3 的情形,由引理3.1 (1),容易得到 ( T , p 2 ) = ( P S L ( 2 , 8 ) , 3 2 ) ( P S U ( 3 , 3 ) , 3 2 ) 。对于第一种情形,由Atlas [16] 可知, O u t ( P S L ( 2 , 8 ) ) 3 ,有 o = 2 , o = 1 X + = T 。从而 | X α | = | X α + | = | T α | = | T | / | V 1 | = 2 7 ,由引理2.3可知,这是矛盾的。对于第二种情形,由 O u t ( T ) 2 ,有 o = 2 , o = 1 ,因此 X + = T ,于是 | X α | = | X α + | = | T α | = | T | / | V 1 | = 2 3 3 7 ,由引理2.3可知,得到 X α P S L ( 3 , 2 ) ,利用Magma [17] 计算可知,这种情况不存在图。

情形2:假设 5 | | T α |

因为 T α X α ,由引理2.3,推出 | T α | | 2 8 3 4 5 2 7 T α Γ ( α ) A 7 S 7 。又因为 | T | = | T α | | V 1 | ,从而 | T | | 2 10 3 4 5 2 7 p 2 。由 35 | | T α | ,于是有 35 p 2 | | T | 。因此T满足引理3.2。再由引理3.2,只需考虑 | π ( T ) | = 4 的情形。

假设 | π ( T ) | = 4 ,根据引理3.2 (2),表2中的群都满足条件。如果 ( T , p 2 ) = ( J 2 , 3 2 ) ,从而有 | T α | = | T | / | V 1 | = 2 5 3 5 2 7 。进一步,由Atlas [16] 可知, O u t ( J 2 ) 2 ,有 o = 2 , o = 1 X + = T . o = T ,于是 | X α | = | X α + | = | T α | | o | = 2 5 3 5 2 7 。根据引理2.3可知,矛盾。如果 ( T , p 2 ) = ( A 7 , 3 2 ) ,则 | T α | = | T | / | V 1 | = 2 5 7 ,由Atlas [16] 可知, O u t ( A 7 ) 2 ,有 o = 2 , o = 1 X + = T . o = T ,因此 | X α | = | X α + | = | T α | | o | = 2 5 7 。由引理2.3可知,矛盾。如果 ( T , p 2 ) = ( A 8 , 3 2 ) ,则 | T α | = | T | / | V 1 | = 2 4 5 7 。由Atlas [16],有 O u t ( A 8 ) 2 ,因此 o = 2 , o = 1 ,因为 X + = T . o = T ,所以 | X α | = | X α + | = | T α | | o | = 2 4 5 7 ,由引理2.3推出矛盾。如果 ( T , p 2 ) = ( A 9 , 3 2 ) ,则 | T α | = | T | / | V 1 | = 2 4 3 2 5 7 。由Atlas [16],有 O u t ( A 9 ) 2 ,推出 o = 2 , o = 1 ,由于 X + = T . o = T ,因此 | X α | = | X α + | = | T α | | o | = 2 4 3 2 5 7 。由引理2.3可得, T α S 7 ,利用Magma [17] 计算可知,图 Γ 不存在。如果 ( T , p 2 ) = ( A 10 , 3 2 ) ,从而有 | T α | = | T | / | V 1 | = 2 5 3 2 5 2 7 。进一步,由Atlas [16] 可知, O u t ( A 10 ) 2 ,有 o = 2 , o = 1 X + = T . o = T ,于是推出 | X α | = | X α + | = | T α | | o | = | T | = 2 5 3 2 5 2 7 。由引理2.3可知,矛盾。若 ( T , p 2 ) = ( P S L ( 3 , 4 ) , 3 2 ) ,从而有 | T α | = | T | / | V 1 | = 2 4 5 7 ,进而由Atlas [16] 可知, O u t ( P S L ( 3 , 4 ) ) 2 × S 3 ,我们得到 o = 2 × S 3 , o = S 3 o = S 3 , o = 3 o = 2 2 , o = 2 o = 2 , o = 1 。又因为 X + = T . o | T α | = 2 4 5 7 ,所以 | X α | = | X α + | = | T α | | o | = 2 5 3 5 7 , 2 4 3 5 7 , 2 5 5 7 2 4 5 7 。根据引理2.3可知,矛盾。如果 ( T , p 2 ) = ( P S U ( 3 , 5 ) , 5 2 ) ,则 | T α | = | T | / | V 1 | = 2 2 3 2 5 7 。由Atlas [16] 可知,有 O u t ( P S U ( 3 , 5 ) ) S 3 ,推出 o = S 3 , o = 3 o = 2 , o = 1 。因为 X + = T . o ,所以 | X + | = | X α + | = | T α | | o | = 2 2 3 3 5 7 2 2 3 2 5 7 。由引理2.3推出矛盾。如果 ( T , p 2 ) = ( P S U ( 4 , 3 ) , 3 2 ) ,从而有 | T α | = | T | / | V 1 | = 2 5 3 4 5 7 。再由Atlas [16] 可知, O u t ( P S U ( 4 , 3 ) ) D 8 ,有 o = D 8 , o = 2 2 o = 2 2 , o = 2 o = 2 , o = 1 。又因为 X + = T . o | T α | = 2 5 3 4 5 7 ,因此 | X α | = | X α + | = | T α | | o | = 2 7 3 4 5 7 , 2 6 3 4 5 7 2 5 3 4 5 7 。根据引理2.3,矛盾。如果 ( T , p 2 ) = ( P S p ( 6 , 2 ) , 3 2 ) ,则 | T α | = | T | / | V 1 | = 2 7 3 2 5 7 。由Atlas [16] 可知, O u t ( P S p ( 6 , 2 ) ) 1 ,从而 X = T ,于是有 | X α | = | T α | = 2 7 3 2 5 7 ,由引理2.3可知,矛盾。

基金项目

国家自然科学基金资助项目资助(基金名称:弧传递有向图及关联置换群问题研究,编号:11961076)。

文章引用: 王 蒙 , 杨婷婷 (2020) 阶为8p2的7度对称图。 理论数学, 10, 811-820. doi: 10.12677/PM.2020.109093

参考文献

[1] Chao, C.Y. (1971) On the Classification of Symmetric Graphs with a Prime Number of Vertices. Transactions of the American Mathematical Society, 158, 247-256.
https://doi.org/10.1090/S0002-9947-1971-0279000-7

[2] Cheng, Y. and Oxley, J. (1987) On Weakly Symmetric Graphs of Order Twice a Prime. Journal of Combinatorial Theory, Series B, 42, 196-211.
https://doi.org/10.1016/0095-8956(87)90040-2

[3] Wang, R.J. and Xu, M.Y. (1993) A Classification of Symmetric Graphs of Order 3p. Journal of Combinatorial Theory, Series B, 58, 197-216.
https://doi.org/10.1006/jctb.1993.1037

[4] Praeger, C.E., Wang, R.J. and Xu, M.Y. (1993) Symmetric Graphs of Order a Product of Two Distinct Primes. Journal of Combinatorial Theory, Series B, 58, 299-318.
https://doi.org/10.1006/jctb.1993.1046

[5] Praeger, C.E. and Xu, M.Y. (1993) Vertex-Primitive Graphs of Order a Product of Two Distinct Primes. Journal of Combinatorial Theory, Series B, 59, 245-266.
https://doi.org/10.1006/jctb.1993.1068

[6] Feng, Y.Q. and Kwak, J.H. (2007) Cubic Symmetric Graphs of Order a Small Number Times a Prime Square. Journal of Combinatorial Theory, Series B, 97, 627-646.
https://doi.org/10.1016/j.jctb.2006.11.001

[7] Feng, Y.Q. and Kwak, J.H. (2006) Cubic Symmetric Graphs of Order Twice an Odd Prime Power. Journal of the Australian Mathematical Society, 81, 153-164.
https://doi.org/10.1017/S1446788700015792

[8] Feng, Y.Q., Zhou, J.X. and Li, Y.T. (2016) Pentavalent Symmetric Graphs of Order Twice a Prime Power. Discrete Mathematics, 339, 2640-2651.
https://doi.org/10.1016/j.disc.2016.05.008

[9] Pan, J.M., Liu, Z. and Xu, X.F. (2015) Pentavalent Symmetric Graphs of Order Twice Power. Algebra Colloquium, 22, 383-394.
https://doi.org/10.1142/S1005386715000334

[10] Zhou, J.X. and Feng, Y.Q. (2010) Tetravalent s-Transitive Graphs of Order Twice a Prime Power. Journal of the Australian Mathematical Society, 88, 277-288.
https://doi.org/10.1017/S1446788710000066

[11] Guo, S.T., Shi, J.T. and Zhang, Z.J. (2011) Heptavalent Symmetric Graphs of Order 4p. The South Asian Journal of Mathematics, 3, 131-136.

[12] Guo, S.T., Hou, H.L. and Xu, Y. (2017) Heptavalent Symmetric Graphs of Order 16p. Algebra Colloquium, 24, 453-466.
https://doi.org/10.1142/S1005386717000293

[13] Pan, J.M., Ling, B. and Ding, S.Y. (2017) On Symmetric Graphs of Order Four Times an Odd Square-Free Integer and Valency Seven. Discrete Mathematics, 340, 2071-2078.
https://doi.org/10.1016/j.disc.2017.04.008

[14] Hua, X.H., Li, C. and Xin, X. (2018) Valency Seven Symmetric Graphs of Order 2pq. Czechslovak Mathematical Journal, 68, 581-599.
https://doi.org/10.21136/CMJ.2018.0530-15

[15] Pan, J.M. and Yin, F.G. (2018) Symmetric Graphs of Order Four Times a Prime Power and Valency Seven. Journal of Algebra and Its Applications, 17, Article ID: 1850093.
https://doi.org/10.1142/S0219498818500937

[16] Conway, J.H., Curtis, R.T., Norton, S.P., Parker, R.A. and Wilson, R.A. (1985) Atlas of Finite Groups. Oxford Univ. Press, London/New York.

[17] Bosma, W., Cannon, C. and Playoust, C. (1997) The Magma Algebra System Ι: The User Language. Journal of Symbolic Computation, 24, 235-265.
https://doi.org/10.1006/jsco.1996.0125

[18] Huppert, B. and Lempken, W. (2000) Simple Groups of Order Divisible by at Most Four Primes. Francisk Skorina Gomel State University, 16, 64-75.

[19] Jafarzadeh, A. and Iranmanesh, A. (2007) On Simple Kn-Groups for n=5, 6. In: Campbell, C.M., Quick, M.R., Robertson, E.F. and Smith, G.C., Eds., Groups St. Andrews 2005, London Mathematical Lecture Note Series, Cambridge University Press, Cambridge, 668-680.

[20] Guo, S.T., Li, Y. and Hua, X.H. (2016) (G,s)-Transitive Graphs of Valency 7. Algebra Colloquium, 23, 493-500.
https://doi.org/10.1142/S100538671600047X

[21] Li, C.H., Lu, Z.P. and Wang, G.X. (2016) Arc-Transitive Graphs of Square-Free Order and Small Valency. Discrete Mathematics, 339, 2907-2918.
https://doi.org/10.1016/j.disc.2016.06.002

[22] Li, C.H. and Pan, J.M. (2008) Finite 2-Arc-Transitive Abelian Cayley Graphs. European Journal of Combinatorics, 29, 148-158.
https://doi.org/10.1016/j.ejc.2006.12.001

[23] Praeger, C.E. (1992) An O’Nan-Scott Theorem for Finite Quasiprimitive Permutation Groups and an Application to 2-Arc-Transitive Graphs. Journal of the London Mathematical Society, 47, 227-239.
https://doi.org/10.1112/jlms/s2-47.2.227

[24] Dixon, J.D. and Mortimer, B. (1997) Permutation Groups. Springer-Verlag, New York.
https://doi.org/10.1007/978-1-4612-0731-3

[25] Giudici, M., Li, C.H. and Praeger, C.E. (2003) Analysing Finite Locally S-Arc-Transitive Graphs. Trans. Amer. Math. Soc., 356, 291-317.
https://doi.org/10.1090/S0002-9947-03-03361-0

[26] Lu, Z.P., Wang, C.Q. and Xu, M.Y. (2004) On Semisymmetric Cubic Graphs of Order 6p2. Science in China Series A Mathematics, 47, 1-17.

[27] Li, C.H., Praeger, C.E., Venkatesh, A. and Zhou, S.M. (2002) Finite Locally-Quasiprimitive Graphs. Discrete Mathematics, 246, 197-218.
https://doi.org/10.1016/S0012-365X(01)00258-8

分享
Top