El grupo Q de números racionales bajo la adición tiene la misma cardinalidad de Z, pero no puede ser finitamente generado.