『数学ガール』のガロア理論

『数学ガール（ガロア理論）』結城浩にガロアの第1論文が次のようにまとめてある。たいへん簡潔で指標になる。

定義　可約と既約
定義　置換群
補題1　既約多項式の性質
補題2　根で作るV
補題3　Vで根を表す
補題4　Vの共役
定理1　「方程式のガロア群」の定義
定理2　「方程式のガロア群」の縮小
定理3　補助方程式のすべての根を添加
定理4　縮小したガロア群の性質
定理5　方程式が代数的に解ける必要十分条件