Abelian group
アーベル群の基本定理から、この有限生成アーベル群は、無限巡回群 Z と素数べきの位数を持つ巡回群 Z / "m"1Z, ..., Z / "m""t"Z の直積