Luego mZ es un subgrupo de los Enteros.