1. 引言
1938年,R. Frucht证明了对于任意给定的抽象群,都存在一个图以它为自同构群。此项工作揭开了群与图(代数图论)研究的帷幕。近几十年来,代数图论的研究出现了快速的发展,并在计算机网络、密码学、原子物理学、结构化学等众多学科中有很好的应用。研究传递图的一个典型方法是利用图的自同构群的正规子群做正规商图。而基图的覆盖的研究常常成为刻画一般传递图类的“关键”环节,成为了代数图论学科最重要的、最根本的研究方向。经过众多学者的研究,逐渐形成了一套建立在电压图技术上的图的“覆盖理论”。应用这些理论,一系列小阶数对称图的循环和初等交换正则覆盖被完全确定。
经过众多学者的研究,逐渐丰富基图的覆盖图的研究方法和研究成果。应用电压图技术,一些小阶数对称图的循环和初等交换正则覆盖被完全确定。文献 [1] [2] [3] 等得到一些小阶数小度数对称图的初等交换覆盖。此外,文献 [4] [5] 等分类了完全图
和
(完全二部图去掉一个完全匹配)的2-弧传递循环和一些初等交换覆盖,其中n为任意大于等于4的正整数,并发现2类非常有趣的电压图类。
本文主要是刻画二倍素数阶完全二部图图类的边传递亚循环正则覆盖。
2. 已有结论及相关准备
2.1. 抽象群和群作用
设G是群,对任意的
,用
表示a在g下的共轭。对于G的子群H,用
表示H在g下的共轭子群。
我们用End(G)表示G的全体自同态作成的环,用Aut(G)表示G的全体自同构作成的自同构群,用Inn(G)表示G的全体内自同构作成的群。众所周知:Inn(G)为Aut(G)的正规子群,且
,其中Z(G)为G的中心。
下面介绍群的正规化子和中心化子的概念。
定义2.1 设H为群G的子群,则称
为H在G中的中心化子,称
为H在G中的中心化子。
关于正规化子和中心化子,下面是重要且基础的“N/C”定理。
定理2.1 [6] 设
,则
同构于Aut(H)的一个子群。
定义2.2 设G为一个群,若G有一个正规子群N使得
,则称G为N被K的扩张,记为
。如果G的两个子群N,K满足条件:
,
,
且
,那么称群G为N与K的半直积,记作
。特别地,若K也是G的正规子群,则G是子群N与K的直积,记作
。
设G为一个有限群,p为整除群G的阶
的一个素数,若
但
不能整除
,则记为
。
定理2.2 [7] 设p为素数。
第一Sylow定理:设
,则G中必存在
阶子群,称为G的Sylow p-子群。
第二Sylow定理:G的任意两个Sylow} p-子群皆在G中共轭。
第三Sylow定理:G中Sylow p-子群的个数
是
的因子,并且
。
定义2.3设N是群G的子群,称N在G中有补,如果存在G的子群K使得
,并且
,这时称K为N在G中的补群。
定理2.3 [7] 设N是G的正规Hall子群,则
1) N在G中有补:
2) 若N或G/N可解,H和H1是N在G中的两个补群,则在N存在元素u使
。
定理2.4 [7] 设G是有限群,则下述命题等价:
1) G是幂零群;
2) 若
,则
;
3) G的每个极大子群M都是G的正规子群,并且
是素数;
4) G的每个Sylow子群都是正规的,因而G是它的诸Sylow子群的直积。
定义2.4 1) 设G是有限群,令
表示G的所有极大子群的交,我们称
为G的Frattini子群。
2) 设G为有限群,G的所有幂零正规子群的乘积称为G的Fitting子群,它是G的最大幂零正规子群。
易知,群G的Frattini子群和Fitting子群都是G的特征子群。
定义2.5 [7] 设
为一个非空集合,
中的元素称为点,
表示
上的对称群。
称为群G在
上的一个作用,如果
是G到
的一个同态。即G中每个元素x对应
上的一个变换
,并且满足
。
如果
,称G忠实地作用在
,此时G可看作
上的置换群. 如果
,称G平凡地作用在
上。
定义2.6 [7] 设群G作用在集合
上,则对每个
,
是G的子群,称为点
的稳定子群。并且对任意的
,有
。
定义2.7 1) 如果G作用在集合
上只有一个轨道,那么称G在
上传递。
2) 群G作用在集合
上称为半正则的,如果对每个
都有
成立。传递的半正则群称为正则群。
3) 设G作用在集合
上,
为
的一个子集,称
为G在
上的稳定子群。
2.2. 图的已有结论
对于无向图
的两个顶点u和v,用u~v表示u与v邻接,用
表示所有与u邻接的点作成的集合。在本文分别用
表示图
的顶点集,边集和弧集。
定义2.8 设L, R是群G的两个子群,且
在G中是core-free的。定义二部陪集图
,其中顶点集为
且
。
关于二部陪集图我们常用下面的两个引理。
引理2.5 [8] 群G的两个子群L, R满足
在G中是ore-free的,则二部陪集图
有下列性质:
1)
是连通的当且仅当
;
2)
,且
是G-边传递和G-点不传递;
3)
;
4)
,其中
。
反过来,每个G-边传递但不是G-点传递图都同构于二部陪集图
,其中
是邻接的两个点。
引理2.6 [7] 设
,其中L, R为G的子群,且
在G中是core-free的。设存在
使得
交换L和R,或者稳定L和R,则
可以自然地诱导图
上的一个自同构。
特别地,如果
交换L和R,那么
是弧传递图。
定理2.7 [9] 设
为X-点传递局部本原图,且X有一个正规子群N在
上至少有3个轨道,则下列结论成立:
1) N在
上半正则,
,
为X/N-局部本原图,且
为
的N-正则覆盖。
2) 为
-弧传递图
当且仅当
为
-弧传递图,其中
或
;
3)
;
4) 如果X有一个正规子群
,则
为
的 X/M-局部本原N/M-正则覆盖。
定理2.7 [10] 设
是2p阶对称图
的
-正则覆盖,其中p是素数且
是奇素数。设保纤群在
上是弧传递的,则
1) 当
时,有
,
,或
,
是广义Petersen图;
2) 当
时,有
,
是正十二面体或
的标准双覆盖;
3) 当
时,有
,
;
4) 当
时,
或者
;
5) 当
时,有
,其中
不相同的素数,使得对每个
,都有
,且
i)
是二面体群
上的正规Cayley图;或
ii)
是广义二面体群
上的正规弧传递Cayley图,其中
。
定理2.8 [11] 设
是2p阶对称图
的K-正则覆盖,其中p是素数且
是奇素数,覆盖变换群
为亚循环群但非循环群,且
为素数。设保纤群在
上是弧传递的,则下述之一成立:
1)
,其中m是奇数,
如文献
2)
,其中
是互不相同的素数,使得对每个
,都有
,且
。
3)
如下所示:
3. 完全二部图Kp,p的边传递亚循环正则覆盖
在这一节,我们将给出本文的主要结果和完全二部图的边传递交换正则覆盖的例子。
设
是完全二部图
的边传递K-正则覆盖,其中
,
,且
。设
,
是X-弧传递的。令
,且Y在
上是弧传递的。设
是
的两个部,
,
,则
。设
是
分别作用在
上的核,若
忠实作用在
上,则
,且
,矛盾。由此得到
非忠实作用在
上,且
,
。令
,则
是
上的传递置换群,
是
上的传递置换群。
是p个点上的传递置换群,则
是本原置换群。
令
,
。设
交换,
,则
在
上边传递、点不传递,由此推出
在
边传递、点不传递,进一步由引理2.5知,
,其中
是
上的相邻接的两个顶点。
引理3.1 设
,其中
,则H由两个p阶正规子群
。
证明:由于
,可知
,其中
。设
是H的p阶正规子群,则
。我们不妨假设
,则
,由此得到
。设
,则
,
,由此得到
,即
。因为p不能整除i,则
,
。可知
,或者
。如果
,
,即
,可知此时
。如果
,则
,即
,可知此时
。
引理3.2 设K是亚循环群,令F是K的Fitting子群,则K/F是循环群。
证明:设
,则可知
,又因为
,且
是循环群,可知K/F也一定是循环群。
定理3.3 设
,令
,若
,则
是幂零群。
证明:因为
,故
。设
,因为
是交换群,且
,所以得到
。
由引理3.1知
,
或者
。
情形(1)
若
,则
。这是因为若
,则
,这种情况将在下面讨论。由此得到若
,则
。此时,又因为
,这与
是交换群相矛盾。
情形(2)
若
,且
,则可知
不能中心化
,其中r是某个素数,并且可知
不能中心化F的Sylow q-子群Q。因为
,且
,所以
。进一步,
,而
,则
,这不可能。
情形(3)
若
,则
。令
。
因为
,且
,所以
。又因为
,
,所以
,由此可知
。令
,
是W-弧传递图,可知
。下面分析N作用在
上的轨道个数。
1) 若N作用在
上是传递的,则
,即
,由此得出
。若
,即
,若
,则N不可能在顶点集上传递。若
,则
,此时
不能整除
。若
,则
,此时
不能整除
。
由以上分析知,N作用在
上不可能是传递的。
2) 若N作用在
上有两个轨道,则
,此时不可能。
3) N在
上至少有三个轨道,由引理2.7知,
是W/N-弧传递图,且
。因为
,
。因为
,所以经计算可以得到
,可知
整除
。
若
,则只有
,即
是幂零群。
构造1设
,其中
,
而
是模q的原根。若q不能整除
,
,则
,且
是完全二部图
的边传递
-正则覆盖,其中
,
。
证明:因为
,
,经过计算可知
,因为
,而
是模q的原根,所以
,由此可知
是p阶元。因为
,
,
,而
,
,进一步计算可以得到
,
,因为
,且x是p阶元,所以
。又因为
,而
是模q的原根,且假设q不能整除
,
,可知
,
。
此时
,又因为
,可知
,进一步可知
,
,
。由因为
,所以
,
,进一步可知
,这样我们得到
。此时令
,
,
,由引理2.5知
。因为
,可知
是2p阶p度图,
是
的边传递
-正则覆盖。
4. 结语
本文利用有限群论的技巧和陪集图的相关性质,将部分亚循环群的覆盖归为幂零群的覆盖问题,并且构造了一类完全二部图的边传递初等交换覆盖,将对2p阶完全二部图的一般亚循环覆盖的研究起到一定的促进作用。
基金项目
国家自然科学基金资助项目(11801252)。
附录