有限生成アーベル群
単項イデアル整域上の有限生成加群の構造定理の特別な場合である有限生成アーベル群の基本定理 (fundamental theorem of finitely generated abelian groups) は(単項イデアル整域の場合と同様に)2通りに述べることができる。