アーベル群
Finitely generated Abelian group