D2-8子群
- 格式:ppt
- 大小:775.50 KB
- 文档页数:31
四次交错群的一个刻画王坚;江东林;钟美华【摘要】设G为有限群,C(G)为G的循环子群的集合。
给出了含有|G|-4个循环子群的有限群G的完全分类。
作为推论,得到了A4是满足|C(G)|=|G|-4的唯一的非超可解的有限群G,从而给出了刻画四次交错群的新角度。
%We describe the finite groups G having|G|-4 cyclic subgroups.As a corollary,we obtain thatA4 is the unique non-su-persolvable finite group G satisfies|C(G)|=|G|-4.This leads to a new angle to characterize the alternating group A4 .【期刊名称】《厦门大学学报(自然科学版)》【年(卷),期】2017(056)001【总页数】2页(P142-143)【关键词】循环子群;超可解群;交错群【作者】王坚;江东林;钟美华【作者单位】龙岩学院信息工程学院,福建龙岩364012;龙岩学院信息工程学院,福建龙岩 364012;龙岩学院信息工程学院,福建龙岩 364012【正文语种】中文【中图分类】O152.1设G为有限群, C(G)为G的循环子群的集合. 记rG为|G|与|C(G)|的差. 众所周知rG≥0, 等号成立当且仅当G为初等交换2-群. 最近Tǎrnǎuceanu[1]给出了满足rG=1的G的结构, 而且在文献[1]的最后提了一个公开问题: 当2≤rG≤|G|-1, 描述G的结构. 实际上, 根据Richards[2]的结果可得:rG≤|G|-d(|G|), 其中d(|G|)是|G|的正因子的个数.本研究通过对rG=4的G的完全分类来给出A4的一个刻画,所用到的符号以及记号都是标准的[3-4].首先来讨论|C(G)|, 可以从等价类和群作用[2]两个角度来讨论有限群的循环子群个数.1) 在G中元素间定义一个等价关系: x~y⟺〈x〉=〈y〉. 按这个定义, 一个等价类对应于G的一个循环子群, 并且G的一个循环子群所对应的等价类实际上是它的生成元集合, 因此G的循环子群个数等于G关于这个等价关系的等价类的个数. 此外|C(G)|≤|G|, 并且|C(G)|=|G|当且仅当G的每个循环子群所对应的等价类只含有一个元素, 即每个循环子群的生成元只有一个, 故G为初等交换2-群.2) 设|G|=n, 考虑用剩余类环Zn的单位群U(Zn)作用在群G上. 对任意的s+nZ∈U(Zn), 定义gs+nZ=gs, 其中g∈G. 容易验证这是U(Zn)在集合G的一个作用. 可得这个命题:若G的两个元素x, y属于同一条轨道, 那么〈x〉=〈y〉. 下证它的逆命题也成立,证明可转化为命题1.从而G的循环子群个数等于U(Zn)作用在群G上的轨道的条数.命题1 设m,n为正整数且 m|n, 则自然同态π:Zn→Zm(a+nZa+mZ)限制在U(Zn)诱导了U(Zn)到U(Zm)的一个满的群同态.证明群同态是显然的,下面证明π限制在U(Zn)是U(Zn)到U(Zm)的一个满射. 不妨设m>1. 任取a为小于m且与m互素的正整数, 设k是与a互素的n的最大的正因子, 则m|k, k+a与n互素. 从而π(k+a+nZ)=a+mZ, 满射得证.下面的两个引理对证明主定理是必要的.引理1[1] 设G为n阶有限群,并记d1,d2,…,dk为n的正因子. 若ni=|{H∈C(G)||H|=di}|, i=1,2,…,k, 则φ(di)-1),φ是欧拉函数.证明因为φ所以根据rG的定义很容易得出结论.引理2 设G为有限群, K是它的一个子群,则rK≤rG; 进一步, 若KG, 则rK+rG/K≤rG.定理1 设G为有限群, 则rG=4当且仅当G同构于下列群中的一个: C8, C3×C3, C6×C2, A4, D16, C4×C2×C2, M2(2,1,1), Q8*C4, (C3×C3)C2, (C2×C2)×S3.证明充分性显然, 下面证明必要性. 由定理条件, 引理1及Sylow定理可知π(G)⊆{2,3,5}.情况1 若5||G|, 根据定理条件以及引理1,G的Sylow 5子群正规.设H是G的唯一的Sylow 5子群.由条件可知CG(H)=H. 根据N/C定理, G/H同构于C4的一个子群. 显然在这种情况下G≠H, 并且G不能与C10或者D10同构, 因此|G|=20. 根据条件以及引理1,G存在唯一的4阶循环子群, 那么G≅C20. 这与条件矛盾. 因此5不整除|G|, 从而π(G)⊆{2,3}.情况2 若3||G|, 设P为G的一个Sylow 3 子群, 根据条件以及引理1, |P|≤9并且P非循环.1) 若|G|3=9,根据条件,P只能同构于C3×C3,PG,并且对其它不属于P的元素x,o(x)=2.对任意的u∈P,x∉P,则ux∉P,因此从o(ux)=2可得ux=u-1.因此对任意不属于P的元素x,y,则xy-1∈CG(P).因为CG(P)=P,从而G≅C3×C3或者G≅(C3×C3)C2.2) 若|G|3=3,根据条件以及Sylow定理,|Syl3(G)|=1 或者4. 若|Syl3(G)|=4, 即|G:NG(P)|=4. 显然在这种情况下 CG(P)=P, 根据N/C定理, NG(P)/P同构于C2的一个子群, 因此NG(P)=P 或者NG(P)≅S3. 此时, |G|=12 或者24. 由条件以及引理1可知, G中不在Sylow 3 子群中的元素x, o(x)≤2. 因此NG(P)=P, 并且G≅A4. 若|Syl3(G)|=1, 即PG. 根据N/C定理, G/CG(P)同构于C2的一个子群. 由条件可知P真包含于CG(P), 因此CG(P)≅C6 或者CG(P)≅C6×C2. 若CG(P)≅C6, 则G≅C3C4或者G≅D12. 但是rC3C4=5, rD12=2. 因此, CG(P)只能同构于C6×C2,并且G同构于下列群中的一个: C6×C2, C2×(C3C4), (C6×C2)C2, C3×D8,C2×C2×S3. 因为C2×(C3C4), (C6×C2)C2这两个群含有子群C3C4并且rC3C4=5, 根据引理2, G与它们不同构. 因为C3×D8含有子群C12, rC12=6, 同理由引理2, G与C3×D8不同构. 因此在这种情况下, G同构于C6×C2,C2×C2×S3中的一个.情况3 G是2 群, 由条件以及引理1, G最多只能有一个8阶循环子群. 假设U是G的一个8阶循环子群. 根据条件可知 UG, 并且对任意不属于U的元素x, o(x)=2. 这意味着对任意不属于U的元素x, x将P中的每个元素都共轭成它的逆元素. 根据条件以及引理1, CG(U)=U, 因此G≅C8 或者G≅D16. 下面假设G不含8阶元, 由条件以及引理1可知, G恰好含有4个循环4阶子群. 由文献[5]的定理53.5, 53.6, 53.9, 53.10可推出|G|≤16, 否则G含有8阶元, 与假设不符. 根据16阶群的完全分类(文献[4]的定理2.6.3), G同构于下列群中的一个:C4×C4, C4×C2×C2,M2(2,2), M2(2,1,1), D8×C2, Q8×C2, Q8*C4. 因为rC4×C4=rM2(2,2)=rQ8×C2=6, rD8×C2=2, 所以G同构于C4×C2×C2,M2(2,1,1), Q8*C4中的一个.从定理1很容易得出下面的推论.推论1 A4是满足rG=4的唯一的非超可解的有限群G.。