正規化子

群 中滿足以下條件的元素集合

被稱為相對於群元素子集 的正規化子 。如果 是 的一個 子群，則 也是包含 的一個 子群。