G是一个单群，H<G,[G:H]<=4,证|G|<=3? 第1页
1
zhai-sen-8 网友的相关建议:
首先原命题需要在 的条件下才成立，否则所有单群阶数都不超过 了。这里用一个关于小于 阶的单群的结论来做。
按你说的群作用， 自然地作用在商集 上 ，这个群作用诱导了群同态 ， .（其中 代表 自己到自己的所有双射的集合，显见 ）由于 是单群， 作为 的正规子群只能是 或 。但其实不能是 ，因为要是 的话 ，即所有 都满足 ，这意味着 ，违背了 的条件。因此 ，即 是单射。故 . 我们熟知大于 且小于 阶的非素数阶子群都不是单群。注意 是 的倍数。故假若 只能有 ；假若 只能有 ；假若 那单群 不存在，因此原命题得证。
1
相关话题
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？若K是一个数域。a+bi∈K，(a≠0,b≠0)。请问a和b一定属于K吗？
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
如何从数学角度证明魔方复原存在必可解策略？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?
如何正确理解群论中的同态基本定理？
下一个讨论
为什么拓扑的连续映射不倒着定义？
相关的话题
平面上两条 n 次曲线相交，交点的最大个数是否为 n²？有哪些适合初学微分几何，抽象代数，群论的note或者教材？
如何把微信群/QQ群构造成一个阿贝尔群？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
李群的伴随表示如何理解？
交错群An(n大于等于5)是单群理解上有个小问题，大家怎么看？
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
关于p进数域？
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
同调群在拓扑以外有什么应用？
无限群是否一定含无限阶元？无限群是否一定有无限多个子群？
群论和拓扑的关系是什么？群论本来就是拓扑的一种形式？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
柯斯特利金的《代数学引论》写的怎么样？是否值得一看？
一个UFD是PID的条件是什么?
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
如何理解群表现？
如何证明dimQ（R）=dimQ（C）？
怎么样通俗易懂地向小学生介绍群论的思想？
S＝{a+b√3i | a∈Q, b∈Q} 是数域吗？
为什么实系数多项式方程的虚数解总是成对出现？
有没有休闲级别、能读懂的讲「群论」的书籍？
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？
柯斯特利金的《代数学引论》写的怎么样？是否值得一看？
为什么感觉群论学起来比数学分析之类难好多？
勒让德多项式的意义？
叶戈罗夫定理的逆定理该怎么证明？
如何理解有限单群分类定理？
交错群An(n大于等于5)是单群理解上有个小问题，大家怎么看？