群論の有名な定理の1つに有限生成アーベル群の基本定理というものがある。これは、群Gが有限生成アーベル群であれば、Gは巡回群の直積に分解できるというものである。より具体的には以下の通りである。 群Gが有限生成アーベル群であれば、となるような自然数…