G是一个单群，H<G,[G:H]<=4,证|G|<=3? 第1页
1
zhai-sen-8 网友的相关建议:
首先原命题需要在 的条件下才成立，否则所有单群阶数都不超过 了。这里用一个关于小于 阶的单群的结论来做。
按你说的群作用， 自然地作用在商集 上 ，这个群作用诱导了群同态 ， .（其中 代表 自己到自己的所有双射的集合，显见 ）由于 是单群， 作为 的正规子群只能是 或 。但其实不能是 ，因为要是 的话 ，即所有 都满足 ，这意味着 ，违背了 的条件。因此 ，即 是单射。故 . 我们熟知大于 且小于 阶的非素数阶子群都不是单群。注意 是 的倍数。故假若 只能有 ；假若 只能有 ；假若 那单群 不存在，因此原命题得证。
1
相关话题
如何正确理解群论中的同态基本定理？如何证明dimQ（R）=dimQ（C）？
如何证明有理数加法群不是有限生成群？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
Z^n的所有子群怎么求？
如何证明有理数加法群不是有限生成群？
如何正确理解群论中的同态基本定理？
G-SHOCK到底有多硬有多坚固？
伽罗华并没有接受完整的数学教育，为何能解决当时最难的数学问题？
下一个讨论
为什么拓扑的连续映射不倒着定义？
相关的话题
卡西欧手表型号如何区分?实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
（动力系统 + 拓扑学 + 抽象代数）和（泛函分析 + 实变函数 + 复分析和解析几何）有哪些联系？
卡西欧手表型号如何区分?
如何简要解释为什么五次多项式方程没有根式解？
能否彻底从代数角度定义微分和积分？
交换环的子环是否一定是交换环？
请问这个抽象代数题怎么证明？
(G/H)×H是否同构于G？
若K是一个数域。a+bi∈K，(a≠0,b≠0)。请问a和b一定属于K吗？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
如何理解群表现？
如何正确理解群论中的同态基本定理？
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
高斯素数有类似于素数定理的分布律吗？
SU(4)和SO(6)的“自由度”都是15，它们具有同态关系吗?
如何理解有限单群分类定理？
交错群An(n大于等于5)是单群理解上有个小问题，大家怎么看？
请简单地表述结合律和交换律的区别和联系。结合律为什么那么普遍？
李群的伴随表示如何理解？
请问费马大定理写成方程形式是否可以证明？
如何直观地理解群论？
任何Abel群都能在其上赋予乘法，使其变成含幺环吗？
负数与负数相乘为什么会得正？
请简单地表述结合律和交换律的区别和联系。结合律为什么那么普遍？
能否求出n次对称群中置换的最大阶？
无限群是否一定含无限阶元？无限群是否一定有无限多个子群？
如何正确理解群论中的同态基本定理？
物理生如何系统地学习必要的群论？
能否求出n次对称群中置换的最大阶？