西南师范大学学报(自然科学版)   2019, Vol. 44 Issue (10): 8-10.  DOI: 10.13718/j.cnki.xsxb.2019.10.003
0
Article Options
  • PDF
  • Abstract
  • Figures
  • References
  • 扩展功能
    Email Alert
    RSS
    本文作者相关文章
    黄宇
    周伟
    欢迎关注西南大学期刊社
     

  • Sylow 2-子群可补的有限群    [PDF全文]
    黄宇 , 周伟     
    西南大学 数学与统计学院, 重庆 400715
    摘要:设G是有限群,HG.如果G中存在子群KG满足G=KH,且HK=1,那么称HG中可补.通过研究G的Sylow 2-子群的可补性,证明了:设G为有限群,|G|=2at,(2,t)=1,若G的Sylow 2-子群可补且GPSL2pr)-自由的,pr=2a-1,其中p为素数,r为正整数,则G可解.
    关键词可补子群    可解    Sylow子群    

    本文所讨论的群都是有限群,其它符号都是标准的(见文献[1-2]).

    G是有限群,HG.如果G中存在子群KG,满足G=KH,且HK=1,那么称HG中可补.研究子群的可补性对有限群结构和性质的影响是群论研究中十分重要的课题.文献[3]证明了G可解当且仅当G的所有Sylow子群在G中可补.文献[4]证明了G可解当且仅当G的Sylow 2-子群和Sylow 3-子群在G中可补.其它相关研究见文献[5-10].由此可见,G的Sylow 2-子群可补对G的可解性有重要影响.但是由PSL2(7)知道:Sylow 2-子群可补一般不能得到可解性.本文得到:设G为有限群,若G的Sylow 2-子群交换且可补,则G可解.由于G的每个Sylow 2-子群交换,我们对条件进行弱化,证明了:设G为有限群,|G|=2at,(2,t)=1,若G的Sylow 2-子群可补且GPSL2(pr)-自由的,pr=2a-1,其中p为素数,r为正整数,则G可解.

    引理1[11]  设r是素数,

    (ⅰ) SL2(pf)的Sylow r-子群,当2≠rp时是循环群;当2=rp时是广义四元数群;当r=p时是初等交换群;

    (ⅱ)当2≠r时,PSL2(pf)的Sylow r-子群同构于SL2(pf)的Sylow r-子群;当2≠p时,PSL2(pf)的Sylow 2-子群是二面体群.

    引理2[11]  设q=pa,则PSL2(q)的子群同构于下列子群:

    (ⅰ)阶为$\frac{{2(q \pm 1)}}{d}$的二面体群,其中d=(2,q±1);

    (ⅱ) $H \le G, |H| = \frac{{q(q - 1)}}{d}, Q \in Syl{ _p}(H)$Q是初等交换群,Q$\underline \triangleleft$HH/Q是循环群,|H/Q|=$\frac{{q - 1}}{d}$

    (ⅲ) A4S4A5

    (ⅳ) PSL2(r),PGL2(r),其中r=ptrm=q.

    引理3[12]  设G是有限非交换单群,HG,且|G:H|=pap是素数.则下列情况之一成立:

    (ⅰ) G$\cong$AnH$\cong$An-1,其中n=pa

    (ⅱ) G$\cong$PSLn(q),|G:H|=qn-1q-1=pa,其中n是素数;

    (ⅲ) G$\cong$PSL2(11),H$\cong$A5

    (ⅳ) G$\cong$M23H$\cong$M22G$\cong$M11H$\cong$M10

    (ⅴ) G$\cong$PSU4(2),|G:H|=27.

    由引理1及引理3,我们可得:

    定理1  设G为有限群,若G的Sylow 2-子群交换且可补,则G可解.

      对|G|归纳.由假设,令P2∈Syl2(G),存在HG,有

    $ G = {P_2}H\;\;\;\;\;\;{P_2} \cap H = 1 $

    其中HG的Hall 2′-子群.

    G为交换单群时,显然G可解.下面说明当G不是交换单群时,G非单群.

    假设G为非交换单群,由引理3及HG的Hall 2′-子群,只需验证引理3的情况(ⅱ).此时

    $ G \cong PS{L_n}(q)\;\;\;\;\;|G:H| = \frac{{{q^n} - 1}}{{q - 1}} = {2^a} $

    其中n是素数.由于$\frac{{{q^n} - 1}}{{q - 1}} = {2^a}$,则

    $ {2^a}(q - 1) = {q^n} - 1 \equiv 0(\, \bmod \, 2) $

    于是q≡1(mod 2).又因

    $ {q^{n - 1}} + {q^{n - 2}} + \cdots + q + 1 \equiv 0(\, \bmod \, 2) $

    因此

    $ n = 2\quad G \cong PS{L_2}(q)\quad q + 1 = {2^a} $

    于是,由引理1得G的Sylow 2-子群为二面体群.因此,a=2,q=3,G$\cong$PSL2(3)$\cong$A4,矛盾.

    显然定理条件是商群闭的,令1≠N$\underline \triangleleft$G,于是G/N可解.下证N可解.由于

    $ H/H \cap N \cong HN/N $

    故|N:HN|=|HN:H|等于2的方幂.因此HNN的Hall 2′-子群,P2N∈Syl2(N).从而

    $ N = \left( {{P_2} \cap N} \right)(H \cap N)\quad \left( {{P_2} \cap N} \right) \cap (H \cap N) = 1 $

    显然,N满足定理假设条件,故N可解,因此G可解.

    由于G的每个Sylow 2-子群交换,我们对条件进行了弱化.为此,我们首先给出G的Sylow 2-子群可补时G的结构.

    定理2  设G为非交换单群,其中|G|=2at,(2,t)=1,则G的Sylow 2-子群可补的充分必要条件是G$\cong$PSL2(q),q=2a-1.

      必要性  由假设,存在HG,使得|G:H|=2a.由引理3及H为Hall 2′-子群,我们只需要考虑G$\cong$AnG$\cong$PSLn(q)这两种情况.

    情况1   G$\cong$AnH$\cong$An-1,其中n=2a.由H可解,则n-1≤4.又因G为单群,故n≥5,从而n=5.但这与n=2a矛盾.

    情况2   $G \cong PS{L_n}(q), |G:H| = \frac{{{q^n} - 1}}{{q - 1}} = {2^a}$,其中n是素数.同定理1的证明,易得n=2,q=2a-1.此时,G$\cong$PSL2(q),q=2a-1.

    充分性  若G$\cong$PSL2(q),q=2a-1.由引理2知,存在$HG, |H| = \frac{{q(q - 1)}}{2}$,则

    $ |G:H| = q + 1 = {2^a} $

    从而HG的Hall 2′-子群,故G的Sylow 2-子群可补.

    如果G中不存在截断同构于PSL2(qr),则称GPSL2(pr)-自由的.

    由上面的结论我们知道:当G$\cong$PSL2(q),q=2a-1时,G的Sylow 2-子群可补.但是当q≥4时,PSL2(q)为单群.于是我们得到了下面的结论:

    定理3  设G为有限群,|G|=2at,(2,t)=1.若G的Sylow 2-子群可补,且GPSL2(pr)-自由的,pr=2a-1,其中p为素数,r为正整数,则G可解.

      若G为交换单群,显然G可解.下面说明当G不是交换单群时,G非单群.假设G为非交换单群,由定理2,则G$\cong$PSL2(q),q=2a-1.但GPSL2(q)-自由的,此种情况矛盾.

    显然定理条件是商群闭的,对|G|归纳.令1≠N$\underline \triangleleft$G,于是G/N可解.类似定理1易证N可解.因此G可解.

    参考文献
    [1]
    徐明曜. 有限群导引:上册[M]. 2版. 北京: 科学出版社, 1999: 162-181.
    [2]
    杨子胥. 近世代数[M]. 3版.北京: 高等教育出版社, 2011: 29-120.
    [3]
    HALL P. A Characteristic Property of Soluble Groups[J]. JLond Math Soc, 1937, S1-12(12): 198-200.
    [4]
    ARAD Z, WARD M B. New Criteria for the Solvability of Finite Groups[J]. Journal of Algebra, 1982, 77(1): 234-246. DOI:10.1016/0021-8693(82)90288-5
    [5]
    HELIEL A. A Note on c-Supplemented Subgroups of Finite Groups[J]. Communications in Algebra, 2014, 42(4): 1650-1656. DOI:10.1080/00927872.2012.747599
    [6]
    MIAO L, TANG J P. A New Condition for Solvable Groups[J]. Journal of Pure and Applied Algebra, 2017, 221(10): 2504-2510. DOI:10.1016/j.jpaa.2016.12.035
    [7]
    郭孝军, 郭秀云. 某些素数幂阶子群可补的有限群[J]. 上海大学学报(自然科学版), 2009, 15(4): 369-374. DOI:10.3969/j.issn.1007-2861.2009.04.008
    [8]
    黄宇, 宋科研. 用不可补子群个数刻画单群A5[J]. 西南大学学报(自然科学版), 2018, 40(12): 90-93.
    [9]
    陈梦, 陈贵云. 最高阶元的阶为5及Sylow 2-子群的阶为2, 4, 8时的有限群[J]. 西南大学学报(自然科学版), 2016, 38(12): 52-55.
    [10]
    陈梦, 刘正龙, 陈贵云. 最高阶元的阶为7及Sylow 2-子群的阶为8的有限群的结构[J]. 西南师范大学学报(自然科学版), 2018, 43(12): 22-25.
    [11]
    [德]贝·胡佩特.有限群论: 第一卷[M].姜豪, 俞曙霞, 译.福州: 福建人民出版社, 1992: 221-257.
    [12]
    GURALNICK R M. Subgroups of Prime Power Index in a Simple Group[J]. Journal of Algebra, 1983, 81(2): 304-311. DOI:10.1016/0021-8693(83)90190-4
    On Finite Group with Sylow 2-Subgroup Complemented
    HUANG Yu , ZHOU Wei     
    School of Mathematics and Statistics, Southwest University, Chongqing 400715, China
    Abstract: Let G be a finite group, and H be a subgroup of G. If there exists a subgroup K of G such that G=KH and HK=1, then H is called complemented in G. We get the following results:Let G be a finite group, |G|=2at, (2, t)=1, if Sylow 2-subgroup of G is complemented and G is PSL2(pr)-free, pr=2a-1, where p is prime, r is positive integer, then G is solvable.
    Key words: complemented subgroup    solvable    Sylow subgroup    
    X