G是一个单群，H<G,[G:H]<=4,证|G|<=3? 第1页
1
zhai-sen-8 网友的相关建议:
首先原命题需要在 的条件下才成立，否则所有单群阶数都不超过 了。这里用一个关于小于 阶的单群的结论来做。
按你说的群作用， 自然地作用在商集 上 ，这个群作用诱导了群同态 ， .（其中 代表 自己到自己的所有双射的集合，显见 ）由于 是单群， 作为 的正规子群只能是 或 。但其实不能是 ，因为要是 的话 ，即所有 都满足 ，这意味着 ，违背了 的条件。因此 ，即 是单射。故 . 我们熟知大于 且小于 阶的非素数阶子群都不是单群。注意 是 的倍数。故假若 只能有 ；假若 只能有 ；假若 那单群 不存在，因此原命题得证。
1
相关话题
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？不使用范畴论，如何刻画一个线性映射是“自然”的？
在线性代数中如何用几何表示非方阵矩阵相乘？
求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?
有没有对于各种榫卯结构，在数学上的研究?
如何证明下面的群是奇数阶Abel群？
如何理解抽象代数的用途？
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
如何证明Q[³√5]是域？
如何直观地理解群论？
下一个讨论
为什么拓扑的连续映射不倒着定义？
相关的话题
为什么感觉群论学起来比数学分析之类难好多？如何直观地理解群论？
叶戈罗夫定理的逆定理该怎么证明？
不使用范畴论，如何刻画一个线性映射是“自然”的？
减一个负数，为什么是加这个数的相反数呢？
一个UFD是PID的条件是什么?
请列出一个最难相信但确实有根式解的一元五次方程？
请列出一个最难相信但确实有根式解的一元五次方程？
Z^n的所有子群怎么求？
叶戈罗夫定理的逆定理该怎么证明？
有限维线性空间的有限是怎么理解？
群论和拓扑的关系是什么？群论本来就是拓扑的一种形式？
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
有限群的群行列式因式分解后，各因式的次数是否与重数相等？
为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
为什么实系数多项式方程的虚数解总是成对出现？
如何用提示证明正n边形可尺规作图的条件为n可写成不同的费马质数之和？
有哪些不借助变换群的观点就很难解答的欧氏几何问题？
物理生如何系统地学习必要的群论？
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
如何理解群表现？
关于p进数域？
如何直观地理解群论？
如何理解有限单群分类定理？
为什么 SO(2) 群只有一个角度自由度就能表示，SO(3) 群却需要三个独立参数？
为何中学阶段不系统讲授一元三次四次方程？总感觉高中数学的很多内容在初中数学上没有根基，完全是空降的？
交换环的子环是否一定是交换环？
如何理解抽象代数的用途？
请问陪集、左陪集、商群、正规子群该如何理解？