docoo
Grupo normalizador
Sea $(H, \circ)$ un subgrupo de $(G, \circ)$ " $H \leq G$ " definimos el grupo normalizador de H en G como el mayor subgrupo de G sobre el cual es normal H o lo que es lo mismo todos los $\{ g \in G | < H^g = H \}$ todos los elementos de g que cumplen $g^{-1} \circ H \circ g = H$ y lo escribiremos como $$ N_G (H) $$
Es lo mismo decir que $H \unlhd G$ $H$ es un subgrupo normal de $G$ que decir $N_G(H)= G$ , si $H$ ya es normal en $G$ entones todos los elementos cumplen la condición de pertenecer al grupo normalizador.
--