多項式環 → 変数の置換 → 対称多項式 → 基本対称式 → 次数による消去 → 対称式の基本定理
入口
多項式環
目標
対称式の基本定理
進捗
ルート設計中
複数の変数をもつ多項式を扱う
変数を入れ替える操作を見る
入れ替えても変わらない式を取り出す
対称性を作る標準部品を用意する
高い項から順に基本対称式で削る
対称多項式は基本対称式の多項式として書ける