Pure Mathematics
Vol.
13
No.
07
(
2023
), Article ID:
69724
,
5
pages
10.12677/PM.2023.137219
交换群的子群包含图的一些性质
康富斌,李元林*
江西理工大学理学院,江西 赣州
收稿日期:2023年6月18日;录用日期:2023年7月21日;发布日期:2023年7月28日
摘要
有限群G的子群包含图In(G)是指下列无向简单图:In(G)的顶点集是G的所有非平凡的子群组成的集合,而G的两个非平凡的子群H和K在In(G)中有边相连当且仅当 或 。本文将给出交换群的子群包含图的一些性质;特别地,本文将决定子群包含图是完美图(或三角图,或强三角图)的有限交换群。
关键词
群,交换群,子群包含图,子空间包含图
Some Properties of Subgroup Inclusion Graph of an Abelian Group
Fubin Kang, Yuanlin Li*
School of Science, Jiangxi University of Science and Technology, JXUST, Ganzhou Jiangxi
Received: Jun. 18th, 2023; accepted: Jul. 21th, 2023; published: Jul. 28th, 2023
ABSTRACT
The subgroup inclusion graph In(G) of a finite group G is an undirected simple graph defined as follows: the vertex set of In(G) is consisting of all nontrivial subgroups of G, and for two nontrivial subgroups H and K of G, there is an edge adjoining them in In(G) if and only if or . In this paper, we will give some properties of the subgroup inclusion graph of Abelian groups; specially, we will determine the Abelian groups whose subgroup inclusion graph is a perfect graph (triangular graph, or strong triangular graph).
Keywords:Groups, Abelian Groups, Subgroup Inclusion Graphs, Subspace Inclusion Graphs
Copyright © 2023 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. 引言
本文所涉及的群均是有限群,图是有限简单图。关于群论和图论的相关基本概念请参考文 [1] 和 [2] 。
对于给定的群,可用多种方式定义图,比如Cayley图、交图、交换图和素图等(见文 [3] [4] [5] [6] )。设G是群,则G的子群包含图In(G)是指下列无向简单图:In(G)的顶点集是G的所有非平凡的子群组成的集合,而G的两个非平凡的子群H和K在In(G)中有边相连(即 )当且仅当 或 。Devi和Rajkumar在文 [7] 中给出子群包含图的定义,决定了子群包含图是某类图(比如,完全图、二部图、树、星或平面图)的群,确定了子群包含图的团数、色数和围长,并讨论了交换群的子群包含图的直径。近来,偶世坤等 [8] 确定了幂零群的子群包含图的直径,并刻画了循环群的子群包含图的独立支配集和自同构群;偶世坤等 [9] 找出了子群包含图是平面图的所有幂零群,并计算了循环群的子群包含图的固定数。如果G是初等交换群,本文将看到In(G)实际上是向量空间的子空间包含图(见定理2.1)。
设V是有限维向量空间,则V的子空间包含图In(V)是指下列无向简单图:In(V)的顶点集是V的所有非平凡的子空间组成的集合,而V的两个非平凡的子空间U和W在In(V)中有边相连当且仅当 或 。2016年,Das [10] 确定了In(V)的直径、围长和团数,证明了两个向量空间的子空间包含图同构当且仅当这两个向量空间同构。记Vn是n维向量空间。2018年,Das [11] 考虑了In(V)的完美性和平面性,并给出了In(V3)的支配数的界。同一年,Ma和Wang [12] 研究了In(V)的独立数;Wong等 [13] 证明了In(V3)是距离正则的,并计算了In(V3)的支配数。2019年,Wang和Wong [14] 刻画了In(V)的自同构。此外,Cameron等 [15] 证明了In(V3)既是凯莱图也是汉密尔顿图。
受上述文献的影响,我们将给出交换群的子群包含图的一些性质;特别地,我们将决定子群包含图是完美图(或三角图,或强三角图)的有限交换群。
2. 初等交换群的子群包含图
为了考虑初等交换群的包含图的性质,我们先介绍一个重要结论。
定理2.1设G是初等交换p-群,其中p是素数,则存在正整数n使得In(G)与In(Vn)是同构的。
证明设 。定义Fp对G的数乘运算为:
这里的 ( )是k个 的和。易知,G关于加法运算和上述数乘运算成为Fp上n维向量空间,故而G与Vn作为向量空间同构。由于G的子群均可看成G的子空间,故In(G)与In(Vn)是同构的。证毕。
下面将由定理2.1得到初等交换群的包含图的一些性质。首先,计算图的直径、围长、团数和色数。
推论2.2设G是初等交换p-群,其中p是素数。若G的阶 至少含3个素因数,则
1) In(G)的直径是3;
2) In(G)的围长 是3,6或无穷;
3) In(G)的团数和色数是 ,其中n是G作为Fp上向量空间的维数。
证明由定理2.1和文 [10] 的定理4.1、定理4.2、定理5.1、定理5.2立刻得到结论。
记 为群G的包含图In(G)的支配数。当G是循环群且In(G)是连通图时,偶世坤等证明了 (见文 [8] 的引理4.1)。现在我们考虑In(G)的独立数和支配数。
推论2.3设G是初等交换p-群。若 至少含3个素因数,则
1) In(G)的支配数 ,且等式成立的充要条件是 ;
2) In(G)的独立数为 ,其中 。
证明由定理2.1、文 [12] 的定理2.5和文 [13] 的定理2.2立刻得证。
当初等交换群的阶是3个素数的乘积时,可得下面的结论。
推论2.4设G是初等交换群。若 是3个素数的乘积,则
1) In(G)是顶点传递的;
2) In(G)是距离传递的;
3) In(G)是距离正则的;
4) In(G)是凯莱图;
5) In(G)是哈密尔顿图。
证明由定理2.1、文 [11] 的定理6.5、文 [13] 的定理3.1和推论3.2、以及文 [15] 的定理2.1和定理2.2立刻可得。
图 被称为完美的(也称 为完美图),如果它的任一子图 的团数等于 的色数。文 [7] 给出了有限群的包含图是弱完美的。本节的最后我们考虑初等交换群的包含图的完美性。
推论2.5设G是初等交换群。若 至少含3个素因数,则In(G)是完美图。
证明由定理2.1和 [10] 的定理5.2可得证。
3. 交换群的子群包含图
当G是有限交换群时,若k是 的因数,则G必有k阶子群。设H和K是G的两个非平凡子群,若在In(G)中 ,则 或 ,故而 整除 ,或者 整除 。
首先,我们介绍一个引理。
引理3.1设G是有限交换群,若 是3个素数的乘积,则In(G)是不含4圈的二部图。进而,G的围长 。
证明 如果In(G)是树,结论显然成立。如果In(G)不是树,则In(G)中有圈。不妨设 ,且令 是In(G)中的n圈。显然, 至多2个素因数, 。如果 是素数,则由 整除 (因为 )得知 是2个素数的乘积,再由 整除 (因为 )得知 是素数。于是由归纳法可得 是素数,且 是2个素数的乘积, 。如果 是2个素数的乘积,同理可得 是2个素数的乘积,且 是素数, 。不妨设 是素数,且 是2个素数的乘积, 。现证:n不是奇数。否则,若n是奇数,则由 和 均是素数可知 和 没有真包含关系,即 和 不相连,矛盾。所以,In(G)是二部图。
下面只需证:In(G)不含4圈。反证。若 ,即 ,则由 可知 ;由 得到 。于是 ,这说明In(G)中存在3圈(即三角形),矛盾。因此,In(G)不含4圈。得证。
实际上,直接计算立得下面的结论。
引理3.2设G是交换群。若 是3个素数的乘积,则
1) 当G是p3阶循环群时,In(G)是长为2的路;
2) 当G是一个p2阶循环群和一个p阶群的直积时,In(G)是树;
3) 当G是一个p2阶循环群和一个q阶群的直积时,In(G)是长为4的路;
4) 当G是两个p阶群和一个q阶群的直积时,In(G)是围长为6的连通图;
5) 当 是三个不同素数的乘积时,In(G)是长为6的圈。
如果图 中4阶以上的圈必有弦(即连接两个不相邻顶点的边),则称 为三角图;如果 中的点均在某个三角形(即3圈)中,则称 为强三角图。显然,强三角图是三角图;强三角图的围长为3;而三角图的围长为3或无穷。但是三角图未必是强三角图。例如,无圈图是三角图,但不是强三角图。
现在我们给出刻画包含图是三角图的一个结论。
定理3.3设G是有限交换群,但不是初等交换群。若 是3个素数的乘积,但不是三个不同素数的乘积,则In(G)是三角图当且仅当G不是两个p阶群和一个q阶群的直积。
证明由有限交换群基本定理可知,G是一些有限循环群的直积。再由条件得知G为p3阶循环群,或为一个p2阶循环群和一个p阶群的直积,或为两个p阶群和一个q阶群的直积。于是由引理3.2得证。
设G是有限交换群,而H是G的一个非平凡子群。若 不是素数,即H不是G的极大子群,则在G中存在极大子群M包含H (即在In(G)中存在 );若H不是素数阶子群,因为H也是交换群,故而H必有非平凡的子群L (即在In(G)中存在 )。
下面我们刻画强三角的包含图。
定理3.4设G是有限交换群,且 至少含3个素因数,则In(G)是强三角图当且仅当 至少含4个素因数。
证明 若 是3个素数的乘积,则由引理3.1立知In(G)不是强三角图。下设 至少含4个素因数。
任取H为G的非平凡的子群。若 是素数,因为 不是素数,所以可取M为G中含H的极大子群,则 至少含3个素因数。再令K是M中含H的极大子群,则 ,故 形成三角形。若 是2个素数的乘积,令L是H的素数阶子群,而M是G中含H的极大子群,则 ,故 形成三角形。若 至少含3个素因数,令N是H中极大子群,而L是N中素数阶子群,则 ,故 形成三角形。因此,In(G)是强三角图。
由定理3.4立得下一推论。
推论3.5设G是有限交换群,且 至少含4个素因数,则In(G)是三角图,且 。
最后,我们考虑有限交换群的包含图的完美性。
定理3.6设G是有限交换群。若 至少含3个素因数,则In(G)是完美图。
证明 若 是3个素数的乘积,由推论2.5和引理3.2得知In(G)是完美的。若 至少含4个素因数,则由推论3.5知道In(G)是三角图。而三角图是完美的(见 [16] 的定理9.3.11),故而In(G)是完美的。得证。
致谢
感谢审稿专家提出的宝贵意见。
基金项目
江西省教育厅基金项目GJJ2200841。
文章引用
康富斌,李元林. 交换群的子群包含图的一些性质
Some Properties of Subgroup Inclusion Graph of an Abelian Group[J]. 理论数学, 2023, 13(07): 2120-2124. https://doi.org/10.12677/PM.2023.137219
参考文献
- 1. 徐俊明. 图论及其应用[M]. 合肥: 中国科技大学出版社, 2010.
- 2. 徐明曜. 有限群初步[M]. 北京: 科学出版社, 2014: 17-180.
- 3. Kelarev, A.V., Ryan, J. and Yearwood, J. (2009) Cayley Graphs as Classifiers for Data Mining: The Influence of Asymmetries. Discrete Mathematics, 309, 5360-5369. https://doi.org/10.1016/j.disc.2008.11.030
- 4. Zelinka, T. (1975) Intersection Graphs of Finite Abelian Groups. Czechoslovak Mathematics, 25, 171-174. https://doi.org/10.21136/CMJ.1975.101307
- 5. Bates, C., Bundy, D., Perkins, S. and Rowley, P. (2003) Com-muting Involution Graphs for Symmetric Groups. Journal of Algebra, 266, 133-153. https://doi.org/10.1016/S0021-8693(03)00302-8
- 6. Iiyori, N. and Yamaki, H. (1991) Prime Graph Components of the Simple Groups of Lie Type over the Field of Even Characteristic. Proceedings of the Japan Academy Series A—Mathematical Sciences, 6, 82-83. https://doi.org/10.3792/pjaa.67.82
- 7. Devi, P. and Rajkumar, R. (2016) Inclusion Graph of Subgroups of a Group. https://arxiv.org/abs/1604.08259v1
- 8. Ou, S., Wong, D. and Wang, Z. (2020) Diameters and Automorphism Groups of Inclusion Graphs over Nilpotent Groups. Journal of Algebra and Its Applications, 19, Article ID: 2050097. https://doi.org/10.1142/S0219498820500978
- 9. Ou, S., Wong, D. and Liu, H. (2020) Planarity and Fixing Number of Inclusion Graph of a Nilpotent Group. Journal of Algebra and Its Applications, 19, Article ID: 2150001. https://doi.org/10.1142/S0219498821500018
- 10. Das, A. (2016) Subspace Inclusion Graph of a Vector Space. Communications in Algebra, 44, 4724-4731. https://doi.org/10.1080/00927872.2015.1110588
- 11. Das, A. (2018) Onsubspace Inclusion Graph of a Vector Space. Linear and Multilinear Algebra, 66, 554-564. https://doi.org/10.1080/03081087.2017.1306016
- 12. Ma, X. and Wang, D. (2018) Independence Number of Subspace Inclusion Graph and Subspace Sum Graph of a Vector Space. Linear and Multilinear Algebra, 66, 2430-2437. https://doi.org/10.1080/03081087.2017.1398709
- 13. Wong, D., Wang, X. and Xia, C. (2018) On Two Conjectures on the Subspace Inclusion Graph of a Vector Space. Journal of Algebra and Its Applications, 17, Article ID: 1850189. https://doi.org/10.1142/S021949881850189X
- 14. Wang, X. and Wong, D. (2019) Automorphism Group of Subspace Inclusion Graph of a Vector Space. Bulletin of Malaysian Mathematical Sciences Society, 42, 2213-2224. https://doi.org/10.1007/s40840-017-0597-2
- 15. Cameron, P., Das, A. and Dey, H. (2022) On Some Properties of Vector Space Based Graphs. Linear and Multilinear Algebra. https://doi.org/10.1080/03081087.2022.2121370
- 16. Balakrishnan, R. and Ranganthan, K. (2012) A Textbook of Graph Theory. 2nd Edition, Springer Science + Business Media, New York, 209-211. https://doi.org/10.1007/978-1-4614-4529-6
NOTES
*通讯作者。