Foro de consultas de teórico

Buenas.

Ahí lo que usa es que la clase lateral de un elemento $k \in H$ es el propio $H$. Es decir: si $k \in H$, entonces $k H=H$.

En la prueba se usa esta propiedad con $k=\hat{h} * h \in H$, para argumentar que $kH = ( \hat{h} * h ) H = H$.

Si no se entiende algo preguntá de nuevo.

Saludos.