La respuesta 1 anterior . Lea la explicación siguiente y pruebe otra vez.
Cap.3/Ejerc.2/Preg.1:
Definición
Un subconjunto S no vacío de un grupo G se dice subgrupo si, a su vez, es grupo
con respecto a la misma operación.
Teorema de caracterización
Un subconjunto S no vacío de un grupo G es un subgrupo de G si y solo si para
cada par de elementos a y b de S se cumple que a*b' es elemento de S (b' es el simétrico
de B en G).