正规子群

正规子群是一个在任何元素的共轭作用下保持不变的子群。

正规子群是一个大学级别的概念，通常在涵盖群论的抽象代数课程中首次遇到。

群:	数学群是一个元素集合和一个二元运算，它们共同满足封闭性、结合性、单位元性质和逆元性质这四个基本性质。
子群:	子群是一个数学群的子集，它本身也是一个群。