60阶单群同构于A5的证明

设$G$是$60$阶的单群,我们来证明他同构于$A_5$,一个比较直观地思路是考虑群表示$\phi:G\to S(\Sigma)$,由同态基本定理得到$$G/{\rm Ker}\phi \simeq \phi(G)\leq S(\Sigma)$$

注意$G$的单性以及${\rm Ker}\phi\triangleleft G$,只要$\phi$不是总把$G$中的元素映成恒等变换就一定有${\rm Ker}\phi={1}$,即$G\leq S(\Sigma)$,自然的希望$|\Sigma|=5$,此时$S(\Sigma)=S_5$,而$60$阶群$G$作为$120$阶群$S_5$的子群,一定是正规的。而$S_{n}(n\geq5)$只有唯一的正规子群$A_n$,自然的$G\simeq A_5$.

所以问题归结为找到一个集合$|\Sigma|=5$,我们只需找到$G$的一个$12$阶子群$H$,这时只需取$\Sigma$为$H$在$G$中的左陪集的全体即可.因此最终问题归结为证明群$G$必有$12$阶子群！

因为$|G|=60=2^2\times3\times5$,由Sylow定理:$G$的$4$阶子群个数$N(4)$只能为$1,3,5,15$,由单性排除$1$个的可能.

1).若$N(4)=3$,任取一个$4$阶子群$P$,令$M=\left\{aP:a\in G\right\}$,考虑$G$在左陪集$M$上的诱导表示$\pi:G\to S(M)=S_3$,同态基本定理得$$G/{\rm Ker}\pi\simeq\pi(G)\leq S_3$$

而群$G$为单群且$G\ne{\rm Ker}\pi\triangleleft G$可知${\rm Ker}\pi={1}$,则$G\leq S_3$,而$|S_3|=6$,显然不可能！

2).若$N(4)=5$,人取一个$4$阶子群$P$,则由Sylow定理$N(4)=[G:N_G(P)]=5\Rightarrow|N_G(P)|=12$,结论成立!

3).若$N(4)=15$,我们断言必然存在两个$4$阶子群$P_1,P_2$之交除了单位元$1$外含有其他元素,否则这$15$个$4$阶子群共含有$3\times15+1=46$个元素,而根据Sylow定理:$G$的$5$阶子群个数只能为$1,6$,由单性排除$1$,所以$G$共有$6$个$5$阶子群,显然她们都是循环群且两两之间除了单位元外不会有其他公共元素,此时这$6$个群除了单位元外一共有$4\times6=24$个元素.$46+24$已经超过群$G$的阶,矛盾!

即：群$G$必然有两个$4$阶子群$P_1,P_2$之交$|P_1\cap P_2|\geq2$,注意到$\{1\}\neq P_1\cap P_2<P_1$,必然有$$|A|=|P_1\cap P_2|=2$$另外一点,我们知道$4$阶群只有两个$Z_4,K_4$,均为Abel群,这说明$A$的中心化子$C_G(A)$中至少含有$P_1，P_2$中的共$6$个元素,另外$P_1\leq C_G(A)$,说明$|C_G(A)|$可能为$12,20$:

3.1)若$|C_G(A)|=20$,则$[G:C_G(A)]=3$,与1)类似的考虑$G$在其左陪集上的诱导表示可得出矛盾！

3.2)若$|C_G(A)|=12$,那么结论已然成立

转载于:https://www.cnblogs.com/qq3232361332/p/6054300.html

60阶单群同构于A5的证明相关推荐

证明小于60阶的无非阿贝尔单群用到的定理
证明小于60阶的无非阿贝尔单群用到的定理 1.素数阶群 2.|G|=2k(k为奇数),则G不是非Abel单群,(G有一个指数为2的子群,并且指数为2的群一定是正规子群,An是Sn中指数为2的子群) 注 ...
n阶差分方程重根计算公式的一般证明
n阶差分方程重根计算公式的一般证明设(x-a)^n=0,则它的解的形式为a^n,n*a^n,n^2*a^n...,n^(n-1)*a^n 下面采用数学归纳法证明: 即在(x-a)^(n+1)=0时, ...
6阶子群同构于s3或者z6_浙江省月自考近世代数试卷
近世代数试题一.单项选择题(本大题共5小题,每小题3分,共15分) 在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内.错选.多选或未选均无分. 1.设A=B=R(实数 ...
关于同构关系的一些证明(1)
定义一种集合乘法XY={xy∣x∈X,y∈Y}XY=\{xy|x\in X,y\in Y\}XY={xy∣x∈X,y∈Y}. 那么我们可以看见若H⩽GH\leqslant GH⩽G,则HH={hh′∣ ...
6阶子群同构于s3或者z6_[2017年整理]离散数学复习.ppt
[2017年整理]离散数学复习 1 各章核心内容数理逻辑部分深刻理解各联结词的逻辑关系, 熟练地将命题符号化会求复合命题的真值深刻理解合式公式及重言式.矛盾式.可满足式等概念熟练地求公式的真 ...
14种16阶群、13种60阶群的结构与表示(附GAP软件的使用)
2019独角兽企业重金招聘Python工程师标准>>> 共有14个不同的16阶群,其中交换群有5个,其余9个为非交换群. gap> L:=Factors(16); [ 2, 2 ...
群同态基本定理证明_近世代数(3)——群的基本性质
参考教材 <近世代数>.丘维声著 <近世代数>.韩士安著 <Algebra>.Artin著 <代数学引论>.聂灵沼.丁石孙著前言上节我们引入了循环群 ...
6阶群的非平凡子群_简明算术教程——第二章群——第9节可解群
本节我们简单介绍一类重要的有限群:可解群.这个名称来源于高于四次的一般代数方程根式不可解,在今后的章节将会进行详细的介绍. 我们知道,多数的群都是非交换的.辨别一个群是否为交换群(Abel群),或者与 ...
关于单群的一些知识扩展
人的记忆是很奇怪的东西,越是拼命要记住的往往会很快忘记.去年十二月份才开始PKU研究生入学考试20年的数学真题,时隔快一年了,很多东西却记忆犹新. 下面分析,扩展下常会考到的一个特殊群,单群: 有限单 ...

60阶单群同构于A5的证明

60阶单群同构于A5的证明相关推荐

最新文章

热门文章