留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

用循环子群的个数刻画单群A5

上一篇

下一篇

林子靖, 仝巍, 周伟. 用循环子群的个数刻画单群A5[J]. 西南师范大学学报(自然科学版), 2022, 47(9): 5-9. doi: 10.13718/j.cnki.xsxb.2022.09.002
引用本文: 林子靖, 仝巍, 周伟. 用循环子群的个数刻画单群A5[J]. 西南师范大学学报(自然科学版), 2022, 47(9): 5-9. doi: 10.13718/j.cnki.xsxb.2022.09.002
LIN Zijing, TONG Wei, ZHOU Wei. Charactering of Simple Group A5 by the Number of Cyclic Subgroups[J]. Journal of Southwest China Normal University(Natural Science Edition), 2022, 47(9): 5-9. doi: 10.13718/j.cnki.xsxb.2022.09.002
Citation: LIN Zijing, TONG Wei, ZHOU Wei. Charactering of Simple Group A5 by the Number of Cyclic Subgroups[J]. Journal of Southwest China Normal University(Natural Science Edition), 2022, 47(9): 5-9. doi: 10.13718/j.cnki.xsxb.2022.09.002

用循环子群的个数刻画单群A5

  • 基金项目: 国家自然科学基金项目(11971391)
详细信息
    作者简介:

    林子靖, 硕士研究生, 主要从事群论的研究 .

    通讯作者: 周伟, 副教授
  • 中图分类号: O152.1

Charactering of Simple Group A5 by the Number of Cyclic Subgroups

  • 摘要: 对有限群G, 用c(G)表示G中循环子群的个数.研究了循环子群的个数对群结构的影响, 证明了60阶群G与交错群A5同构的充要条件是c(G)=32.
  • 加载中
  • [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] 钱焱, 陈贵云. 用交换子群的个数刻画A5S5[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
出版历程
  • 收稿日期:  2022-01-06
  • 刊出日期:  2022-09-20

用循环子群的个数刻画单群A5

    通讯作者: 周伟, 副教授
    作者简介: 林子靖, 硕士研究生, 主要从事群论的研究
  • 西南大学数学与统计学院, 重庆 400715
基金项目:  国家自然科学基金项目(11971391)

摘要: 对有限群G, 用c(G)表示G中循环子群的个数.研究了循环子群的个数对群结构的影响, 证明了60阶群G与交错群A5同构的充要条件是c(G)=32.

English Abstract

  • 对有限群G,用c(G)表示G的循环子群的个数[1]. 循环子群的个数对于群的结构是有一定影响的. 显然c(G)=|G|当且仅当G是初等Abel 2-群. 文献[2-6]分类了|G|-c(G)≤5的群.

    文献[2]证明了c(G)=|G|-1当且仅当GC3C4S3D8.

    文献[3]证明了c(G)=|G|-2当且仅当GC6C2×C4D12C2×D8.

    文献[4]证明了c(G)=|G|-3当且仅当GQ8C5D10.

    文献[5]证明了c(G)=|G|-4当且仅当GC4×C2×C2C2×C2×D8,(C2×C2)$ \rtimes $C4Q8$ \rtimes $C2C3×C3,(C3×C3)$ \rtimes $C2A4C6×C2C2×C2×S3C8D16.

    文献[6]证明了c(G)=|G|-5当且仅当GC7D14C3$ \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)),等式成立当且仅当GG1×G2,其中G1=Ω1(G1)Z(G1),G2是奇数阶交换群.

    本文证明了GA5当且仅当|G|=60,且c(G)=32.

    引理1  [1]   设G是有限群,若G=G1×G2×…×Gn,其中(|Gi|,|Gj|)=1,ij,则

    引理2  [12]G是有限群,c(G)是G的循环子群的个数,则c(G)=$\sum_{x \in G} \frac{1}{\varphi(o(x))} $,其中φ是Euler函数.

    引理3  [14]   设S是群,HGSHG=1,且HNS(G),则HG上的共轭作用是HG上的一个作用,且H/CH(G)$ \lesssim $Aut(G).

    引理4  [15]   设φ是群GG1的一个同态,则N=Ker φ $ \trianglelefteq $G,且G/N$ \lesssim $G1.

    本文所涉及的群都是有限群,所用符号都是标准的.

    引理5   若|G|=p2qr,其中pqr是不同的素数,则G是可解群或60阶交错群A5.

       设G不可解. 若G非单,则G有非平凡正规子群N

    从而NG/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],有GA5.

    定理1   GA5当且仅当|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上知,P5P3可交换,所以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知,P3P5G,即G中存在15阶循环子群,且对G的任一15阶循环子群H,都有P5$ \trianglelefteq $H. |G/P5|=12,所以H/P5G/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阶元. 令MG中1阶元、3阶元、5阶元、15阶元之集合,则|M|=45,且对∀xG\M,有φ(o(x))≥1,所以

    由引理2,

    由条件c(G)=32,矛盾. 从而G只有1个Sylow 3-子群,即P3$ \trianglelefteq $G.

    G可解知,G的所有Hall子群共轭. 因为P3P5G的Hall子群,且

    所以G中只有1个15阶循环子群. 下面用nk表示Gk阶循环子群的个数. 因此

    显然

    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. 令MG中1阶元、2阶元、3阶元、4阶元、5阶元、15阶元之集合. 若n2=3,则|M|=24,且对∀xG\M,有

    所以

    从而由引理2,c(G)≤28,矛盾于c(G)=32. 若n2=1,则|M|=22,同理,c(G)≤27,矛盾.

    P2=C2×C2,则n4=0,G中至多有9个2阶元.

    MG中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,且对∀xG\M,有

    从而由引理2知,c(G)≤29,矛盾. 同理,若n2=3,则|M|=28,从而c(G)≤28,矛盾. 若n2=1,则c(G)≤27,矛盾.

    P2=C2×C2,则n4=0. 因为

    所以

    从而

    所以ij∈{1,4,11,14}. 由G非交换,则ij不能同时为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阶循环子群. 因为P2P3上的作用为逆变换,即ba=b-1xP2中的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,GA5.

参考文献 (16)

目录

/

返回文章
返回