不變子群

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