关于“p^2q^2阶群的完全分类”一文的注记.pdfVIP

第 46卷第 2期 华 中师范大学学报(自然科学版) Vo1．46 NO．2 2012年 4月 JOURNALOFHUAZHONGN0RMALUNIVERSITY(Nat．Sci．) Apr．2012 文章编号：1ooO一119O(2O12)O2—0137—03 关于 “P2q2阶群的完全分类一文的注记 陈松 良 ，张传军 (贵州师范学院 数学与计算机科学学院，贵阳 550018) 摘 要：设 户，q为奇素数，且 户口，而G是Pg 阶群．如果G是非交换的超可解群且它的Sylow 子群初等交换，那么：1)当q整除(p一1)但 q 不整除(户一1)时，G恰有(q+4)个彼此不同构的类 型；2)当q。整除(一1)时，G恰有(q+3q+lO)／2个彼此不同构的类型．这一结果完善了已有文 献对 p。q。阶有限群 的分类结果． 关键词 ：有 限群 ；同构分类 ；群的表写 中图分类号 ：O152．1 文献标识码 ：A 设 p，q是奇素数 ，p g，而 G是Pq。阶群． 而素数 P的既约剩余系{1，a，a，…，口 }是一个 P 文献E13对 G进行了完全分类．然而，当G是超可 一 1阶循环群a，它恰有一个 q阶子群 (口 ，即 解群且其 Sylowit,-子群是初等交换群时，文献E1] (r，因此存在 k∈ {1，2，…，g一 1)，使得 Cbc— 认为G的每一个p阶子群均是G的正规子群 ，但这 b， ． 又存在 ，z∈ {1，2，…，q一 1)，使得 kn三 1 是不太准确的，因而文献 [1]所得结论是不全面 (modg)．注意到C 也是Q 的生成元 ，且 c-bc”一 的．本文将对此作正确而完整的补充 ，从而真正获 b 一6r，用C代替C，因而可设 C bc—b．总之， 得 pq 阶群的全部构造． 可设G的构造如下 ： 如果没有特别说明，本文 中总设 P是G的一个 G 一 n，b，Cla 一 b 一 C 一 1： Sylowp-子群 ，P初等交换且 P一n，6，Q是G的 [口，6]一Ea，c]，C一bc一6， (1) 一 个 Sylowq-子群．由于P 口，所 以由Sylow定 而 当C (Q)一1时，因为 (口和6都是Q 不变的， 理 (文献E2-1之定理 7．1)得 P G，从而 G—PQ． 所 以G有如下构造 ： 又因为G是非交换超可解群，所以恒有q整除(一 G 一 a，b，CIap：bp= Cq。= 1一 1)．并且可知 P有 P阶Q 不变子群 ，不妨设其为 [口，57，C 一a，cbc：b， (2) (口．又Q是共轭作用在P上 ，且 ({Pf，JQf)= 其 中，i一 1，2，…，q一1．不难证明，在 (2)中G 兰 1，所以由文献[3]之定理 8．4．6知，口在 P中有 GI当且仅 当 不变的补子群．不失一般性 ，设其为6)．此外 ， ／j三 1(modq)． (3) 本文中总设 Ct是素数P的一个确定的原根，并记 r 事实上 ，在 (2)中，若 G兰GJ，i，．『∈ {1，2，…， =a ，如果q整除(户一1)则记 s—a ，显然 口， g一1)，i ，则存在正整数 ，n，，及模q 的最 r，都是素数 P的既约剩余系中一个数． 小正既约剩余系中的k，使得 Im 1 1G 的Sylowq-子群Q是循环群 I I=舢 一