Para grupos abelianos, sin embargo, vale que todo subgrupo de un grupo finitamente generado es también finitamente generado.