Es cierto que una infinita grupo que es finitely generados deben tener un elemento de orden infinito? Si no, me gustaría un contraejemplo.
[Editar] Algo fácilmente demostrado falsa.
Más interesante (y como sucede, lo más relevante para mi particular dominio del problema), ¿qué acerca de finitely presentan grupos?