アーベル群
Subgroups of a finitely generated Abelian group are themselves finitely generated.