아벨 군
Subgroups of a finitely generated Abelian group are themselves finitely generated.