4p^2阶群的g函数值.pdfVIP

2010年 1月 重庆师范大学学报 (自然科学版) Jan．2010 第27卷 第 1期 JournalofChongqingNormalUniversity(NaturalScience) Vo1．27 No．1 DOI：10．3969／J．ISSN．1672—6693．2010．01．01l 4P2阶群的g函数值 张 宁，曹洪平 (西南大学 数学与统计学院，重庆 400715) 摘要：对任一有限群G和任一正整数d，令G(d)={∈G =1}。若G。与G为有限群，满足 lG(d)1= IG(d)l， d=1，2，…，则称G 与G 为同阶型群。文中讨论了与Thompson猜想相关的同阶型群的问题，两个有限群阶型相同是 否同构的问题，并且对有限群G，定义了G的g函数值g(G)，表示与群G的阶型相同的有限群的同构类类数。本文利 用4p2阶群的结构完全分类，通过计算得出所有 阶群的阶型，对任一4p。阶群 ，得出了 的g函数值。特别地，在 阶群中找到了一对群，它们的g函数值为2，即阶为4p 的群中存在一对不同构的群，它们阶型相同．这里P为奇素数。 关键词 ：有限群 ；阶型；g函数值 中图分类号：O152．1 文献标识码：A 文章编号：1672—6693(2010)01—00053—04 对任一有限群G和任一正整数d，令G(d)= { ∈G =1}。若G与G为有限群，满足 1G(d)l= lG(d)l，d=1，2，…，则称G与G为同阶型群。设G为有限群，用Ot(G)表G中k阶元的个数，简记为 ， 其中k为正整数，且kllG1．称P(G)=( 一， 一，)为G的阶型¨ 。关于同阶型群，J．G．Thompson 提出了一个著名的猜想。 猜想 设 G 与 G 为同阶型的有限群 ，若 G 可解 ，则 G 一定可解。 研究中发现很多群可由其阶型唯一确定，给定有限群 ，用g(M)表示满足P(G)=P(M)的有限群G的 同构类类数，称 g(M)为 的g函数值。对很多的有限群 ，有g(M)=1，如由文献[6]可知，当 为23p阶 群时，g(M)=1，也有 满足g(M)=2，如在P阶群中，当 为P阶初等交换群，P为奇素数时，g(M)=2。 本文利用4p (P为奇素数)阶群的分类，给出了所有4p阶群的阶型，对任一4p阶群 ，得出了g(M)的 值。特别地，在4p阶群中找到了一对群，它们的g函数值为2。 14p(P3)阶群的g函数值 引理 1 设素数 (P3)，则4p 阶群 G， 1)在P=1(mod4)时，有 16个，其构造如下 ① G = (0)，n =1(循环群)； ② G2=(0，b)，。 =1：b，b-ab=0-。； ③ G =(Ⅱ，b)，0 =1=b，b一ab=0，其中r=一1(roodP)； ④ G =(。)×(b)×(c)，o =b =c=1(交换群)； ⑤ G5=(。，b，c)，口 =b =c =1=[。，b]= [6，c]，c-1a,C=口～； ⑥ G =(0)×(b)×(c)×(g)， =b=c=g。=1(交换群)； ⑦ G7=(。，b，c，g)，口=b=c=g =1=[0，b]=[c，g]=[n，c]=[b，c]，g-1ag=。一，g～bg：6～； ⑧ G8=(0，b，c,g)， =b =c=g =1=[，b]：[c，g]=[0，c]=[6，c]，g-1ag：b，g1bg=n； ⑨ G9=(。，b，c，g)，CLp= =c=g2=1=[n，b]=[c,g]，c-10c=0～，c-1bc=b_。，g-1ag=b,g～bg=0； 收稿 日期 ：2009—03-11 修改 日期 ：2009—04—05 资助项 目：国家 自然科学基金 (No 作者简介 ：张宁，女，硕士研究生，研究方 向为有限群 ；通讯作者：曹洪平 ，E—mail：caohp@SWH．edu．en 54 重庆师范大学学报(自然科学版) http：／