Lo más sencillo es tomar un elemento en

y comprobar que pertenece a

. Es inmediato y en realidad ya lo tienes escrito.
Esto no es cierto, necesitas revisar bien la definición de subgrupo normal.
Deducir que

es el subgrupo más grande de

en el cual

es normal.
Seguramente quisiste escribir: "Deducir que

es el subgrupo más grande de

en el cual

es normal."
Aquí realmente no hay nada que hacer. Lo que está diciendo este enunciado es:

y si

con

entonces

.