论Sylow 2-子群是循环群的8p^3阶群的完全分类.pdfVIP

第3O卷 第 l2期 贵州师范学院学报 V01．30．No．12 2014年 12月 JournalofGuizhouNormalCoHege Dec．2014 论 Sylow2一子群是循环群的8p3阶群的完全分类 陈松 良 ，欧阳建新 ，莫贵圈 (1．贵州师范学院数学与计算机科学学院，贵州 贵阳 550018； 2．贵州省高校工业物联网工程技术研究中心，贵州 贵阳 550018) 摘要：设P为奇素数 (p≠3，7)，C是Sylow2-子群为8阶循环群C。的8p 阶群，那么：当pm1(mod8)时，G 恰有87个彼此不同构的类型；当pro5(mod8)时，G恰有41个彼此不同构的类型；3-P3或7(mod8)时，G 恰有 21个彼此不 同构的类型． 关键词：有限群；同构分类；群的构造 中图分类号：O152．1 文献标识码：A 文章编号：1674—7798(2014)12—0001—05 Onthecompleteclassificationofgroupsoforder 、th cyclicSylow 2-subgroups CHEN Song-liang’，OUYANGJian-xin ，MoGui—quan (1．SchoolofMathematicsandComputerScience，GuizhouNormalCollege，Guiyang，Guizhou，550018； 2．IndustrialNetworkingEnneeringTechnologyResearchCenterforGuizhouCollegesandUniversities，Gniynag，Guizhou，550018) Abstract：LetPbena oddprime(p#3，7)andGbegroupsoforder8pwithcyclicSylow2-subgroupC8，hten ifp 1(mod8)，Ghas87nonisomorphiestructures；ifp5(mod8)，Ghas41nonisomoprhiestructures；ifp 3or 7(mod8)，Chas21nonisomorphiestructures． Keywords：finitegroup；isomorphicclassifieation；structureofgroup 1 引言 2 定理 的证 明 设P是奇素数 (P≠3，7)，文献 [1]讨论并确 总假定P是奇素数 (p≠3，7)，G是 8p 阶群， 定了Sylow2．子群为交换群的8p 阶群的构造 ，但 其Sylow2．子群为8阶循环群C8．由Sylow定理易 [1]中定理2的结论是不对的，固而 [1]中定理6 知，G的Sylowp一子群是正规子群，从而 G是P与 的结论也不正确．本文将应用不同于文献 [1]的 C 的半直积．为叙述方便，我们用 IGI和Ig1分别 又便于操作和理解的方法，确定 Sylow2·子群为 8 表示群G和元素g的阶，且对元素g、h记 g= 阶循环群c。的8p3阶群的全部构造．定理如下： h～gh．由文献 [2]知p 阶群有5种不同构的类 定理 1．1 如果 G是Sylow2一子群为8阶循环 型：循环群P1=0)，其中I口I=P；型为 (p，p)的 群 c8的8p 阶群，其中P是一个奇素数 (P≠3， 交换群P2=口)×(6，其中IaJ=P，IbJ=P；初 7)，那么：当P三1(rood8)时，G恰有87个彼此不 等交换群P =(口)×(6)×(c)，其中lal=lbI= 同构的类型；当P 5(mod8)时，G恰有 41个彼 IcI=P；指数是P 的非交换群P =(口，6，其中 此不同构的类型；当P；3或 7(rood8)时，C恰有 IaI