Buenas, Lorena.
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.
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.