共軛子群

一個原始群 的子群 具有元素 。設 是原始群 的一個固定元素，它不是 的成員。然後，變換 , (, 2, ...) 生成所謂的共軛子群 。如果對於所有 ，，則 是一個正規（也稱為“自共軛”或“不變”）子群。

阿貝爾群的所有子群都是正規的。