環と加群 → PID → 有限生成加群 → 自由加群と関係式 → Smith 標準形 → 構造定理
入口
環と加群
目標
構造定理
進捗
ルート設計中
ベクトル空間を一般化した対象を見る
イデアルが一つの元で生成される環を使う
有限個の元から作れる加群を対象にする
生成元と制約で加群を記述する
関係式を標準的な形に整理する
有限生成加群を基本部品の直和に分解する