La respuesta 1 anterior . Lea la explicación siguiente y pruebe otra vez.
Cap.2/Ejerc.2/Preg.3:
(Z/5Z, +) 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.