環と加群 → 局所環 → 有限生成加群 → Jacobson 根基 → 商加群 → Nakayama の補題
入口
環と加群
目標
Nakayama の補題
進捗
ルート設計中
環上の線形的な対象を見る
極大イデアルが一つの環を扱う
有限個の元から作れる加群を見る
環の中で消えやすい部分を取り出す
極大イデアルで割った影を見る
商で生成できる情報から加群全体の生成を読む