正规化子

群 中满足以下条件的元素集合

被称为相对于群元素子集 的正规化子 。如果 是 的一个 子群，则 也是包含 的一个 子群。