设群G有一个指数为4的正规子群,则G也有一个指数为2的正规子群。这个要怎么证明呢？ 第1页
1
wsheep 网友的相关建议:
设 是群, 是其正规子群, 记 . 则 的包含 的(正规)子群和 的(正规)子群是一一对应的. 设 是 的(正规)子群, 则 是 的包含 的(正规)子群, 且 . 可见任何一本参考书.
现在, 设 是指数为 的正规子群. 则 是四阶群. 可见 必有 阶正规子群 . 记 , 则 是 的正规子群且 .
1
相关话题
G是一个单群，H<G,[G:H]<=4,证|G|<=3?全体质数的倒数和是发散的还是收敛的？如果收敛，收敛到多少？（多重问题预警）?
不使用范畴论，如何刻画一个线性映射是“自然”的？
任何Abel群都能在其上赋予乘法，使其变成含幺环吗？
如何证明 √2 + √3 + √5 是无理数？
一个范畴问题?
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
关于整矩阵的一道题怎么解?
对于抽象代数中的这个互素后的怎么证明比较合适?
为什么 SO(2) 群只有一个角度自由度就能表示，SO(3) 群却需要三个独立参数？
前一个讨论
怎样普适地求此特殊非线性矩阵方程的解？
下一个讨论
数学中，有哪些方程和思想让你体会到了美感？
相关的话题
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
一个UFD是PID的条件是什么?
如何从数学角度证明魔方复原存在必可解策略？
SU(4)和SO(6)的“自由度”都是15，它们具有同态关系吗?
平面上两条 n 次曲线相交，交点的最大个数是否为 n²？
(G/H)×H是否同构于G？
（动力系统 + 拓扑学 + 抽象代数）和（泛函分析 + 实变函数 + 复分析和解析几何）有哪些联系？
历史上，近世代数中环和域的概念是怎样逐步建立的？
一个UFD是PID的条件是什么?
负数与负数相乘为什么会得正？
如何证明下面的群是奇数阶Abel群？
如何正确理解群论中的同态基本定理？
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？
平面上两条 n 次曲线相交，交点的最大个数是否为 n²？
群论研究结构，「结构」一词是什么意思？跟数学有什么关系？
剩余类环的所有理想怎么求？
如何证明这个群论问题？
为什么感觉群论学起来比数学分析之类难好多？
这个多项式问题从何入手进行求解？
请问费马大定理写成方程形式是否可以证明？
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
如何证明 √2 + √3 + √5 是无理数？
求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?
对于抽象代数中的这个互素后的怎么证明比较合适?
如何证明 √2 + √3 + √5 是无理数？
SU(4)和SO(6)的“自由度”都是15，它们具有同态关系吗?
能否求出n次对称群中置换的最大阶？
（动力系统 + 拓扑学 + 抽象代数）和（泛函分析 + 实变函数 + 复分析和解析几何）有哪些联系？
请列出一个最难相信但确实有根式解的一元五次方程？