Ej G abeliano es un Z-módulo.