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

  • 具有特殊特征标维数的有限p-群    [PDF全文]
    薛海波 1, 吕恒 2     
    1. 重庆人文科技学院机电与信息工程学院, 重庆 合川 401524;
    2. 西南大学数学与统计学院, 重庆 400715
    摘要:主要研究了特征标维数集合是{1,pm}的有限p-群G,证明了若这类有限p-群G的幂零类大于或者等于3,则|G|≥ p3m+1.特别地,如果G的特征标维数集合与共轭类长度集合都是{1,pm},那么G的幂零类是2且|G|≥ p3m.
    关键词有限p-群    特征标    共轭类    

    有限群的特征标维数集合与有限群的共轭类长度集合都对有限群的结构和性质有密切的影响.文献[1-2]研究了特征标维数集合是cd(G)={1, n}的有限群, 并给出了当群G是非幂零群时的结构的基本刻画;同时当G是幂零群时, 只需要考虑G是有限p-群, 并证明了这类有限p-群的幂零类小于或者等于p.关于cd(G)={1, pm}的有限p-群的分类, 目前还是一个公开的研究问题.

    关于群的元素的共轭类也有类似的研究.文献[3-7]研究了具有特殊共轭类长度集合cs(G)={1, n1, …ns}的有限群G, 并分别给出了共轭类长度集合只有2, 3, 4的群的结构的刻画.即:若|cs(G)|=2, 则G是有限p-群与交换群的直积;若|cs(G)|=3, 则G是有限可解群;若|cs(G)|=4且G是单群, 则G$\cong $PSL(2, 2n).文献[8]进一步研究了满足cs(G)={1, pm}的有限p-群G, 证明了这类群幂零类至多是3.文献[9]证明了任意有限群其所有的非单位元中共轭类长度最小的元生成的子群幂零类至多为3.

    本文先考虑特征标维数集合cd(G)={1, pm}的有限p-群, 给出了满足这类条件的, 且幂零类大于等于3的群的阶的下界是p3m+1, 同时还对特征标维数集合和共轭类长度集合是一样的有限p-群进行了简单研究, 证明了若有限p-群的特征标维数集合和共轭类长度集合都是{1, pm}时, 其幂零类为2, 且阶大于或者等于p3m.

    引理1[6]  设群G是有限p-群且|G′|=p.则G=(A1*A2*…*As)Z(G), 其中*表示中心积, A1, …, As是内交换p-群.

    定理1  设G是有限非交换p-群, 满足cd(G)={1, pm}.若G的幂零类大于或者等于3, 则|G|≥p3m+1.

      取群G的正规子群N, 使得N包含在G′中, 且|G′:N|=p.由于cd(G/N)={1, pm}, 于是|G/N:Z(G/N)|= p2m, 进而可得|G:G′|≥p2m.

    下面证明|G′/K3(G)|≥pm.若不然, 假设|G′|≤pm.由文献[1]可得G′/K3(G)是初等交换p-子群.因此存在M是群G的正规子群, 使得MG′且满足|K3(G/M)|=p.由此可得

    $ {{K}_{3}}(G/M)\le Z(G/M) $

    同时对任意x∈(G/M)′-K3(G/M), xZ(G/M).因此不妨假设群满足

    $ \left| {{K}_{3}}(G) \right|=p~\ \ \ \ \ \ \ {{G}^{'}} \cap Z(G)={{K}_{3}}(G) $

    对任意xiG′-K3(G), 易得〈xi, K3(G)〉=Ki是阶为p2的正规子群, 进而可得|G:CG(Ki)|=p.假设|G′|=ps, 于是可以得到|G:CG(G′)|≤ps-1.设yG-CG(G′), 令子群C=CG(y).则T=CG′是G′的真子群, 且|T|≤pm-1.易得K3(G)≤T, 因此T$\unlhd$G.又因

    $ C{{G}^{'}} /T\cong C/T\times {{G}^{'}} /T $

    由于CG′/G$\cong $C/T, 故该群是交换群.又根据假设, G的幂零类是3, 即G′是交换群.于是可得CG′/T是群G/T的交换正规子群.

    G′是交换子群可知yG-G′.由于商群G/N满足|(G/N)′|=p, 则由引理1可得

    $ \left| {{C}_{G/N}}\left( yN \right) \right|={{p}^{-1}}\left| G/N \right|\text{=}\left| G/{{G}^{'}} \right| $

    又由文献[7]的推论2.24可得

    $ \left| C \right|=\left| {{C}_{G}}\left( y \right) \right|\ge \left| {{C}_{G/N}}\left( yN \right) \right|\text{=}\left| G/{{G}^{'}} \right| $

    因此有

    $ \left| G/T:C{{G}^{'}} /T \right|=\left( \left| G \right|/\left| {{G}^{'}} \right| \right)\left( \left| T \right|/\left| C \right| \right)\le \left| T \right|<{{p}^{m}} $

    G/T是非交换群, 且cd(G/T)={1, pm}, 因此由文献[7]的定理6.15可得G/T不存在指数小于pm的交换正规子群, 矛盾.故|G′/K3(G)|≥pm, 进而|G|≥p3m+1.

    定理1取得的结果也许还可以更进一步.文献[2]已经证明了特征标维数集合是cd(G)={1, pm}的有限p-群, 其幂零类小于等于p.因此我们有猜测:

    猜测1  若有限p-群G的幂零类cp且cd(G)={1, pm}, 是否|G|≥pcm+1?

    下面我们研究特征标维数集合与元素的共轭类长度集合都是{1, pm}的有限p-群.

    引理2  设群G是有限p-群, 且满足

    $ \text{cd}(G)=\text{cs}(G)=\left\{ 1, \text{ }{{p}^{{{n}_{1}}}}, \text{ }{{p}^{{{n}_{2}}}}, \text{ }\cdots , \text{ }{{p}^{{{n}_{s}}}} \right\} $

    其中n1n2<…<ns.令子群

    $ M=\left\langle x\in G\left\| G:{{C}_{G}}\left( x \right)|={{p}^{{{n}_{1}}}} \right. \right\rangle $

    M的幂零类至多是2.

      对任意xG-Z(G)且|G:CG(x)|=pn1, 令子群H=CG(x).因此H的主特征标在群G的诱导特征标满足

    $ \left[ {1}_{G}, \text{ }{{({{1}_{H}})}^{G}} \right]=\left[ {{({1}_{G})}_{H}}, \text{ }{{1}_{H}} \right]=1 $

    又因

    $ {{({{1}_{H}})}^{G}}\left( 1 \right)=\left| G:H \right|={{p}^{m}} $

    于是可得(1H)G的不可约成分都是群G的线性特征标.故G′<Ker(1H)G.又因

    $ \text{Ker}{{({{1}_{H}})}^{G}}={{\cap }_{x\in G}}{{H}^{x}}={{H}_{G}} $

    从而可得G′≤H.于是由x的任意性可得

    $ [{{G}^{'}} , \text{ }M]=1 $

    因此[M′, M]=1, 即M的幂零类是2.

    定理2  设G是有限非交换p-群, cd(G)={1, pm}=cs(G).则G的幂零类等于2, 且|G|≥p3m.

      显然G=MZ(G), 其中M是非中心的元生成的正规子群.由引理2, G的幂零类是2.又由文献[2]可知G′是初等交换子群.因为|G:H|=pm, 则可得|[〈x〉, G]|≥pm.于是|G′|≥pm, 故|G|≥p3m.

    本文只得到定理2这种特殊情况.对于一般情况, 我们也有如下猜测:

    猜测2  设群G是有限p-群, 且满足cd(G)=cs(G)={1, pn1, pn2, …, pns}, 其中n1n2<…<ns.是否G的幂零类至多是s+1?

    例如有下面的简单群例:

    例1  群G=〈a, b|ap3=bp2=1, ab=a1+p〉.易得cd(G)=cs(G)={1, p, p2}, 且G的幂零类是3.

    参考文献
    [1]
    ISAACS I M, PASSMAN D S. A Characterization of Groups in Terms of the Degrees of Their Characters[J]. Pacific J Math, 1965, 15: 877-903. DOI:10.2140/pjm.1965.15.877
    [2]
    ISAACS I M, PASSMAN D S. A Characterization of Groups in Terms of the Degrees of Their Characters Ⅱ[J]. Pacific J Math, 1968, 24: 467-510. DOI:10.2140/pjm.1968.24.467
    [3]
    ITO N. On Finite Groups with Given Conjugate Types Ⅰ[J]. Nagoya Math J, 1953(6): 17-28.
    [4]
    ITO N. On Finite Groups with Given Conjugate Types Ⅱ[J]. Osaka J Math, 1970(7): 231-251.
    [5]
    ITO N. On Finite Groups with Given Conjugate Types Ⅲ[J]. Math Z, 1970, 117: 267-271. DOI:10.1007/BF01109847
    [6]
    BERKOVICH Y. Groups of Prime Power Order(Vol. 1)[M]. Berlin: Walter de Gruyter, 2008.
    [7]
    ISAACS I M. Character Theory of Finite Groups[M]. New York: Dover, 1994.
    [8]
    ISHIKAWA K. On Finite p-Groups which Have Only Two Conjugacy Lengths[J]. Israel J Math, 2002, 129(1): 119-123. DOI:10.1007/BF02773158
    [9]
    MANN A. Elements of Minimal Breadth in Finite p-Groups and Lie Algebras[J]. J Aust Math Soc, 2006, 81(2): 209-214. DOI:10.1017/S1446788700015834
    Finite p-Groups with Special Degrees of Character
    XUE Hai-bo 1, LÜ Heng 2     
    1. College of Electromechanical and Information Engineering, Chongqing College of Humanities, Science and Technology, Hechuan Chongqing 401524, China;
    2. School of Mathematics and Statistics, Southwest University, Chongqing 400715, China
    Abstract: In this paper, we study a finite p-groups with cd(G)={1, pm}. We prove that|G| ≥ p3m+1 if the nilpotent class of G is greater than 2. Especially, if cd(G)={1, pm}=cs(G), then the nilpotent class of G is 2 and|G| ≥ p3m.
    Key words: finite p-group    character    conjugacy classes    
    X