正规子群

普通子群只要求内部自洽；正规子群还要求从全群任何“坐标系”观察时仍是同一子群。共轭 $n\mapsto gn{g}^{-1}$ 是先把坐标移到 $g$ 所在位置、执行 $n$、再移回来。若这一变换不会把 $N$ 中的动作送出 $N$，$N$ 才能代表一类与全群乘法相容的“不可观察差异”。

正规不等于“每个元素位于中心”。中心里的元素逐个与全群交换，而正规性只要求整个集合在共轭后保持，可以允许元素在 $N$ 内彼此置换。$A_3$ 在 $S_3$ 中正规，但两个三轮换会被换位共轭后互换，并不与所有置换交换。

左右陪集相等使商群运算不依赖代表元。若把 $N$ 中所有元素都压成单位元，那么从代表元左侧或右侧吸收一个 $N$-因子都必须给出同一类；正规性正好提供这项保证。

阿贝尔群的每个子群都正规，因为 $gn{g}^{-1}=n$。任意群的平凡子群、全群和中心也都正规。指数为 $2$ 的子群自动正规：左右陪集都只有子群自身与唯一的另一个块。

符号映射

是群同态公理库群同态Group homomorphism · Homomorphism保持群运算的映射，核记录被消去的信息，像记录实际保留下来的结构。，其核 $A_n$ 因而正规。在 $S_3$ 中，$A_3=\{e,(123),(132)\}$ 是正规子群；反之，$H=\{e,(12)\}$ 不正规，因为

正方形对称群 $D_4=⟨r,s\mid r^4=s^2=e,srs=r^{-1}⟩$ 中，旋转子群 $⟨r⟩$ 正规，因为反射共轭只把 $r$ 变成 $r^{-1}$。反射子群 $⟨s⟩$ 不正规，因为旋转会把一条反射轴送到另一条反射轴。这一几何例子清楚地区分“整个旋转系统稳定”与“某条反射轴稳定”。

正规性不具有传递性。Klein 四元群

正规于 $A_4$；其中任意二阶子群又正规于 $V_4$，因为 $V_4$ 阿贝尔。但这些二阶子群在 $A_4$ 中彼此被共轭置换，所以并不正规于 $A_4$。写正规链时必须标清每一步的正规性相对于哪一个群而言。

任意群同态 $\phi :G\to H$ 的核都正规：

反过来，每个正规子群 $N$ 都是自然投影 $G\to G/N$ 的核。因此“正规子群”与“某个同态看不见的部分”是同一类对象。

任意族正规子群的交仍正规；同态下正规子群的原像也正规。像的结论要更谨慎：若 $N⊴G$，则 $\phi (N)⊴\phi (G)$，但在 $\phi$ 不满射时未必正规于整个陪域。若忽略正规性相对于哪个群成立，就会把像中的局部结论错误提升到整个陪域，继而误用对应定理或群扩张结论。

商群公理库商群Quotient group将正规子群压成单位元后，在其陪集商集上诱导出的群。把正规子群压成单位陪集。第一同构定理公理库群第一同构定理First isomorphism theorem for groups群同态的定义域商去其核后，与同态像自然同构。说明任何同态像都可由定义域商掉核得到；对应定理与第二、第三同构定理则组织包含关系、子群与连续取商。交换子子群、组成列和可解群都建立在正规子群链上。

若从任意子集 $S$ 出发，需要包含它的最小正规子群，就取所有共轭元 $gs{g}^{-1}$ 的生成子群，称为 $S$ 的正规闭包。它一般大于普通生成子群，这正是“对内部运算封闭”和“对全群共轭也封闭”的差距。