阿贝尔群
Finitely generated Abelian group