Let be a Group and its Subgroup The normalizer of is given by: Proposition Normalizer of in is the biggest subgroup of where is Normal.