体上の多項式環 → 有限生成代数 → 代数的独立性 → 整拡大 → 座標の取り替え → Noether 正規化定理
入口
体上の多項式環
目標
Noether 正規化定理
進捗
ルート設計中
座標をもつ代数の舞台を用意する
有限個の元から作れる代数を扱う
変数として自由に動ける部分を見る
多項式方程式で支配される拡大を見る
見やすい変数を選び直す
有限生成代数を多項式環上の有限拡大として見る