-
对有限群G,用c(G)表示G的循环子群的个数[1]. 循环子群的个数对于群的结构是有一定影响的. 显然c(G)=|G|当且仅当G是初等Abel 2-群. 文献[2-6]分类了|G|-c(G)≤5的群.
文献[2]证明了c(G)=|G|-1当且仅当G≌C3,C4,S3,D8.
文献[3]证明了c(G)=|G|-2当且仅当G≌C6,C2×C4,D12,C2×D8.
文献[4]证明了c(G)=|G|-3当且仅当G≌Q8,C5,D10.
文献[5]证明了c(G)=|G|-4当且仅当G≌C4×C2×C2,C2×C2×D8,(C2×C2)
$ \rtimes $ C4,Q8$ \rtimes $ C2,C3×C3,(C3×C3)$ \rtimes $ C2,A4,C6×C2,C2×C2×S3,C8,D16.文献[6]证明了c(G)=|G|-5当且仅当G≌C7,D14,C3
$ \rtimes $ C4.文献[7]证明了对任意有限群G,有|G|≤8(|G|-c(G)),并分类了1≤ |G|-c(G)≤32的群结构.
还有很多学者用交换子群的个数和最高阶元的个数来研究群的结构,参见文献[8-11].
文献[1, 12-13]研究了α(G)=
$\frac{c(G)}{|G|} $ 对于群的性质和结构的影响. 其中文献[1]对α(G)>$\frac{3}{4} $ 的群进行了分类. 文献[12]证明了α(G)=34的有限幂零群是2-群. 文献[13]证明了α(G)≤α(Z(G)),等式成立当且仅当G≌G1×G2,其中G1=Ω1(G1)Z(G1),G2是奇数阶交换群.本文证明了G≌A5当且仅当|G|=60,且c(G)=32.
引理1 [1] 设G是有限群,若G=G1×G2×…×Gn,其中(|Gi|,|Gj|)=1,i≠j,则
引理2 [12]设G是有限群,c(G)是G的循环子群的个数,则c(G)=
$\sum_{x \in G} \frac{1}{\varphi(o(x))} $ ,其中φ是Euler函数.引理3 [14] 设S是群,H,G≤S,H∩G=1,且H≤NS(G),则H在G上的共轭作用是H在G上的一个作用,且H/CH(G)
$ \lesssim $ Aut(G).引理4 [15] 设φ是群G到G1的一个同态,则N=Ker φ
$ \trianglelefteq $ G,且G/N$ \lesssim $ G1.本文所涉及的群都是有限群,所用符号都是标准的.
引理5 若|G|=p2qr,其中p,q,r是不同的素数,则G是可解群或60阶交错群A5.
证 设G不可解. 若G非单,则G有非平凡正规子群N,
从而N和G/N可解,G可解,矛盾. 故G是单群. 由于|G|的最小质因子不含3次方,则12||G|,所以
从而有r=5或r=11. 如果r=11,由于G是单群,所以G有12个Sylow 11-子群,从而有120个11阶元. G至少有4个Sylow 3-子群,所以至少有8个3阶元,且
所以G只有1个Sylow 2-子群,矛盾. 故
又因G是单群,由文献[16],有G≌A5.
定理1 G≌A5当且仅当|G|=60,且c(G)=32.
证 充分性显然,下证必要性.
由引理5知,只需证G不可解.
假设G可解. 则G有极小正规子群N,且N为初等Abel p-群. 因为
所以|N|∈{2,3,4,5}. 设P2∈Syl2(G),P3∈Syl3(G),P5∈Syl5(G).
下证G的Sylow 5-子群正规. 由Sylow定理知,G有1个或6个Sylow 5-子群. 若G有6个Sylow 5-子群,则|N|≠5,从而|N|∈{2,3,4}.
如果|N|=3,则G有3-补,设为H1,|H1|=20. H1中有1个Sylow 5-子群,所以P5
$ \trianglelefteq $ H1. 从而即G的Sylow 5-子群个数为1,矛盾.
如果|N|=4,同理,矛盾于G的Sylow 5-子群的个数为6.
如果|N|=2,则G有2-补,设为H2,|H2|=30.
由Sylow定理知H2中有1个或6个Sylow 5-子群. 若H2中有6个Sylow 5-子群,则H2中有24个5阶元. 又由Sylow定理知H2中有1个或10个Sylow 3-子群. 若H2中有1个Sylow 3-子群,令P5作用在P3上知,P5与P3可交换,所以P3P5≤G,即G中有15阶循环子群. 15阶循环子群的生成元个数为8,所以H2中至少有8个15阶元. 从而|H2|≥33,矛盾. 若H2有10个Sylow 3-子群,则H2中有20个3阶元,所以|H2|≥45,矛盾. 从而任一30阶群中只有1个Sylow 5-子群,即P5
$ \trianglelefteq $ H2. 所以矛盾. 综上所述,G只有1个Sylow 5-子群,即P5
$ \trianglelefteq $ G.下证G的Sylow 3-子群正规. 由P5
$ \trianglelefteq $ G知,P3P5≤G,即G中存在15阶循环子群,且对G的任一15阶循环子群H,都有P5$ \trianglelefteq $ H. |G/P5|=12,所以H/P5是G/P5的Sylow 3-子群. 由Sylow定理知,G有1个、4个或10个Sylow 3-子群.若G有10个Sylow 3-子群,则G/P5中有10个Sylow 3-子群. 根据引理4,G中有10个15阶循环子群,从而有80个15阶元,矛盾于|G|=60.
若G中有4个Sylow 3-子群,同理G/P5中有4个Sylow 3-子群. 由引理4,G中有4个15阶循环子群,从而有32个15阶元. 令M是G中1阶元、3阶元、5阶元、15阶元之集合,则|M|=45,且对∀x∈G\M,有φ(o(x))≥1,所以
由引理2,
由条件c(G)=32,矛盾. 从而G只有1个Sylow 3-子群,即P3
$ \trianglelefteq $ G.由G可解知,G的所有Hall子群共轭. 因为P3P5是G的Hall子群,且
所以G中只有1个15阶循环子群. 下面用nk表示G的k阶循环子群的个数. 因此
显然
则
若n60=1,则G为循环群,c(G)=12,矛盾. 从而
下面继续讨论G的Sylow 2-子群的个数.
情形1 G有1个Sylow 2-子群.
若P2=C4,则G=C4×C3×C5=C60为循环群,c(G)=12,矛盾.
若P2=C2×C2,则
由引理1知
则c(G)=16,矛盾.
情形2 G有3个Sylow 2-子群.
若P2=C4,则n4=3,从而G中至多有3个2阶元,即n2≤3. 令M是G中1阶元、2阶元、3阶元、4阶元、5阶元、15阶元之集合. 若n2=3,则|M|=24,且对∀x∈G\M,有
所以
从而由引理2,c(G)≤28,矛盾于c(G)=32. 若n2=1,则|M|=22,同理,c(G)≤27,矛盾.
若P2=C2×C2,则n4=0,G中至多有9个2阶元.
令M是G中1阶元、2阶元、3阶元、5阶元、15阶元之集合. 同理,有c(G)≤31,矛盾.
情形3 G有5个Sylow 2-子群.
若P2=C4,则n4=5,从而G中有10个4阶元,至多5个2阶元,即n2≤5. 令M是G中1阶元、2阶元、3阶元、4阶元、5阶元、15阶元之集合. 若n2=5,则|M|=30,且对∀x∈G\M,有
从而由引理2知,c(G)≤29,矛盾. 同理,若n2=3,则|M|=28,从而c(G)≤28,矛盾. 若n2=1,则c(G)≤27,矛盾.
若P2=C2×C2,则n4=0. 因为
所以
从而
所以i,j∈{1,4,11,14}. 由G非交换,则i,j不能同时为1. 从而G有以下4种类型:
矛盾.
情形4 G有15个Sylow 2-子群.
若P2=C4,则n4=15,所以|NG(P2)|=4,从而P2=NG(P2). 由(1)式有
故
令
因为n12=0,即G中没有12阶元,所以P2作用在P3上非平凡,从而
所以
因为G中没有20阶元,所以P2作用在P5上非平凡,从而i=2,3,4.
若i=2,则
此时G/P3中有5个2阶元,从而有5个2阶循环子群. 设K/P3=〈x〉是G/P3的任一2阶循环子群. 因为P2在P3上的作用为逆变换,即ba=b-1,x是P2中的2阶元,x=a2,所以bx=ba2=b,即〈x〉作用在P3上平凡. 从而
由于G/P3中有5个2阶循环子群,所以G中至少有5个6阶循环子群,矛盾于n6=2.
若i=3,同理,矛盾.
若i=4,则
此时G/P3中有10阶元,从而有10阶循环子群. 设J/P3=〈y〉是G/P3的任一10阶循环子群. 则|J|=30. 由30阶群分类知,矛盾. 若P2=C2×C2,与情形3同理,矛盾.
综上所述,G不可解. 由引理5,G≌A5.
Charactering of Simple Group A5 by the Number of Cyclic Subgroups
-
摘要: 对有限群G, 用c(G)表示G中循环子群的个数.研究了循环子群的个数对群结构的影响, 证明了60阶群G与交错群A5同构的充要条件是c(G)=32.Abstract: Let G be a finite group, c(G) is the number of cyclic subgroups of G. it is proved that if the order of group G is 60, then G≌A5 if and only if c(G)=32 by studying the influence of the number of cyclic subgroups on the group structure.
-
Key words:
- cyclic subgroup /
- the order of group /
- Sylow subgroup .
-
-
[1] GARONZI M, LIMA I. On the Number of Cyclic Subgroups of a Finite Group [J]. Bulletin of the Brazilian Mathematical Society, New Series, 2018, 49(3): 515-530. doi: 10.1007/s00574-018-0068-x [2] TǍRNǍUCEANU M. Finite Groups with a Certain Number of Cyclic Subgroups [J]. The American Mathematical Monthly, 2015, 122(3): 275-276. doi: 10.4169/amer.math.monthly.122.03.275 [3] TǍRNǍUCEANU M. Finite Groups with a Certain Number of Cyclic Subgroups Ⅱ [J]. Acta Universitatis Sapientiae Mathematica, 2018, 10(2): 375-377. doi: 10.2478/ausm-2018-0029 [4] SONG K, ZHOU W. On The Number of Cyclic Subgroups in Finite Groups [J]. Italian Journal of Pure and Applied Mathematics, 2019, 41: 593-596. [5] 姜富铭, 周伟. 具有特殊循环子群个数的有限群[J]. 西南师范大学学报(自然科学版), 2019, 44(2): 14-17. doi: http://xbgjxt.swu.edu.cn/article/doi/10.13718/j.cnki.xsxb.2019.02.004 [6] BELSHOFF R, DILLSTROM J, REID L. Finite Groups with a Prescribed Number of Cyclic Subgroups [J]. Communications in Algebra, 2019, 47(3): 1043-1056. doi: 10.1080/00927872.2018.1499923 [7] BELSHOFF R, DILLSTROM J, REID L. Addendum to "Finite Groups with a Prescribed Number of Cyclic Subgroups" [J]. Communications in Algebra, 2019, 47(10): 3939-3940. doi: 10.1080/00927872.2019.1572172 [8] 钱焱, 陈贵云. 用交换子群的个数刻画A5和S5[J]. 西南师范大学学报(自然科学版), 2020, 45(6): 5-8. doi: http://xbgjxt.swu.edu.cn/article/doi/10.13718/j.cnki.xsxb.2020.06.002 [9] 钱焱, 陈贵云. 同阶交换子群个数之集为{1, 3}的有限群[J]. 西南大学学报(自然科学版), 2021, 43(10): 100-104. doi: https://www.cnki.com.cn/Article/CJFDTOTAL-XNND202110013.htm [10] 郭红如, 吕恒. 可以表示成3个或4个交换子群并的群[J]. 西南大学学报(自然科学版), 2017, 39(8): 97-100. doi: https://www.cnki.com.cn/Article/CJFDTOTAL-XNND201708014.htm [11] 雷倩, 何立官. 关于Conway单群和Fischer单群的刻画[J]. 西南大学学报(自然科学版), 2020, 42(10): 96-100. doi: https://www.cnki.com.cn/Article/CJFDTOTAL-XNND202010012.htm [12] TǍRNǍUCEANU M, LAZOREC M S. A Note on the Number of Cyclic Subgroups of a Finite Group [EB/OL]. 2018: arxiv: 1805.00301[2021-12-25]. https://arxiv.org/abs/1805.00301. [13] TǍRNǍUCEANU M. A Result on the Number of Cyclic Subgroups of a Finite Group [J]. Proceedings of the Japan Academy Series A Mathematical Sciences, 2020, 96(10): 93-94. [14] 徐明曜. 有限群初步[M]. 北京: 科学出版社, 2012. [15] 杨子胥. 近世代数[M]. 3版. 北京: 高等教育出版社, 2011. [16] 施武杰. A5的一个特征性质[J]. 西南师范大学学报(自然科学版), 1986, 11(3): 11-14. doi: https://www.cnki.com.cn/Article/CJFDTOTAL-XNZK198603001.htm -
计量
- 文章访问数: 680
- HTML全文浏览数: 680
- PDF下载数: 134
- 施引文献: 0