Pure Mathematics
Vol.
14
No.
02
(
2024
), Article ID:
81417
,
8
pages
10.12677/PM.2024.142053
一类p-群的非交换图的谱性质
吴杨,朱清江
重庆理工大学理学院,重庆
收稿日期:2023年12月30日;录用日期:2024年1月11日;发布日期:2024年2月28日
摘要
有限非交换群的非交换图是一类简单无向图,它以群的非中心元为顶点,两顶点相邻接当且仅当它们的乘积不可交换。本文研究了p3阶群的非交换图的相关谱性质,包括邻接谱、拉普拉斯谱,拟拉普拉斯谱以及正规拉普拉斯谱等。
关键词
有限群,非交换图,图的谱,邻接谱,(拟、正规)拉普拉斯谱
The Properties of Spectrum of Non-Commuting Graphs of a Class of p-Groups
Yang Wu, Qingjiang Zhu
College of Science, Chongqing University of Technology, Chongqing
Received: Dec. 30th, 2023; accepted: Jan. 11th, 2024; published: Feb. 28th, 2024
ABSTRACT
Non-commuting graphs of finite non-abelian groups are a class of simple undirected graphs that take the non-central elements of the group as vertices, and two vertices are adjacent if and only if their product is non commutative. This paper investigates the spectral properties of non-commuting graphs of groups of order p3, including adjacency spectra, Laplace spectra, quasi-Laplace spectra, and normal-Laplace spectra.
Keywords:Finite Groups, Non-Commuting Graph, The Spectrum of a Graph, Adjacency Spectrum, (Quasi-, Normal-) Laplace Spectrum
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. 引言
近几十年,有关群上的图及其代数结构的相互关系方面研究产生了很多有趣的结果,该课题也引起了人们的极大关注。人们可以有很多种方式将一个群和图相关联,本文考虑有限群的非交换图。设G是一个有限非交换群,G的非交换图
是一个简单无向图,它以
中的元素为顶点集,这里
是G的中心,对任意两个顶点
相邻当且仅当xs和y作为群G中的元素满足
。这个概念是由匈牙利数学家Paul Erdös在1975年首次引入的。此后,该领域的研究人员对该课题进行了广泛研究,见 [1] [2] [3] 等。
在图的相关谱理论中,特征向量、特征值和拉普拉斯矩阵等有着举足轻重的地位。有限群的图谱理论也是研究非交换图的有力工具,它通过利用图的邻接矩阵,拉普拉斯矩阵等的特征向量和特征值来研究非交换图的性质和结构,这些特征向量和特征值与非交换图的结构和性质密切相关。谱图理论在许多领域都有应用,包括计算机科学、物理学、化学、生物科学、社会科学等。是近年备受关注的理论,在 [4] [5] [6] [7] 中利用上述定义的非交换图,计算在不同的有限非交换群下的各类谱。
本文主要对一类非交换p-群,即p3阶群的非交换图进行研究,得到不同结构的p3阶群的所有非交换图是一致的,近一步计算了该图的邻接谱、拉普拉斯谱以及拟拉普拉斯谱的参数等。
2. 预备知识
首先介绍本文涉及到的一些符号,参考 [8] - [13] 。
定义1 [8] 设
是一个图,
的顶点集
中的两个元素u和v相邻,记为
,所有与顶点v相邻的顶点的总数称为v的度数,记为
。图
的邻接矩阵记为
,其中如果
,则
,如果
和
不邻接,则
。图
的度矩阵记为
,其中如果
,
;否则
。
定义2 [9] 设G是一个非交换群,记非交换图为
,令
是群G的中心,取
中的元素为图的顶点集,即
,对任意两顶点
,若
当且仅当x和y作为群G中的元素满足
定义3 [10] 设图
的邻接矩阵为
,度矩阵为
,称
为图
的拉普拉斯矩阵;称
为拟拉普拉斯矩阵,称
为正规拉普拉斯矩阵,其中如果
且
,则
;如果
,则
,其它情况
。
定义4 [10] 设B为n阶对称矩阵,
为B的特征多项式,
是其特征值,B的谱是指其所有不同的特征值以及它们(作为特征多项式的根)的重数,将B的谱记为
这里
表示
的重数;称
为B的谱半径。
一个图
的邻接谱(拉普拉斯谱、拟拉普拉斯谱、正规拉普拉斯矩阵)即为其对应的邻接矩阵
(
、
、
)的谱,将邻接谱中最大的特征值称作该图的指标,记作r。
定理2.1 [10] 设r是图G的指标,
是图G邻接矩阵的特征值,图G是r-正则图当且仅当
。
引理2.2 令
是一个全部元素都1为
的矩阵,则
。
引理2.3 [11] 阶为p3的非交换群有以下两种:
,
。
特别地,当
时,阶为p3的非交换群只有以下两种:二面体群D8和四元数群Q8。
引理2.4 根据非交换图的定义可以将
中的顶点集可以记为以下形式:
,其中:
,
,
,
,
,
,。并且对
与
,若
,
与
中任意元素都不可交换,反之,都可交换。
证明:由于
,易知,
的任意元素可以写成如下形式:
,
,
。
如果两个元素
和
两个元素可交换,那么就有
,所以将两侧都写成上述形式,有
,化简可得
,所以
,由此式可知群
的中心
。下证
,由于
,只需证对任意
,
,对
时,这个结果是显然的,而对
且
,存在
即
,
,由于
和
能被p整除,所以
被 p整除 ,所以
,矛盾。由此可知两集合中的元素个数是一样的,即
,所以
。然后证明对任意
,有
成立,当
时,结果是显然成立的,现考虑
,令
,
,由于
所以交换,最后证明对任意
,
,
,
,当
时,令
,
,则有
,所以
不交换,而当
和
时,令
,
,由于
显然
不被 p整除 ,所以
不交换。
引理2.5 根据非交换图的定义可以将
中的顶点集可以记为以下形式:
,其中
,
,
,
,
。并且对
与
,若
,
与
中任意元素都不可交换,反之,都可交换。
证明:容易判断
中的任意元素都可以写成如下形式:
,
。如果两个元素
和
可交换,类似地,得到
,由此可知群
的中心
。下证
,由于
,只需证明对任意
,
,对
时,这个结果是显然的,而对
且
,有
得
,所以
,矛盾。由此可以得到
,并且顶点个数为
然后证明对任意
,有
成立,当
时,结果显然成立,当
时,令
由于
,所以
是可交换的,最后证明对任意
,
,
,
,当
时,令
,
,则有
,所以不交换,当
且
时,令
,
,由于
,所以
不交换。
3. 阶为p3的非交换群的非交换图的谱
由引理2.4和引理2.5可知
和
的非交换图是同构的,所以只需求
的谱。
定理3.1 设
,其中
;
;
;p为奇素数,则非交换图
的邻接谱为
。
证明:由引理2.4和有限群的非交换图的定义,图的顶点集为
。在同一个集合
内的两元素是可交换的,而在不同集合
和
的两元素是不可交换的,因此只有在不同的
内的两顶点是相交的,从而,这个图的相邻矩阵是
是一个
阶方阵,具体形式如下:
,
其中
是
阶零矩阵,
是一个所有元素都为1的
阶方阵。所以该邻接矩阵的特征多项式为
,
利用行列式的初等变换将上述的行列式变换成如下行列式:
。
又由引理2.2可知上述的行列式为
。
所以非交换图
的邻接谱为
。
定理3.2 非交换图
的拉普拉斯谱为
。
证明:由定理3.1的证明,可知
的度矩阵是如下的
阶对角矩阵:
。
所以这个非交换图的拉普拉斯矩阵为
其中
是
阶单位矩阵,
是一个所有元素都为1的
阶方阵。所以该矩阵的特征多项式为
,具体形式为:
,
利用行列式的初等变换将上述的行列式变换成如下的下三角的行列式:
其中
,所以又由引理2.2可知上述的行列式为
,
所以非交换图
的拉普拉斯谱为
。
定理3.3 非交换图
的拟拉普拉斯谱为
。
证明:由定理3.1的证明,可知
的度矩阵是如下的
阶对角矩阵:
。
所以这个非交换图的拟拉普拉斯矩阵为
,具体形式如下:
,
其中
是
阶单位矩阵,
是一个所有元素都为1的
阶方阵。所以该矩阵的特征多项式为
,具体形式为:
,
利用行列式的初等变换将上述的行列式变换成如下的下三角的行列
其中
,所以又由引理2.2可知上述的行列式为
所以非交换图
的拟拉普拉斯谱为
。
定理3.4 非交换图
的正规拉普拉斯谱为
。
证明:由定理3.1的证明,可知其是一个正则图。其度为
。
所以这个非交换图的正规拉普拉斯矩阵为
其中如果
且
;则
;如果
;则
,其他情况
,具体形式如下:
,
其中
是
阶单位矩阵,
是一个所有元素都为1的
阶方阵,
。所以该矩阵的特征多项式为
,具体形式为:
,
利用行列式的初等变换将上述的行列式变换成如下的下三角的行式
其中
,所以又由引理2.2可知上述的行列式为
。
所以非交换图
的正规拉普拉斯谱为
。
推论3.5 设F是一个非交换有限群,且群的阶
,则非交换图满足
同时
。
定理3.6 设F是一个非交换有限群,且群的非交换图的邻接谱
,则对应的非交换图满足
,
。
证明 我们知道图
的指标为
,由定理3.1,我们知道
所以通过定理2.1,我们知道
是一个度为r的一个正则图,取任意一个非中心元素
,由于图的度为
,则除中心元素之外可与x交换的元素个数为
,故
,又因为
,
只可能为
。同时顶点个数为
。
先考虑p为奇素数的情况:
当
时,
,
,显然
不整除
,与
是F的子群矛盾。当
时,
,
,显然
不整除
,与
是F的子群矛盾。当
时,
,
,由于p为奇素数,显然
不整除
,与
是F的子群矛盾。
所以
,
再考虑
的情况,该情形下
只可能为1,2。
由于当
时,
,
,显然
不整除
,与
是F的子群矛盾。
所以
,
。
综上可知,
,再由推论2.5可
。
基金项目
重庆市自然科学基金项目(CSTB2022NSCQ-MSX0831, cstc2021jcyj-msxmX0575);重庆理工大学研究生教育高质量发展行动计划资助成果(gzljg2022319);重庆理工大学自科基金培育项目(2022PYZ023)。
文章引用
吴 杨,朱清江. 一类p-群的非交换图的谱性质
The Properties of Spectrum of Non-Commuting Graphs of a Class of p-Groups[J]. 理论数学, 2024, 14(02): 549-556. https://doi.org/10.12677/PM.2024.142053
参考文献
- 1. Lennox, J.C. and Wiegold, J. (1981) Extensions of a Problem of Paul Erdös on Groups. Journal of the Australian Mathematical Society, 31, 459-463. https://doi.org/10.1017/S1446788700024253
- 2. Longobardi, P. (2001) On Locally Graded Groups with an Engel Condition on Infinite Subsets. Archiv der Mathematik, 76, 88-90. https://doi.org/10.1007/s000130050546
- 3. Mahmoud, R., et al. (2017) On the Energy of Non-Commuting Graph of Dihedral Groups. AIP Conference Proceedings, 1830, Article 070011. https://doi.org/10.1063/1.4980960
- 4. Wu, B.-F., Lou, Y.-Y. and He, C.-X. (2014) Signless Laplacian and Normalized and Normalized Laplacian on the H-Join Operation of Graphs. Discrete Mathematics, Algorithms and Ap-plications, 6, Article ID: 1450046.
https://doi.org/10.1142/S1793830914500463
- 5. Torktaz, M. and Ashrafi, A.R. (2019) Spectral Properties of the Commuting Graphs of Certain Groups. AKCE International Journal of Graphs and Combinatorics, 16, 300-309. https://doi.org/10.1016/j.akcej.2018.09.006
- 6. Grone, R., Merris, R. and Sunder, V.S. (1990) The Laplacian Spectrum of a Graph. SIAM Journal on Matrix Analysis and Applications, 11, 218-238. https://doi.org/10.1137/0611016
- 7. Dutta, P., Dutta, J. and Nath, R.K. (2018) Laplacian Spectrum of Non-Commuting Graphs of Finite Groups. Indian Journal of Pure and Applied Mathematics, 49, 205-216. https://doi.org/10.1007/s13226-018-0263-x
- 8. Douglas B. West. 图论导引[M]. 骆吉洲, 李建中, 译. 北京: 机械工业出版社, 2020.
- 9. Abdollahi, A., Akbari, S. and Maimani, H.R. (2006) Non-Commuting Graph of a Group. Journal of Algebra, 298, 468-492. https://doi.org/10.1016/j.jalgebra.2006.02.015
- 10. Brouwer, A.E. and Haemers, W.H. (2012) Spectra of Graphs. Springer, New York.
https://doi.org/10.1007/978-1-4614-1939-6
- 11. 徐明曜. 有限群初步(现代数学基础丛书152) [M]. 北京: 科学出版社, 2014.
- 12. Biggs, N. (1994) Algebraic Graph Theory. 2nd Edition, Cambridge University Press, Cam-bridge.
- 13. Cvetković, D.M., Doob, M. and Sachs, H. (1980) Spectra of Graphs: Theory and Application. Academic Press, Cambridge.