G是一个单群，H<G,[G:H]<=4,证|G|<=3? 第1页
1
zhai-sen-8 网友的相关建议:
首先原命题需要在 的条件下才成立，否则所有单群阶数都不超过 了。这里用一个关于小于 阶的单群的结论来做。
按你说的群作用， 自然地作用在商集 上 ，这个群作用诱导了群同态 ， .（其中 代表 自己到自己的所有双射的集合，显见 ）由于 是单群， 作为 的正规子群只能是 或 。但其实不能是 ，因为要是 的话 ，即所有 都满足 ，这意味着 ，违背了 的条件。因此 ，即 是单射。故 . 我们熟知大于 且小于 阶的非素数阶子群都不是单群。注意 是 的倍数。故假若 只能有 ；假若 只能有 ；假若 那单群 不存在，因此原命题得证。
1
相关话题
1×0＝0 是因为 0 乘以任何数字都等于 0，还是因为 1 乘任何数字都等于那个数？物理生如何系统地学习必要的群论？
(G/H)×H是否同构于G？
请问费马大定理写成方程形式是否可以证明？
群论研究结构，「结构」一词是什么意思？跟数学有什么关系？
请问陪集、左陪集、商群、正规子群该如何理解？
为什么感觉群论学起来比数学分析之类难好多？
问一下，这几个群是什么群，有什么性质？
为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？
有哪些适合初学微分几何，抽象代数，群论的note或者教材？
下一个讨论
为什么拓扑的连续映射不倒着定义？
相关的话题
G是一个单群，H<G,[G:H]<=4,证|G|<=3?全体质数的倒数和是发散的还是收敛的？如果收敛，收敛到多少？（多重问题预警）?
如何证明这个群论问题？
如何理解 Van-Kampen 定理？
问一下，这几个群是什么群，有什么性质？
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
如何证明下面的群是奇数阶Abel群？
无限群是否一定含无限阶元？无限群是否一定有无限多个子群？
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
一个范畴问题?
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
SU(4)和SO(6)的“自由度”都是15，它们具有同态关系吗?
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
在线性代数中如何用几何表示非方阵矩阵相乘？
如何直观地理解群论？
请简单地表述结合律和交换律的区别和联系。结合律为什么那么普遍？
关于整矩阵的一道题怎么解?
有限维线性空间的有限是怎么理解？
对于数学分析、微分方程、复变、代数学、拓扑学等数学课程你都见过哪些很有自己一派风格而不落俗套的教材?
如何正确理解群论中的同态基本定理？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
如何证明矩阵为零矩阵？
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
如何从数学角度证明魔方复原存在必可解策略？
114514 阶的群有哪几类？
如何把微信群/QQ群构造成一个阿贝尔群？
多次试图学习抽象代数，但屡屡受挫，该怎么办？
无限群是否一定含无限阶元？无限群是否一定有无限多个子群？