G是一个单群，H<G,[G:H]<=4,证|G|<=3? 第1页
1
zhai-sen-8 网友的相关建议:
首先原命题需要在 的条件下才成立，否则所有单群阶数都不超过 了。这里用一个关于小于 阶的单群的结论来做。
按你说的群作用， 自然地作用在商集 上 ，这个群作用诱导了群同态 ， .（其中 代表 自己到自己的所有双射的集合，显见 ）由于 是单群， 作为 的正规子群只能是 或 。但其实不能是 ，因为要是 的话 ，即所有 都满足 ，这意味着 ，违背了 的条件。因此 ，即 是单射。故 . 我们熟知大于 且小于 阶的非素数阶子群都不是单群。注意 是 的倍数。故假若 只能有 ；假若 只能有 ；假若 那单群 不存在，因此原命题得证。
1
相关话题
有没有证明某函数不存在初等表示的一般思路？怎么样通俗易懂地向小学生介绍群论的思想？
如何理解抽象代数的用途？
如何理解 Van-Kampen 定理？
交换环的子环是否一定是交换环？
数字上加一横是什么意思？
有理数域加减乘除都是封闭的，那为什么部分无理数可以表示为有理数加减后的无穷级数呢？
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
有理数域加减乘除都是封闭的，那为什么部分无理数可以表示为有理数加减后的无穷级数呢？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
下一个讨论
为什么拓扑的连续映射不倒着定义？
相关的话题
为什么 SO(2) 群只有一个角度自由度就能表示，SO(3) 群却需要三个独立参数？如何证明有理数加法群不是有限生成群？
如何利用群论的知识解决三阶魔方？
如何证明Q[³√5]是域？
如何证明任何有限域中的任何元素均可写成两数的平方和？
如何证明矩阵为零矩阵？
请问陪集、左陪集、商群、正规子群该如何理解？
无限群是否一定含无限阶元？无限群是否一定有无限多个子群？
有哪些不借助变换群的观点就很难解答的欧氏几何问题？
剩余类环的所有理想怎么求？
O是八面体群，则SO(3)/O如何理解，有何意义？
群论和拓扑的关系是什么？群论本来就是拓扑的一种形式？
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
有理数域加减乘除都是封闭的，那为什么部分无理数可以表示为有理数加减后的无穷级数呢？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
三阶魔方公式的最大周期是多少？对应的公式是什么？
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
请简单地表述结合律和交换律的区别和联系。结合律为什么那么普遍？
交换环的子环是否一定是交换环？
多次试图学习抽象代数，但屡屡受挫，该怎么办？
有没有证明某函数不存在初等表示的一般思路？
G-SHOCK到底有多硬有多坚固？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
线性映射为什么那么重要？
SU(4)和SO(6)的“自由度”都是15，它们具有同态关系吗?
任何Abel群都能在其上赋予乘法，使其变成含幺环吗？
SU(4)和SO(6)的“自由度”都是15，它们具有同态关系吗?
如何给高中生解释群论？
无限群是否一定含无限阶元？无限群是否一定有无限多个子群？
平面上两条 n 次曲线相交，交点的最大个数是否为 n²？