Advances in Applied Mathematics
Vol.
13
No.
02
(
2024
), Article ID:
82263
,
6
pages
10.12677/AAM.2024.132072
14pq阶的五度对称图
赵路清,凌波*
云南民族大学数学与计算机科学学院,云南 昆明
收稿日期:2024年1月28日;录用日期:2024年2月22日;发布日期:2024年2月29日

摘要
称一个图为对称图,如果它的自同构群在这个图的弧集上是传递的。丁素云、凌波、娄本功和潘江敏教授2016年在文献(Graphs and Combinatorics, 32, 2355-2366, 2016)中证明了:无平方因子阶的五度对称图要么同构于图 、 、 ,要么这类图的全自同构群为 和 。本文的主要工作是在假定一个五度图的阶为14pq时,完全确定其图全自同构群为 和 对应的对称图,其中 为素数。
关键词
对称图,自同构群,正规商图

Pentavalent Symmetric Graphs of Order 14pq
Luqing Zhao, Bo Ling*
School of Mathematics and Computer Sciences, Yunnan Minzu University, Kunming Yunnan
Received: Jan. 28th, 2024; accepted: Feb. 22nd, 2024; published: Feb. 29th, 2024
ABSTRACT
A graph is said to be symmetric if its automorphism group acts transitively on its arcs. In 2016, Ding Suyun, Ling Bo, Lou Bengong and professors Pan Jiangmin published a paper in the (Graphs and Combinatorics, 32, 2355-2366, 2016), proved that: Arc-transitive pentavalent graphs of square-free order are either isomorphic to graphs 、 、 , or the full automorphism group of such graphs is and . The main work of this paper is to completely determine that the full automorphism group of a pentavalent graph as and corresponds to a symmetric graph when the order of the graph is assumed to be 14pq, where are primes.
Keywords:Symmetric Graph, Automorphism Group, Normal Quotient Graph
Copyright © 2024 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是一个正整数,称Γ中 个顶点序列 为一个s-弧,如果 , ,并且对 ,有 , 。称Γ为s-弧传递图,如果 在Γ的所有s-弧上是传递的。称Γ为s-传递图,如果Γ是s-弧传递的,但不是 -弧传递的。特别地,1-弧是一个弧,0-弧是一个顶点。令 ,对任意的 ,恒有 ,则称G是半正则的。如果群G既是半正则的又是传递的则称G是正则的。如果 在Γ上是正则的,则Γ被称为1-弧正则的。A在Γ的弧集上的作用是传递的当且仅当A在Γ的点集上 上是传递的,并且任一点 在A中的稳定子群 在v的邻域 上也是传递的。
研究群与图里面的对称性,也就是图的自同构群作用在图的顶点集,边集,弧集等上面的传递性,而图的弧传递图的分类一直是一个比较热门的话题。近年来,给定阶的对称图的分类得到了广泛的关注。Chao在文献 [1] 中分类了p阶的对称图,Conder [2] 等分类了所有阶小于或等于768个点的3度对称图。冯等 [3] 分类阶为8p,8p2的三度对称图。对于四度对称图的阶的分类的一些结果可以参考 [4] [5] 。而对于五度对称图的分类有许多显著的结果,只有一个素因子阶的五度对称图的分类可以参考文献 [6] [7] [8] [9] ,一个素因子阶的五度对称图大多数被分类完全,接下来对于两个素因子阶的五度对称图的分类可以参考文献 [10] [11] 。本文的主要目的是对14pq阶的五度对称图进行分类,主要采用的方法是取正规商图。
本文的主要结果是下面的定理。
定理1.1 设Γ是一个阶为14pq的连通五度对称图,其中 是素数,所以下列表述之一成立。
(1) ,其中 和 。
(2) 当 时,在同构意义下,存在图 ,进一步地, , ,其中 。
2. 预备知识
在这一节中我们将引用一些基本的结果,方便后面的讨论。
以下定理在文献( [12] ,定理1.2)中得到证明。
定理2.1 令Γ是一个阶为n的连通弧传递五度图,其中n是一个无平方因子阶的整数,且至少有四个素因子。下列之一成立。
(1) 和 ,其中 , 是不同的素数,当 时, ,在同构的情况下恰好有 个这样的n阶图。
(2) 或 , 为一个素数。
(3) 三元组 见表1。
Table 1. Pentavalent symmetric graphs of square-free order
表1. 无平方因子阶的五度对称图
的极大子群是已知的,参见文献( [13] ,第239章节)。
引理2.2 设 ,其中 ,p是素数。那么T的极大子群同构于下列群之一,其中 。
(1) ,其中 ;
(2) ,其中 ;
(3) ;
(4) ,其中 或者 ;
(5) ,其中 ;
(6) ,其中 ,或者 ,p为一个奇素数;
(7) ,n/m为一个奇整数;
(8) ,n为偶整数。
根据文献 [14] [15] 得到五度弧传递图的点稳定子的结构。
引理2.4 设Γ是一个连通的五度 -传递图,其中 , ,设 ,则下列表述之一成立:
(1) 如果 是可解的,则 ,且 。此外, 如表2所示。
Table 2. Soluble vertex-stabilizers
表2. 可解的点稳定子
(2) 如果 是不可解的,则 且 。此外, 如表3所示。
Table 3. Insoluble vertex-stabilizers
表3. 非可解的点稳定子
研究顶点传递图的一种典型方法是取正规商图。设Γ是一个G-顶点传递图,其中 ,令 ,且N在 上是不传递的。称商图 是G-正规的,如果 是G的某个正规子群N的轨道的集合。由N诱导的正规商图 定义为顶点集 的图。在商图 中 当且仅当 和 ,使得 。如果原图的度数 与块图的度数 相等,那么Γ被叫做 的正规覆盖(参见文献( [16] 引理2.5)和( [17] ,定理4.1)。
定理2.5 设Γ是奇数度的G-弧传递图,令 在 上至少有三个轨道。那么下列的陈述成立。
(1) N是 上的半正则, ,Γ是的正规覆盖。
(2) ,其中 , 。
(3) Γ是 -传递的当且仅当 是 -传递。
3. 定理1.1的证明
不设Γ是阶为14pq的连通五度对称图,其中 是素数。令 , 。
如果A是可解的,根据定理2.1, 且 和 ,定理1.1第一部分成立,假设A是不可解的,定理2.1表明,A是几乎单的 ,其中 是素数。因为 不整除 ,根据定理2.5(1),T在 上最多有两个轨道, 或14pq。因为 ,我们有 ,所以 ,由于 ,于是 。此外,根据引理2.4, ,所以 。因此 。
我们现在确定了p的所有可能。如果 ,根据引理2.4, 是不可解的,所以当 ,因为 ,根据引理2.2我们进一步有 。如果3不整除 ,根据引理2.4, 是可解的,则 。因此 或1120pq。 且 。如果q整除 ,则 或1120,其中 并且p是一个素数。我们有 。进一步地,我们的p还需要满足下列两个条件:
(1) 。
(2) 或1120pq,其中 是素数。
① 当 时,由q整除 ,与 是素数矛盾。
② 当 时,我们有 ,由q需要整除 ,且 是素数,可得 。接下来,将 的值代入条件(1),此时 不整除 ,矛盾。
③ 当 时,我们有 ,由q需要整除 ,且 是素数,可得 。接下来,将 的值代入条件(1),此时 不整除 ,矛盾。
④ 当 时,我们有 ,由q需要整除 ,可得 。接下来,将 的值代入条件(1),此时 不整除 ,矛盾。
⑤ 当 时,由q整除 ,与 是素数矛盾。
⑥ 当 时,我们有 ,由q需要整除 ,可得 。接下来,将 的值代入条件(1),此时 不整除 ,矛盾。
⑦ 当 时,我们有 。由q需要整除 ,且 是素数,可得 或17。于是对q分情况讨论:
对于 ,我们把 的值代入条件(1),此时 不整除 ,矛盾。
对于 ,我们把 的值代入条件(1),此时 不整除 ,矛盾。
因此通过条件(1)和条件(2)的简单计算,我们可以排除 ,最后得到 。
类似地,如果q整除 ,则 或1120,其中 并且p是一个素数,我们有 。更进一步地,计算还需要满足两个条件:
(1) 。
(2) 或1120pq,其中 是素数。
① 当 时,我们有 ,由q需要整除 ,且 是素数,可得 。接下来,将 的值代入条件(1),此时 不整除 ,矛盾。
② 当 时,由q需要整除 ,与 是素数矛盾。
③ 当 时,由q需要整除 ,与 是素数矛盾。
④ 当 时,我们有 ,由q需要整除 ,且 是素数,可得 。接下来,将 的值代入条件(1),此时 不整除 ,矛盾。
⑤ 当 时,我们有 ,由q需要整除 ,且 是素数,可得 。接下来,将 的值代入条件(1),此时 不整除 ,矛盾。
⑥ 当 时,我们有 ,由q需要整除 ,且 是素数,可得 。接下来,将 的值代入条件(1),此时 不整除 ,矛盾。
⑦ 当 时,我们有 ,由q需要整除 ,且 是素数,可得 。接下来,将 的值代入条件(1),此时 不整除 ,矛盾。
⑧ 当 时,我们有 ,由q需要整除 ,且 是素数,可得 。接下来,将 的值代入条件(1),此时 不整除 ,矛盾。
⑨ 当 时,我们有 。由q需要整除 ,且 是素数,可得 或19。将 的值代入条件(2),此时矛盾。
因此通过条件(1)和条件(2)的简单计算,我们可以排除 。最后得到 。
综上在这种情况下,我们有 。因此,T的唯一可能是以下的单群: , , 。
假设 ,我们有 , ,则 ,如果T在 上传递,则Γ是T-弧传递的,所以 ,根据引理2.4,这是不可能的。因此,T在 上恰好有两个轨道,当 时,我们有 ,则 。通过Magma [18] 直接计算, 。
假设 ,我们有 , ,则 ,当 时, 或 ,于是 或120,由Magma [18] 计算,在这种情况下没有五度对称图。
假设 ,我们有 , ,则 ,当 时, 或 ,于是 或120,由Magma [18] 计算,在这种情况下没有五度对称图。定理1.1的证明完成。
文章引用
赵路清,凌 波. 14pq阶的五度对称图
Pentavalent Symmetric Graphs of Order 14pq[J]. 应用数学进展, 2024, 13(02): 738-743. https://doi.org/10.12677/AAM.2024.132072
参考文献
- 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. Conder, M. and Dobcsányi, P. (2002) Trivalent Symmetric Graphs on Up to 768 Vertices. Journal of Combinatorial Mathemat-ics and Combinatorial Computing, 40, 41-63.
- 3. Feng, Y.Q., Kwak, J.H. and Wang, K. (2005) Classifying Cubic Symmetric Graphs of Order 8p or 8p2. European Journal of Combinatorics, 26, 1033-1052. https://doi.org/10.1016/j.ejc.2004.06.015
- 4. Gardiner, A. and Praeger, C.E. (1994) On 4-Valent Symmetric Graphs. European Journal of Combinatorics, 15, 375-381. https://doi.org/10.1006/eujc.1994.1041
- 5. Zhou, J.X. and Feng, Y.Q. (2010) Tetravalent s-Transitive Graphs of Order Twice a Prime Power. Journal of the Australian Math-ematical Society, 88, 277-288. https://doi.org/10.1017/S1446788710000066
- 6. Hua, X. and Feng, Y. (2011) Pentavalent Symmetric Graphs of Order 8p. Journal of Beijing Jiaotong University, 35, 132-135+141.
- 7. Guo, S.T., Zhou, J.X. and Feng, Y.Q. (2011) Pentavalent Symmetric Graphs of Order 12p. The Electronic Journal of Combinator-ics, 18, Article No. P233. https://doi.org/10.37236/720
- 8. Guo, S.T., Hou, H.-L. and Shi, J.T. (2017) Pentavalent Symmetric Graphs of Order 16p. Acta Mathematicae Applicatae Sinica, English Series, 33, 115-124. https://doi.org/10.1007/s10255-017-0642-9
- 9. Ling, B., Wu, C.X. and Lou, B.G. (2014) Pentavalent Symmetric Graphs of Order 30p. Bulletin of the Australian Mathematical Society, 90, 353-362. https://doi.org/10.1017/S0004972714000616
- 10. Hua, X.H., Feng, Y.Q. and Lee, J. (2011) Pentavalent Symmet-ric Graphs of Order 2pq. Discrete Mathematics, 311, 2259-2267. https://doi.org/10.1016/j.disc.2011.07.007
- 11. Pan, J., Lou, B. and Liu, C. (2013) Arc-Transitive Pentavalent Graphs of Order 4pq. The Electronic Journal of Combinatorics, 20, Article No. P36. https://doi.org/10.37236/2373
- 12. Ding, S.Y., Ling, B., Lou, B.G. and Pan, J.M. (2016) Arc-Transitive Pentava-lent Graphs of Square-Free Order. Graphs and Combinatorics, 32, 2355-2366. https://doi.org/10.1007/s00373-016-1717-8
- 13. Dickson, L.E. (1958) Linear Groups: With an Exposition of the Galois Field Theory. Dover, Mineola.
- 14. Guo, S.T. and Feng, Y.Q. (2012) A Note on Pentavalent s-Transitive Graphs, Discrete Mathematics, 312, 2214-2216. https://doi.org/10.1016/j.disc.2012.04.015
- 15. Zhou, J.X. and Feng, Y.Q. (2010) On Symmetric Graphs of Va-lency Five. Discrete Mathematics, 310, 1725-1732. https://doi.org/10.1016/j.disc.2009.11.019
- 16. 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
- 17. Praeger, C.E. (1993) An O’Nan-Scott Theorem for Finite Qua-siprimitive Permutation Groups and an Application to 2-Arc Transitive Graphs. Journal of the London Mathematical So-ciety, s2-47, 227-239. https://doi.org/10.1112/jlms/s2-47.2.227
- 18. Bosma, W., Cannon, C. 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
NOTES
*通讯作者。