多項式環 → アフィン空間 → 零点集合 → イデアル → 代数閉体 → Hilbertの零点定理
入口
多項式環
目標
Hilbertの零点定理
進捗
ルート設計中
代数的条件を多項式で書く
多項式の値を調べる点の集合を用意する
多項式が同時に消える場所を見る
多項式条件の集まりを代数的に扱う
根が十分に存在する体の上で考える
イデアルと代数的集合を結びつける