Se trata de un grupo cíclico infinito, al igual que lo es el grupo aditivo