G是一个单群，H<G,[G:H]<=4,证|G|<=3? 第1页
1
zhai-sen-8 网友的相关建议:
首先原命题需要在 的条件下才成立，否则所有单群阶数都不超过 了。这里用一个关于小于 阶的单群的结论来做。
按你说的群作用， 自然地作用在商集 上 ，这个群作用诱导了群同态 ， .（其中 代表 自己到自己的所有双射的集合，显见 ）由于 是单群， 作为 的正规子群只能是 或 。但其实不能是 ，因为要是 的话 ，即所有 都满足 ，这意味着 ，违背了 的条件。因此 ，即 是单射。故 . 我们熟知大于 且小于 阶的非素数阶子群都不是单群。注意 是 的倍数。故假若 只能有 ；假若 只能有 ；假若 那单群 不存在，因此原命题得证。
1
相关话题
如何把微信群/QQ群构造成一个阿贝尔群？求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?
伽罗华并没有接受完整的数学教育，为何能解决当时最难的数学问题？
有哪些不借助变换群的观点就很难解答的欧氏几何问题？
有限维线性空间的有限是怎么理解？
如何理解有限单群分类定理？
多次试图学习抽象代数，但屡屡受挫，该怎么办？
有哪些适合初学微分几何，抽象代数，群论的note或者教材？
如何证明Q[³√5]是域？
剩余类环的所有理想怎么求？
下一个讨论
为什么拓扑的连续映射不倒着定义？
相关的话题
有限群的群行列式因式分解后，各因式的次数是否与重数相等？如何证明dimQ（R）=dimQ（C）？
对于数学分析、微分方程、复变、代数学、拓扑学等数学课程你都见过哪些很有自己一派风格而不落俗套的教材?
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
如何证明下面的近世代数问题？
有哪些不借助变换群的观点就很难解答的欧氏几何问题？
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
请问陪集、左陪集、商群、正规子群该如何理解？
integral domain为啥叫整环？
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
有限群的群行列式因式分解后，各因式的次数是否与重数相等？
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？
伽罗华并没有接受完整的数学教育，为何能解决当时最难的数学问题？
剩余类环的所有理想怎么求？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
Z^n的所有子群怎么求？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
关于p进数域？
如果你要向一位学过初级的抽象代数的本科生推销数学工具「正合序列」，你会如何介绍它？
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
有哪些适合初学微分几何，抽象代数，群论的note或者教材？
如何给高中生解释群论？
(G/H)×H是否同构于G？
有哪些不借助变换群的观点就很难解答的欧氏几何问题？
三阶魔方公式的最大周期是多少？对应的公式是什么？
交错群An(n大于等于5)是单群理解上有个小问题，大家怎么看？
物理生如何系统地学习必要的群论？
有理数域加减乘除都是封闭的，那为什么部分无理数可以表示为有理数加减后的无穷级数呢？