1. 引言
本文考虑的图都是连通,无向,无重边,无自环的。
对于一个图
,我们分别用符号
,
,
来表示其顶点集,边集,弧集,用
表示其自同构群。设
,如果G作用在弧集上是传递的,则称
是G-弧传递图。对于
的一个顶点序列
,其中s是一个正整数,
且
,则称其为图
的一个s-弧,若G在s-弧集上传递,则称
是
-弧传递的。通常而言,若一个图是
-弧传递的,那么其往往也是
-弧传递的。进一步地,若G在s-弧集上传递,但在
-弧集上不传递,则称
是
-传递的。
对s-弧传递图的研究源于1947年Tutte在 [1] 中对3度s-弧传递图的研究,其证明了不存在
的3度s-弧传递图。之后,Weiss在 [2] 中将其一般化,他证明了除圈外,不存在
和
的s-弧传递图。1992年,Praeger在 [3] 中将本原群的O’Nan-Scott定理推广到了拟本原情形,并给出了2-弧传递图的分类步骤:
1) 决定所有的顶点拟本原与二部拟本原的2-弧传递图(这些图也被称为基图);
2) 决定上述基图的正规覆盖。
在此策略指导下,2-弧传递图得到广泛研究。由于2-弧传递图的基图刻画很多时候可以归约到研究自同构群为几乎单群的情形,所以后续很多学者对此情形做了研究。例如,Fang和Prager在 [4] 和 [5] 中分别分类了Suzuki群和Ree群作用下的2-弧传递图;Hassani等人在 [6] 中分类了容许二维线性群
作用下的2-弧传递图;2004年,Chen在其博士论文 [7] 中分类了
的s-弧传递图,其中
。更多关于几乎单群弧传递图的分类,可见 [8] [9] [10]。
本文中,我们的主要结论是以下定理,这类图是新发现的,但并未出现在 [7] 中。
定理1.1:设
,其中
为奇素数,则存在一个3度的
-弧传递图,其中点稳定子同构于
。
本文结构如下:在第二节中,给出了一些群论和图论的相关定义和引理。在第三节中,给出定理1.1中图的构造和该图性质的证明。
2. 预备知识
Aschbacher在 [11] 中定义了典型群的8种几何类:
和一个C类,并表明了有限典型群的子群包含在这几种类型中。之后,O.H. King在 [12] 中介绍了维数不超过4的有限典型群的子群结构,从中可以读出射影线性群
的子群结构。
引理2.1 [ [12],推论2.3]设
,其中p是奇素数,则G的极大子群为下列群之一:
1)
,
;
2)
;
3)
;
4)
;
5)
,其中
。
文献[ [13],表8.3]给出了特殊线性群
的极大子群结构,结合Du等在 [14] 中给出
的子群结构,可以得到下列引理:
引理2.2 [13] [14] 设
,其中p是奇素数,则G的极大子群为下列群之一:
1)
类:
,同构于
的一个子群;
2)
类:
;
3)
类:
;
4)
类:
,其中
或者
,其中
;
5)
类:
,
;
6) C类:
,其中
或者
,其中
。
在文献 [15] 中,给出了3度的弧传递图的点稳定子,即为如下引理:
引理2.3 [15] 设
是一个连通的3度
-弧传递图,
,
是G中稳定
的点稳定子,则
,而且
1) 若
,则
;
2) 若
,则
;
3) 若
,则
;
4) 若
,则
;
5) 若
,则
。
最后,我们给出陪集图的相关概念与性质。
定义2.4 [16] 设G是一个有限群,H是G的一个无核子群,即H不包含G的非平凡正规子群,
。定义群G关于H和HgH的陪集图
,这里顶点集
为H在G中的全体右陪集,边集
。
引理2.5 [16] 设
,其中H是G的一个无核子群,
,则:
1) 图
是无向的当且仅当
;
2) 图
是连通的当且仅当
;
3) 图
的度数
。
3. 构造及定理1.1的证明
图的构造:设
,其中
为一个素数。若
,由Atlas [17],G中存在一个同构于
的子群。若
,由引理2.2可知,
是G的一个极大子群。又由引理2.1可知,
是
的一个极大子群,所以此时G中也存在一个同构于
的子群。设H是G的一个同构于
的子群,A为H的Sylow 2-子群,
。由Sylow第二定理可知,G存在Sylow 2-子群E,
,使得
,取
,令
。
接下来我们证明上述构造的图
是连通的3度
-弧传递图。
引理3.1 H不含在G的
类极大子群。
证明 反证:如果H含在G的
类极大子群中,即
。设
,因为H的非平凡正规子群只有
,
两个,所以K只能为H,
,
或者1。若
,则
,矛盾;若
,则
,矛盾;若
,则
,但是这里p是奇素数,矛盾;所以
,那么
。又因为
中仅有一个2阶元,所以
,进而有
,矛盾,从而H不含在G的
类极大子群。
引理3.2
是连通的无向图。
证明 因为
,所以G的
类极大子群
的Sylow 2-子群的阶为16,且剩余各类极大子群的Sylow 2-子群的阶均不超过8,所以E只含在G的
类极大子群。由引理3.1可知H不含在G的
类极大子群,所以
。又因为
,
,所以
,则
。因为
以及
,所以
,从而
,由引理2.5可知
是连通的无向图。
引理3.3 构造中的图是3度图。
证明 由于
,所以
。又
,所以
,从而
,因此
。由H及A的阶数可知,要么
,要么
。若
,则
,从而
,即
,这与G是单群相矛盾,于是
,所以
。
至此,这就完成了主要定理的证明。
基金项目
云南省科技厅应用基础研究项目(2019FD116)资助。