Pure Mathematics
Vol.
12
No.
07
(
2022
), Article ID:
53339
,
8
pages
10.12677/PM.2022.127121
阶为八倍奇素数的边本原图
赖子峰
云南财经大学统计与数学学院,云南 昆明
收稿日期:2022年5月25日;录用日期:2022年6月28日;发布日期:2022年7月5日
摘要
称一个图是边本原的,如果其全自同构群在其边集上的作用是本原的。通过Li的研究成果,我们可以得到包含子群的指数为四倍奇素数和八倍奇素数的本原置换群,并且将连通的非平凡边本原图分为了三种情形。本文我们考虑顶点本原和二部本原的情形,刻画阶为八倍奇素数的边本原图。
关键词
边本原图,本原置换群,几乎单型
Edge-Primitive Graphs of Order Eight Times an Odd Prime
Zifeng Lai
School of Statistics and Mathematics, Yunnan University of Finance and Economics, Kunming Yunnan
Received: May 25th, 2022; accepted: Jun. 28th, 2022; published: Jul. 5th, 2022
ABSTRACT
A graph is called edge-primitive, if its automorphism group acts primitively on its edge set. Through Li’s research findings, we can obtain the primitive permutation group with a subgroup of index four times an odd prime and eight times an odd prime, and divide the connected non-trivial edge-primitive graphs into three cases. In this paper, edge-primitive graphs of order eight times an odd prime are characterized by considering the case of vertex-primitive and vertex-biprimitive.
Keywords:Edge-Primitive Graph, Primitive Permutation Group, Almost Simple Type
Copyright © 2022 by author(s) and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
1. 引言
本文讨论的都是有限无向、无自环和重边的图。
对于一个非空图 ,我们用 ,, 和 分别表示它的顶点集、边集、弧集和全自同构群,记 和 分别为图 的阶和度数。给定顶点 ,与顶点 邻接的点集称为 的邻域,记为 , 称为点 的度数。我们称顶点集的一个 序列 为 的一条s-弧,如果任意相邻两点邻接且 ,其中 。设 ,若G在 、 、 上的作用传递,则分别称 为G-点传递图、G-边传递图和G-弧传递图。
边本原图是弧传递图 [1] 的一个特殊子类,因此其具有特殊性但不失普遍性。我们知道除了星图外边本原图都是弧传递图,因此我们称一个边本原图是非平凡的,如果它是连通的弧传递图并且它的度数至少是3。相比于弧传递图,边本原图的例子十分稀少,因此刻画边本原图是一项有意义的工作。
边本原图的研究开始于著名群论学家Weiss [2] 于1973年对3度边本原图的完全分类,其中有6阶的完全二部图、14阶的Heawood图、30阶的Tutte-Coxeter图以及102阶的Biggs-Smith图。后来学者们发现了新的边本原图,例如Hoffman-Singleton图和Higman-Sims图,一些以零散单群 为自同构群的边本原图。
约30年后,Li等人重新开始对边本原图的研究工作。如M. Giudici和Li [3] 于2010年系统地分析了边本原图可能的点和边作用,并且决定了基柱为 的G-边本原图;Li和Zhang [4] 于2011年决定了边本原s-弧传递图的分类( );Feng、Li和Guo [5] [6] 于2011年分别决定了度数为4和5的边本原图;Pan和Wu [7] 于2017年刻画了6度的边本原图,并且完全分类了边稳定子群为可解的情形。此外,近几年,对边本原图的研究取得了创新性的成果。如Pan和Wu [8] [9] 于2019年完全分类阶为素数幂和二倍素数幂的边本原图;Lu [10] 于2019年刻画了2-弧传递的边本原图,证明了这类图是完全二部图或者其全自同构群是几乎单群;M. Giudici [11] 在2021年通过分类图的全自同构群为一个基柱是交错群或零散单群的几乎单群,刻画了3-弧传递的边本原图。
本文所使用的符号都是标准的。由Atlas [12],我们有时用正整数n来表示n阶循环群 。对于一个素数幂 ,用 表示q阶的初等交换群。其他有限群符号可参考 [13]。对于两个群N和H,我们用 表示N和H的直积,用 表示N被H扩张,如果这个扩张是可裂的,则记为 。用 和 分别表示为群T的全自同构群和外自同构群。用 表示阶为a且度数为b的G-边本原图,特别地,用 和 分别表示n阶的完全图和2n阶的完全二部图。
本文的主要内容是刻画阶为八倍奇素数的边本原图,下面给出本文的主要结果。
定理1.1 设 是阶为8p的G-边本原图,其中p为奇素数。如果G在 上本原或二部本原, ,则图 是3-传递的 ,或者是表1所列的其中一种情形,其中 分别是G的点稳定子群、边稳定子群和 的s-弧传递性。
注:定理1.1的证明见下文的定理3.1,定理4.1。
本文的结构如下:在第二节,给出一些初等的结论、相关定义和引理。在第三节和第四节,分别考虑G在 上本原和二部本原的情形。
Table 1. Edge-primitive graphs of order 8p
表1. 阶为8p的边本原图
2. 预备知识
本节介绍一些重要的定义和引理。下面首先给出初等数论和有限群论中的小结论。
引理2.1 ( [14],引理3.2)设q为一个素数的方幂,p是素数。若有 成立,其中 或2,n为正整数,则 。
引理2.2 ( [15],定理8.5.3)设p和q是素数,a和b是正整数,则阶为 的群是可解群。
下面给出群在集合上拟本原、二部本原作用的定义。
定义2.3 [3] 我们称G在集合 上是拟本原的,如果G的每一个极小正规子群在 上的作用都是传递的;我们称G在 上是二部本原的,如果G在 上非本原,并且其所有的非本原不变划分都恰有两个部。
注:在上述二部本原的定义下,若G在 上是二部本原,则G在 上一定是二部拟本原。
Praeger [16] 详细分类了拟本原本原置换群,即下述引理:
引理2.4 [O’Nan Scott-Praeger定理]设G是集合 上的拟本原置换群,令 为G的基柱,T为非交换单群,给定 。则G为以下八种类型之一:
i) 如果 为G的唯一极小正规子群,其中 时,有六种类型:
1) 仿射型(HA):如果 。
2) 几乎单型(AS):如果 ,。
3) 单对角型(SD):如果N包含一个正规子群 作用在 上是正则的并且 。
4) 扭圈积型(TW):如果N在 上的作用是正则的。
5) 乘积作用型(PA):如果 ,N不包含正规子群作用在 上正则。
6) 复合对角型(CD):如果 ,其中 ,。
ii) 如果G恰有两个极小正规子群L和M,则 ,并且有 时,有两种类型:
7) 全形单型(HS): ,且 。
8) 复合全型(HC): ,且 。
引理2.5 ( [3] 定理1.1)设图 是一个连通的非平凡G-边本原图。则 是一个G-弧传递图,并且为下列情形之一:
1) 为G-顶点本原。
2) 为G-顶点二部本原。
3) 为G-边本原图 的扩展(spread),且 为G-非局部本原图。
注:本文的主要研究内容是刻画上述引理情形(1)和(2)的边本原图。
引理2.6 设 是阶为8p的G-边本原图,其中p为奇素数。如果G在 上本原, 。则G为几乎单型。
证明 令 为G的基柱。Liebeck和Praeger对本原置换群进行了分类,其被分为五类:几乎单,仿射,乘积作用,扭圈积和对角型,即属于引理2.4中的情形。下面逐一讨论:
1) 若G为HA型,则 在 上正则,于是有 ,故 ,舍去。
2) 若G为SD型,则有 ,其中T为非交换单群, ,。由G在 上本原,则N在 上传递,因此有 。而由引理2.1可知T为可解群,矛盾。
3) 若G为TW型,则N在 上正则,则有 。而由引理2.1可知T为可解群,矛盾。
4) 若G为PA型,则 ,其中 ,由G在 上本原,则N在 上传递,因此有 ,而由引理2.1可知T为可解群,矛盾。
证毕,故G只可能为几乎单型。
下面引理给出非平凡G-边本原图存在的一个必要条件。
引理2.7 设图 为一个非平凡G-边本原图,令 。则 且 整除 。
证明由引理2.5可知 是连通的弧传递图,则有 并且 的度数 。并且有 , 整除 。
Li等人在 [17] 中分类了包含子群的指数为两个素数幂的乘积的本原置换群。从而我们可读出包含子群的指数为四倍奇素数和八倍奇素数的本原置换群。可得到下述的引理:
引理2.8 设T是几乎单型的本原置换群,H是T的子群,并且满足 或 ,其中p为奇素数。则二元组 如表2所列。其中q为素数p的方幂, 和 分别表示 作用在1维和 维子空间上的点稳定子群,其中 。
Table 2. Non-abelian simple groups with a subgroup of index 4p and 8p
表2. 具有子群的指数为4p和8p的非交换单群
引理2.9 [18] 若交换群G忠实且传递作用在集合 上,则G在 上正则。
引理3 [19] 设 是一个完全图, 。若 ,其中 ,则G作用在 上
非本原。
3. 顶点本原的情形
在本节,我们考虑G在 上本原,我们可以得到下面的定理:
定理3.1 设 是8p阶的G-边本原图,其中 ,G在 上本原。则 ,其中p为奇素数或者 ,或者 。
证明:通过引理2.6可知G是AS型的。令 ,由T在 上传递,则 ,。由引理2.8可知 即为表2的右侧所列。由G在 的作用是忠实的,则G和T都可以看成 上的本原置换群。令 ,下考虑边稳定子群 是否为G的极大子群。
注:下文的证明将多次用到数学工具:Magma [20],Atlas [12]。
设 ,由Atlas可知,此时 为T中阶最小的极大子群,由引理2.7,我们可得到: ,其中 ,矛盾。
设 ,则 ,,由Magma计算可知,G在 上的秩为3,非平凡次轨道的长度为30或105。故可得: 或 , 或 。由Magma计算可知,G无阶为 的极大子群,舍去。
设 ,则 ,。由G在 上是2-传递的,故此时存在边本原图 为 ,其中 ,, 为 的极大子群。
设 , 或 。由( [3],表格1)易知仅当 时存在边本原图,记为 ,并且它是2-弧传递的。
设 ,则 ,,首先考虑:(i) 当有 , 时,此时由Magma计算可知,G在 上的秩为3,非平凡次轨道的长度为10或45。故此时可计算得 或 , 或 。由Atlas可知,此时G恰有阶为 的极大子群,故存在边本原图,记为 。(ii) 当 , 时,G不存在指数为56的子群,舍去。
设 ,由引理3可知,此时不存在边本原图。
设 或 ,此时 ,,若 为G的极大子群,由Atlas可知,当 时, 只能为 ,而 。计算可知 不整除 ,这与引理2.7矛盾,舍去。
设 ,此时 ,,由Magma计算可知,G在 上的秩为3,非平凡次轨道的长度为60或75,故可得: 或 , 或 。而G的极大子群阶至少为 ,矛盾。
设 ,此时 ,,由Magma计算可知,G在 上的秩为2,非平凡次轨道的长度为343,故可得: ,。而G的极大子群阶至少为 ,矛盾。
设 ,此时 ,,由Magma计算可知,G在 上的秩为3,非平凡次轨道的长度为63或72,故可得: 或 , 或 。而G的极大子群没有阶为 的极大子群,矛盾。
4. 二部本原的情形
在本节,我们考虑G在 上二部本原,可以得到下面的定理:
定理4.1 设 是8p阶的G-边本原图,其中 ,G在 上二部本原。则 是3-传递的,其中p为奇素数。
注:定理4.1的证明见下述引理4.4~4.7。
下面给出图的标准双覆盖的一个重要结论。
引理4.2 ( [8],引理3.1)任意图的标准双覆盖都不是边本原图。特别地, 不是边本原的,其中n是正整数。
下面的定理对二部拟本原置换群的情形进行了分类。
定理4.2 ( [21],定理1.4,定理1.5)设G是 上的二部拟本原置换群,G在 上有两部为 ,。下令 ,则 为下列情形之一:
1) 在 上不忠实。
2) 在 上忠实:
i) 在 上拟本原。
ii) 有两个同构的极小正规子群L和M,它们在 上半正则。它们的直积 是G的极小正规子群,并且在 上传递。
假设4.3 设 是8p阶的G-边本原图,其中 ,G在 上二部本原,其中p为奇素数。设G在 上二部本原,其两部为 ,令 ,则 ,并且任取 ,有 。
以下引理是在上述假设成立的条件下得到的。
引理4.4 若 在 上不忠实,则 为3-传递的完全二部图 ,其中p为奇素数。
证明 令 分别为 作用在 上的核,则我们有 。因为 在 上传递,有 。任取 ,有 ,则 ,于是 ;同理有 。因此 ,,并且 。因为G在 上二部本原,则 在 上都传递,于是 在 上传递, 在 上传递,因此 中的每一个点都与 中的每个点相邻接,从而 是完全二部图。
引理4.5 若 在 上忠实,则 在 上的作用是拟本原。
证明 设 有两个同构的极小正规子群L和M,并且在 上半正则。进一步,它们的直积 是G的极小正规子群,并且在 上传递。于是有 ,并且 ,从而L和M是 群,这与它们是极小正规子群矛盾。
引理4.6 是忠实的几乎单型的拟本原置换群。
证明 因为 在 上的作用是拟本原,由引理2.4可知G+可能为仿射型、乘积作用型或几乎单型。令 为G的基柱,下证明前两种情形是不可能的:
若 为仿射型,则N是交换群并且在 上正则。因为N是 的特征子群, ,则有 。由G在 上本原,所以其正规子群N在 上传递。于是由引理2.9可知,N在 上正则。从而我们有 ,则 ,矛盾。
若 为乘积作用型,由于G在 上二部本原,则 在 上是本原的,于是 在 上是乘积作用型本原置换群,从而可设 ,其中 ,因此有 ,此时 或 ,矛盾。
引理4.7 设 是忠实的几乎单型的拟本原置换群,则 为完全二部图 。
证明 设 ,其中T为非交换单群,则 ,其中 或 。由 ,则 ,进一步我们有 ,从而有 或者 。若 ,则 ,则G有一个正规子群 在 上不传递,这与G在 上本原矛盾,因此 。于是 。故 是几乎单型,其中 ,。由引理2.可知, 如表2左侧所列。下面分两种情形讨论:
1) 如果T在 上2-传递。
假设 和 置换等价。取 ,由于 和 置换等价,则存在 使得 。若 与 邻接,因为 ,由G的边本原性,则T在 上传递。从而有 在 上传递。假设 ,则 ,矛盾。于是 与 不邻接。由T在 上 -传递, 在 上传递,所以 中每个点都与 邻接。故此时 。由引理3可知 有一个正规子群 在 上不传递,矛盾。从而 和 不置换等价。因此T在 上至少有两个不等价的次数相等的2-传递置换表示。( [22],定理5.3(S))中得到了2-传递置换群的完全分类,故表2左侧中满足条件的只有 或 ,其中 。
若 ,则 。由G是几乎单的,则 ,,并且有 ,由Magma计算可知,此时G在 上的秩为3,非平凡次轨道的长度为11或12,计算可得 或660, 或1320。而由Atlas可知 恰有阶为1320的极大子群。故存在24阶的边本原图为 。
若 ,则 ,由引理2.1可知, ,矛盾。
2) 如果T在 上非 -传递,则 或 。
若 ,则 。由G是几乎单的,则 ,,并且有 ,由Magma计算可知,此时G在 上的秩为7,非平凡次轨道长度可能为6或30,计算得 或24, 或48。而由Magma计算可知 极大子群的阶至少为336,矛盾。
若 ,由文献( [3],表格1)易知不存在边本原图。
基金项目
云南省科技厅应用基础研究项目(2019FD116)资助。
文章引用
赖子峰. 阶为八倍奇素数的边本原图
Edge-Primitive Graphs of Order Eight Times an Odd Prime[J]. 理论数学, 2022, 12(07): 1095-1102. https://doi.org/10.12677/PM.2022.127121
参考文献
- 1. Li, C.H. (2001) Finite s-arc Transitive Graphs of Prime-Power Order. Bulletin of the London Mathematical Society, 33, 129-137. https://doi.org/10.1112/blms/33.2.129
- 2. Weiss, R.M. (1973) Kantenprimitive Graphen vom Grad drei. Journal of Combinatorial Theory, Series B, 15, 269-288. https://doi.org/10.1016/0095-8956(73)90041-5
- 3. Giudici, M. and Li, C.H. (2009) On Finite Edge-Primitive and Edge-Quasiprimitive Graphs. Journal of Combinatorial Theory, Series B, 100, 275-298. https://doi.org/10.1016/j.jctb.2009.09.001
- 4. Li, C.H. and Zhang, H. (2011) The Finite Primitive Groups with Soluble Stabilizers, and the Edge-Primitive s-arc Transitive Graphs. Proceedings of the London Mathematical Society, 103, 441-472. https://doi.org/10.1112/plms/pdr004
- 5. Guo, S.T., Feng, Y.Q. and Li, C.H. (2015) Edge-Primitive Tetravalent Graphs. Journal of Combinatorial Theory, Series B, 112, 124-137. https://doi.org/10.1016/j.jctb.2014.12.004
- 6. Guo, S.T., Feng, Y.Q. and Li, C.H. (2012) The Finite Edge-Primitive Pentavalent Graphs. Journal of Algebraic Combinatorics, 38, 491-497. https://doi.org/10.1007/s10801-012-0412-y
- 7. Pan, J.M. and Wu, C.X. (2020) Finite Hexavalent Edge-Primitive Graphs. Applied Mathematics and Computation, 378, Article ID: 125207. https://doi.org/10.1016/j.amc.2020.125207
- 8. Pan, J.M., Huang, Z.H. and Wu, C.X. (2019) Edge-Primitive Graphs of Prime Power Order. Graphs and Combinatorics, 35, 249-259. https://doi.org/10.1007/s00373-018-1997-2
- 9. Pan, J.M., Huang, Z.H. and Wu, C.X. (2019) On Edge-Primitive Graphs of Order Twice a Prime Power. Discrete Mathematics, 342, Article ID: 111594. https://doi.org/10.1016/j.disc.2019.07.010
- 10. Lu, Z.P. (2020) On Edge-Primitive 2-Arc-Transitive Graphs. Journal of Combinatorial Theory, Series A, 171, 105. https://doi.org/10.1016/j.jcta.2019.105172
- 11. Giudici, M. and King, C. (2021) On Edge-Primitive 3-Arc-Transitive Graphs. Journal of Combinatorial Theory, Series B, 151, 282-306. https://doi.org/10.1016/j.jctb.2021.06.012
- 12. Conway, J.H., Curtis, R.T., Norton, S.P., Parker, R.A. and Wilson, R.A. (1985) Atlas of Finite Groups. Oxford University Press, London.
- 13. Wilson, R.A. (2009) The Finite Simple Groups. Springer, London. https://doi.org/10.1007/978-1-84800-988-2
- 14. 王超. 阶为四倍素数幂的素数度对称图[D]: [硕士学位论文]. 昆明: 云南财经大学, 2020.
- 15. Robinson, D.J.S. (1982) A Course in the Theory of Groups. Springer-Verlag, New York. https://doi.org/10.1007/978-1-4684-0128-8
- 16. Praeger, C.E. (1993) On 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
- 17. Li, C.H. and Li, X.H. (2019) On Permutation Groups of Degree a Product of Two Prime-Powers. Communications in Algebra, 42, 4722-4743. https://doi.org/10.1080/00927872.2013.823500
- 18. 徐明曜. 有限群初步[M]. 北京: 科学出版社, 2014.
- 19. Sibley, T.Q. (2004) On Classifying Finite Edge Colored Graphs with Two Transitive Automorphism Groups. Journal of Combinatorial Theory, Series B, 90, 121. https://doi.org/10.1016/S0095-8956(03)00079-0
- 20. Bosma, W., Cannon, J. and Playoust, C. (1997) The MAGMA Algebra System I: The User Language. Journal of Symbolic Computation, 24, 235-265. https://doi.org/10.1006/jsco.1996.0125
- 21. 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
- 22. Cameron, P.J. (1981) Finite Permutation Groups and Finite Simple Groups. Bulletin of the London Mathematical Society, 13, 1-22. https://doi.org/10.1112/blms/13.1.1