PID 上有限生成加群の構造定理

ベクトル空間を一般化した対象を見る

イデアルが一つの元で生成される環を使う

有限個の元から作れる加群を対象にする

生成元と制約で加群を記述する

関係式を標準的な形に整理する

有限生成加群を基本部品の直和に分解する