La respuesta 1 anterior . Lea la explicación siguiente y pruebe otra vez.
Cap.3/Ejerc.2/Preg.3:
(Z/5Z, +), o bien Z5, es grupo si 5Z es subgrupo invariante de Z, es decir, si las clases a izquierda y a derecha con respecto a la relación de equivalencia inducida por el subgrupo 5Z son iguales.
Ahora bien, en este caso la operación ( + ) es conmutativa, por lo que todos los subgrupos son invariantes, en particular, 5Z también lo es. En consecuencia, (Z5, + ) es grupo con respecto a la suma inducida por la suma de Z.