不變子群

由於正規子群S所形成的多個共軛群都相同，而且就是S本身，所以正規子群亦稱作不變子群。

不變子群

對於群G中的每一個元x，當G的子群S滿足 時，稱子群S為群G的正規子群。