Definition
For group and subgroup , the normalizer of in is the largest subgroup such that .
I think.
Note
If is a normal subgroup, then .
For group G and subgroup H, the normalizer of P in G is the largest subgroup N≤G such that H⊴N.
I think.
If H⊴G is a normal subgroup, then NG(H)=G.