Por hipótesis, todo coset izquierdo de $N$ en $G$ es un coset derecho de $N$ en $G$ . Así, para $a\in G$ , $aN$ siendo un conjunto de la izquierda, debe ser un conjunto de la derecha. ¿Qué coset derecho puede ser?
Desde $a=ae$ y obviamente $e\in N$ , tienes que $a=ae\in aN$ . Por lo tanto, cualquier coset correcto $aN$ resulta ser, debe contener el elemento $a$ . Sin embargo, $a$ está en el coset derecho $Na$ y dos cosets derechos distintos no tienen elementos en común (recordemos que estar en un coset es una relación de equivalencia, que induce una partición de $G$ ). Así que este coset derecho es único: $aN=Na$ .
Por lo tanto, para cada $g\in G$ , usted tiene $$gNg^{-1}=Ngg^{-1}=N$$ que es la normalidad de $N$ en $G$