设群G有一个指数为4的正规子群,则G也有一个指数为2的正规子群。这个要怎么证明呢？ 第1页
1
wsheep 网友的相关建议:
设 是群, 是其正规子群, 记 . 则 的包含 的(正规)子群和 的(正规)子群是一一对应的. 设 是 的(正规)子群, 则 是 的包含 的(正规)子群, 且 . 可见任何一本参考书.
现在, 设 是指数为 的正规子群. 则 是四阶群. 可见 必有 阶正规子群 . 记 , 则 是 的正规子群且 .
1
相关话题
关于整矩阵的一道题怎么解?高斯素数有类似于素数定理的分布律吗？
n整除Phi(p^n-1)，怎么证明？
为何中学阶段不系统讲授一元三次四次方程？总感觉高中数学的很多内容在初中数学上没有根基，完全是空降的？
负数与负数相乘为什么会得正？
线性映射为什么那么重要？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
为什么 SO(2) 群只有一个角度自由度就能表示，SO(3) 群却需要三个独立参数？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
前一个讨论
怎样普适地求此特殊非线性矩阵方程的解？
下一个讨论
数学中，有哪些方程和思想让你体会到了美感？
相关的话题
这个多项式问题从何入手进行求解？是否区间 [0, 1] 内的代数数都可以表示为 sin²(kπ)（其中 k∈Q）的形式？
剩余类环的所有理想怎么求？
如何直观地理解群论？
请简单地表述结合律和交换律的区别和联系。结合律为什么那么普遍？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
是否区间 [0, 1] 内的代数数都可以表示为 sin²(kπ)（其中 k∈Q）的形式？
有没有对于各种榫卯结构，在数学上的研究?
历史上，近世代数中环和域的概念是怎样逐步建立的？
勒让德多项式的意义？
有限维线性空间的有限是怎么理解？
如何理解有限单群分类定理？
勒让德多项式的意义？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
在线性代数中如何用几何表示非方阵矩阵相乘？
全体质数的倒数和是发散的还是收敛的？如果收敛，收敛到多少？（多重问题预警）?
（动力系统 + 拓扑学 + 抽象代数）和（泛函分析 + 实变函数 + 复分析和解析几何）有哪些联系？
有哪些适合初学微分几何，抽象代数，群论的note或者教材？
多次试图学习抽象代数，但屡屡受挫，该怎么办？
高等代数中线性变换的核的基怎么求？
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
任何Abel群都能在其上赋予乘法，使其变成含幺环吗？
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
请问这个抽象代数题怎么证明？
如何把微信群/QQ群构造成一个阿贝尔群？
对于数学分析、微分方程、复变、代数学、拓扑学等数学课程你都见过哪些很有自己一派风格而不落俗套的教材?
有哪些适合初学微分几何，抽象代数，群论的note或者教材？
有限群的群行列式因式分解后，各因式的次数是否与重数相等？
负数与负数相乘为什么会得正？