mi duda en la parte b era si se puede usar la propiedad de que como H es finito (ya que G es finito), H va a ser un subgrupo de G si , lo que quedaría algo así
Estaría bueno que probaras esa propiedad que decís (si es finito entonces es subgrupo si y sólo si es cerrado por la operación), o en su defecto, que probaras las otras dos condiciones de subgrupo para . Sobre todo porque esto último es fácil si te salió lo otro, sale de la misma forma que probaste que es cerrado por la operación.