设群G有一个指数为4的正规子群,则G也有一个指数为2的正规子群。这个要怎么证明呢？ 第1页
1
wsheep 网友的相关建议:
设 是群, 是其正规子群, 记 . 则 的包含 的(正规)子群和 的(正规)子群是一一对应的. 设 是 的(正规)子群, 则 是 的包含 的(正规)子群, 且 . 可见任何一本参考书.
现在, 设 是指数为 的正规子群. 则 是四阶群. 可见 必有 阶正规子群 . 记 , 则 是 的正规子群且 .
1
相关话题
有哪些不借助变换群的观点就很难解答的欧氏几何问题？线性映射为什么那么重要？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
平面上两条 n 次曲线相交，交点的最大个数是否为 n²？
对于数学分析、微分方程、复变、代数学、拓扑学等数学课程你都见过哪些很有自己一派风格而不落俗套的教材?
有限维线性空间的有限是怎么理解？
对于抽象代数中的这个互素后的怎么证明比较合适?
有理数域加减乘除都是封闭的，那为什么部分无理数可以表示为有理数加减后的无穷级数呢？
减一个负数，为什么是加这个数的相反数呢？
如何证明任何有限域中的任何元素均可写成两数的平方和？
前一个讨论
怎样普适地求此特殊非线性矩阵方程的解？
下一个讨论
数学中，有哪些方程和思想让你体会到了美感？
相关的话题
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
请简单地表述结合律和交换律的区别和联系。结合律为什么那么普遍？
如何把微信群/QQ群构造成一个阿贝尔群？
114514 阶的群有哪几类？
这个多项式问题从何入手进行求解？
integral domain为啥叫整环？
不使用范畴论，如何刻画一个线性映射是“自然”的？
不使用范畴论，如何刻画一个线性映射是“自然”的？
在线性代数中如何用几何表示非方阵矩阵相乘？
关于p进数域？
如何用提示证明正n边形可尺规作图的条件为n可写成不同的费马质数之和？
如何用提示证明正n边形可尺规作图的条件为n可写成不同的费马质数之和？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
如果你要向一位学过初级的抽象代数的本科生推销数学工具「正合序列」，你会如何介绍它？
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？
对于数学分析、微分方程、复变、代数学、拓扑学等数学课程你都见过哪些很有自己一派风格而不落俗套的教材?
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
如何理解群表现？
学习数论图论有必要先学抽代和高代吗？
有限维线性空间的有限是怎么理解？
Z^n的所有子群怎么求？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
一个范畴问题?
任何Abel群都能在其上赋予乘法，使其变成含幺环吗？
剩余类环的所有理想怎么求？
如何证明下面的近世代数问题？
问一下，这几个群是什么群，有什么性质？
平面上两条 n 次曲线相交，交点的最大个数是否为 n²？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？