G是一个单群，H<G,[G:H]<=4,证|G|<=3? 第1页
1
zhai-sen-8 网友的相关建议:
首先原命题需要在 的条件下才成立，否则所有单群阶数都不超过 了。这里用一个关于小于 阶的单群的结论来做。
按你说的群作用， 自然地作用在商集 上 ，这个群作用诱导了群同态 ， .（其中 代表 自己到自己的所有双射的集合，显见 ）由于 是单群， 作为 的正规子群只能是 或 。但其实不能是 ，因为要是 的话 ，即所有 都满足 ，这意味着 ，违背了 的条件。因此 ，即 是单射。故 . 我们熟知大于 且小于 阶的非素数阶子群都不是单群。注意 是 的倍数。故假若 只能有 ；假若 只能有 ；假若 那单群 不存在，因此原命题得证。
1
相关话题
减一个负数，为什么是加这个数的相反数呢？有哪些不借助变换群的观点就很难解答的欧氏几何问题？
O是八面体群，则SO(3)/O如何理解，有何意义？
如何直观地理解群论？
有哪些不借助变换群的观点就很难解答的欧氏几何问题？
为什么实系数多项式方程的虚数解总是成对出现？
请问陪集、左陪集、商群、正规子群该如何理解？
为什么 SO(2) 群只有一个角度自由度就能表示，SO(3) 群却需要三个独立参数？
请问陪集、左陪集、商群、正规子群该如何理解？
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
下一个讨论
为什么拓扑的连续映射不倒着定义？
相关的话题
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？如何把微信群/QQ群构造成一个阿贝尔群？
不使用范畴论，如何刻画一个线性映射是“自然”的？
如何理解 Van-Kampen 定理？
三阶魔方公式的最大周期是多少？对应的公式是什么？
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
请问费马大定理写成方程形式是否可以证明？
高斯作出正 17 边形的依据是什么？
高斯作出正 17 边形的依据是什么？
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
能否求出n次对称群中置换的最大阶？
无限群是否一定含无限阶元？无限群是否一定有无限多个子群？
有哪些适合粒子物理方向的群论书籍？
剩余类环的所有理想怎么求？
如何理解有限单群分类定理？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
为何从一元五次方程开始就没有由有限次加、减、乘、除、开方运算构成的求根公式了？
如何理解有限单群分类定理？
Z^n的所有子群怎么求？
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
数字上加一横是什么意思？
如何证明下面的近世代数问题？
勒让德多项式的意义？
如何理解有限单群分类定理？
如何利用群论的知识解决三阶魔方？
关于p进数域？
学习数论图论有必要先学抽代和高代吗？
三阶魔方公式的最大周期是多少？对应的公式是什么？
历史上，近世代数中环和域的概念是怎样逐步建立的？