" 已经是正规子群则它等于它的正规闭包。如果 "S" formula_1，则 "S" 的正规闭包是平凡群。如果 "S" = {"a"} 由一个元素构成，则共轭闭包是 "a" 和共轭于 "a" 的所有 "G" 的元素生成正规子群。所以，如果 "G" 是单群，"G" 是 "G" 的任何非单位元元素 "a" 的共轭闭包。对比于带有 "S" 的正规化子的 "S" 的正规闭包，它是其中 <"S"> 自身为正规的“最大”的 "G" 的子群。（在更大的群 "G" 中不必须是正规的，就像 <"S"> 在它的共轭/正