[alg]
Subgroups of finitely-generated abelian groups are finitely-generated.

Not necessarily true for finitely-generated non-abelian groups.