G是一个单群，H<G,[G:H]<=4,证|G|<=3? 第1页
1
zhai-sen-8 网友的相关建议:
首先原命题需要在 的条件下才成立，否则所有单群阶数都不超过 了。这里用一个关于小于 阶的单群的结论来做。
按你说的群作用， 自然地作用在商集 上 ，这个群作用诱导了群同态 ， .（其中 代表 自己到自己的所有双射的集合，显见 ）由于 是单群， 作为 的正规子群只能是 或 。但其实不能是 ，因为要是 的话 ，即所有 都满足 ，这意味着 ，违背了 的条件。因此 ，即 是单射。故 . 我们熟知大于 且小于 阶的非素数阶子群都不是单群。注意 是 的倍数。故假若 只能有 ；假若 只能有 ；假若 那单群 不存在，因此原命题得证。
1
相关话题
为什么群元素要相乘，而不是其他运算呢？如何证明有理数加法群不是有限生成群？
对于数学分析、微分方程、复变、代数学、拓扑学等数学课程你都见过哪些很有自己一派风格而不落俗套的教材?
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
为什么实系数多项式方程的虚数解总是成对出现？
如何理解群表现？
如何理解抽象代数的用途？
历史上，近世代数中环和域的概念是怎样逐步建立的？
如何证明dimQ（R）=dimQ（C）？
O是八面体群，则SO(3)/O如何理解，有何意义？
下一个讨论
为什么拓扑的连续映射不倒着定义？
相关的话题
一个UFD是PID的条件是什么?有理数域加减乘除都是封闭的，那为什么部分无理数可以表示为有理数加减后的无穷级数呢？
交换环的子环是否一定是交换环？
交错群An(n大于等于5)是单群理解上有个小问题，大家怎么看？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
平面上两条 n 次曲线相交，交点的最大个数是否为 n²？
有没有对于各种榫卯结构，在数学上的研究?
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？
任何Abel群都能在其上赋予乘法，使其变成含幺环吗？
群论研究结构，「结构」一词是什么意思？跟数学有什么关系？
能否求出n次对称群中置换的最大阶？
如何理解有限单群分类定理？
为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？
如何把微信群/QQ群构造成一个阿贝尔群？
请问陪集、左陪集、商群、正规子群该如何理解？
（动力系统 + 拓扑学 + 抽象代数）和（泛函分析 + 实变函数 + 复分析和解析几何）有哪些联系？
如何把微信群/QQ群构造成一个阿贝尔群？
对于数学分析、微分方程、复变、代数学、拓扑学等数学课程你都见过哪些很有自己一派风格而不落俗套的教材?
能不能定义一个数 I，与 0 的乘积等于 1？
若K是一个数域。a+bi∈K，(a≠0,b≠0)。请问a和b一定属于K吗？
交错群An(n大于等于5)是单群理解上有个小问题，大家怎么看？
请问费马大定理写成方程形式是否可以证明？
不使用范畴论，如何刻画一个线性映射是“自然”的？
如何证明这个群论问题？
高斯作出正 17 边形的依据是什么？
若K是一个数域。a+bi∈K，(a≠0,b≠0)。请问a和b一定属于K吗？
如何证明下面的群是奇数阶Abel群？
交换环的所有零因子和 0 组成的集合是一个理想吗？