主イデアル整域上の有限生成加群の構造定理

3行要約

1. PID上の有限生成加群が、自由部分とねじれ部分の直和に分解できること。
2. 線形代数におけるジョルダン標準形の存在を一般化した形で保証する。
3. 有限生成アーベル群の分類など、代数学の広い範囲に適用される。