关于216阶群的完全分类.pdf

数 学 杂 志 Vo1．37(2017) J．ofMath．(PRC) NO．1 关于 216阶群的完全分类 陈松 良 (贵州师范学院数学与计算机科学学院，贵州贵阳550018) 摘 要： 设G为2。．3。阶 (即216阶)群，本文研究G 的同构分类．利用有限群的局部分析法 证明G共有 177种互不同构的类型，并获得了G的全部构造． 关键词：有限群；同构分类；群的构造 MR(2010)主题分类号：20B05；20D25；20E34 中图分类号：O152．1 文献标识码： A 文章编号：0255—7797(2017)01．0185．08 1 引言 设P是奇素数 (其中P≠3，7)，文 [1]研究了23p0阶群的构造；当Sylow2一子群可换时， 文 [2]重新确定了23p0阶群的构造．文 3【1确定了2744(即20．7。)阶群的构造，这是对文 1【] 与f21的补充．本文将研究216(即2。．3。)阶群的同构分类，并决定它们的全部构造，从而圆满 完成了23p0阶群的分类．我们的主要结果是 定理 1．1设G为20．3。阶f即216阶)群，那么G共有 177种互不同构的类型，其中 1)当Sylow子群都正规时，G恰有25个彼此不同构的类型： 2)当Sylow2一子群正规但 Sylow3一子群不正规时，G恰有 14个彼此不同构的类型； 3)当Sylow2一子群不正规但 Sylow3一子群正规时，G恰有 120个彼此不同构的类型； 4)当Sylow子群都不正规时，G 恰有 18个彼此不同构的类型． 2 定理的证明 以下恒设G是 216阶群，P是G的一个 Sylow3．子群，Q是G 的一个 Sylow2一子群， 我们用 fGf，lgf分别表示有限群G及其元素g的阶，用c 表示礼阶循环群，用 表示P 阶初等交换群，用g表示X--1gx，其他未说明的符号见文献 [4]．由文 [5]之定理7．1．1，P必为 下列 5种类型之一： P1：C27：(0 『Ia1=30)； P2：C9×C3=(a)×(b)，其中1a1=3。，lbI=3； P3=E27=(a)×(b)×(C)，其中IaI=lbl=ICI=3； P4：(0，bff0f：3，fbf=3，。=n)； ： (Ⅱ，b，cll。l=fbl=fcf=3，c。=c=c， ，b]：c)． 而 0也只有 5种不同构的类型： 收稿 日期：201401—13 接收日期：2014—09—09 基金项 目：贵州师范学院重点支持学科项目；贵州省自然科学基金资助项目(黔科合J字 [201212289 [201312234)． 作者简介：陈松良(1964一)，男，湖南双峰，教授，主要研究方向：代数学及其应用． 数 学 杂 志 Ql= =( J =8)； (2=c4×C2=()×()，其中l=『4，lYf=2； Q3=Es=(z)×(Y)×()，其中Iz】=IY1=】l=2； Q4：Ds=(，Y111=4，IY1=2， = 。)； Q5=Q8=(， I{l：4，2： 2，Xy=z3)． 由于定理的证明较长 下面我们分为几个引理来叙述． 引理 2．1如果216阶群G的Sylow子群都是正规子群，那么G恰有25个互不同构的类 型，其构造是：G= ×Q ，i，J=1，2，… ，5． 引理 2．2 如果 216阶群 G 的 Sylow2一子群正规但 Sylow 3一子群不正规，那么 G 恰有 14个互不同构的类型且它们的构造分别是式 (2．1)一(2．14)，其中在式 (2．1)一(2．7)中 = IYl= =2，且 (，Y，)竺E8；而在式 (2．8)一(2．14)中fX}=4，X。=Y，xy=x。，且 (x，Y)竺Q8． 证