Hola... 
¿Me podrían ayudar en la demostración(ida) la vuelta ya esta hecha.?
Sean \( G \) un grupo y \( K \) un subgrupo de \( G \), entonces \( K \) es normal en \( G \) si y solo so \( gK=Kg \), para todo \( g \) que pertenece a \( G \).
Mmmm... no tiene mucho sentido lo que pides, porque lo que expones es la
definición de subgrupo normal, por tanto no hay nada que demostrar (ni a la "ida" ni a "vuelta"). ¿Quizá estés utilizando alguna otra definición de subgrupo normal? O dicho de otro modo, ¿qué definición de subgrupo normal te han dado?
