Group theory MOC Normalizer in a group Let be a group and be a subset. An element normalizes iff it leaves invariant under conjugation, i.e. The normalizer of in is the subgroup of all elements normalizing , group i.e. Proof of subgroup This is just the setwise stabilizer of under the conjugation action. See also Normalizer in a Lie algebra tidy | en | sembr