Todos los grupos cocientes de Z son finitos, salvo por la excepción trivial Z/{0}.