共轭子群

一个原始群 的子群 具有元素 。设 是原始群 的一个固定元素，它不是 的成员。然后，变换 , (, 2, ...) 生成所谓的共轭子群 。如果对于所有 ，，则 是一个正规（也称为“自共轭”或“不变”）子群。

阿贝尔群的所有子群都是正规的。