设$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$,那么结论已然成立

60阶单群同构于A5的证明的更多相关文章

  1. 【组合数学】 02 - Möbius反演公式

    计数问题种类繁多,为了避免陷入漫无目的烧脑运动,我们先需要关注一些常用方法和结论.数学的抽象性和通用性是我们一直推崇的,从诸多特殊问题中发现一般性的方法,也总会让人兴奋和慨叹.一般教材多是以排列组合开 ...

  2. 彻底弄懂“PKIX path building failed”问题

    SSL的基础知识 SSL的全称是Secure Socket Layer.它的通信流程如下图所示,客户端与服务端会通过几次通信,通过非对称加密创建出一个加密密钥,用于以后的对称信息加密. 1,客户端明文 ...

  3. fir 窗口设计法

    加窗的原因.对于理想的低通滤波器H(exp(jw)),其h(n)是无限长序列.这是可以证明的.因此为了得到有限长的h(n)就需要截断,而这个过程就是加窗.由于h(n)截断即其频率响应就和理想的低通滤波 ...

  4. Java 性能分析工具 , 第 1 部分: 操作系统工具

    引言 性能分析的前提是将应用程序内部的运行状况以及应用运行环境的状况以一种可视化的方式更加直接的展现出来,如何来达到这种可视化的展示呢?我们需要配合使用操作系统中集成的程序监控工具和 Java 中内置 ...

  5. 复旦高等代数 I(16级)思考题

    思考题的说明 一.本学期高代I的思考题面向16级的同学,将不定期地进行更新; 二.欢迎16级的同学通过微信或书面方式提供解答图片或纸质文件给我,优秀的解答可以分享给大家: 三.请大家先独立解答思考题, ...

  6. 复旦高等代数 II(15级)思考题

    1.设 $f(x)=x^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0$ 是整系数首一多项式, 满足: $|a_0|$ 是素数且 $$|a_0|>1+\sum_{i=1}^{n ...

  7. 安全协议系列(三)----CCMP与WPA-PSK

    本节讨论 CCM 在 WiFi 中的实际应用 -- CCMP 协议 根据 RFC 3610,完成 CCMP 报文的加解密,需要提供:分组密钥(K).随机数(Nonce).附加认证数据(AAD),这三个 ...

  8. [问题2014S12] 复旦高等代数II(13级)每周一题(第十二教学周)

    [问题2014S12]  设 \(A,B\) 都是 \(n\) 阶半正定实对称阵, 证明: \(AB\) 的所有特征值都是非负实数. 进一步, 若 \(A,B\) 都是正定实对称阵, 证明: \(AB ...

  9. 杭电hdoj题目分类

    HDOJ 题目分类 //分类不是绝对的 //"*" 表示好题,需要多次回味 //"?"表示结论是正确的,但还停留在模块阶 段,需要理解,证明. //简单题看到就 ...

随机推荐

  1. fastclick 源码注解及一些基础知识点

    在移动端,网页上的点击穿透问题导致了非常糟糕的用户体验.那么该如何解决这个问题呢? 问题产生的原因 移动端浏览器的点击事件存在300ms的延迟执行,这个延迟是由于移动端需要通过在这个时间段用户是否两次 ...

  2. TCP的三次握手(建立连接)和四次挥手(关闭连接)

    参照: http://course.ccniit.com/CSTD/Linux/reference/files/018.PDF http://hi.baidu.com/raycomer/item/94 ...

  3. Swift_提醒框

    p.p1 { margin: 0.0px 0.0px 0.0px 0.0px; font: 24.0px Menlo; color: #ffffff } p.p2 { margin: 0.0px 0. ...

  4. React项目(二):生命游戏

    引子 这是16年最后的一个练手项目,一贯的感觉就是,做项目容易,写说明文档难.更何况是一个唤起抑郁感觉的项目,码下的每个字,心就如加了一个千斤的砝码. 2016年,有些事我都已忘记,但我现在还记得.2 ...

  5. Eclipse中.calsspath文件解析

    来自帅气的Sublime Text

  6. SQL语句判断数据库、表、字段是否存在

    from master..sysdatabases where name='TestDB')    print 'TestDB存在'else    print 'TestDB不存在' --判断表[Te ...

  7. Java动态加载JAR包

    参考代码: package org; import java.io.File; import java.net.URL; import java.net.URLClassLoader; import ...

  8. yum 操作复习

    RPM与YUM是配合使用的. rpm负责从网站或指定的文件路径,获取到rpm软件包.也就是说你要安装什么服务或软件,就要先找到rpm包,下载下来.也就是通常说的配置yum源. 啥是yum源.你下载下的 ...

  9. Baseadapter与Simpleadapter之争

    作者:andyrat,联系方式:andyrat@qq.com

  10. 复选框css

    input, select, button, textarea{ -webkit-appearance:none; }该属性会导致复选框失去选择效果