ガロアの定理
#代数学
主張
$ F 上の多項式 $ f(x) と,その最小分解体 $ Eを考える。以下は同値である。
方程式 $ f(x)=0が代数的に解ける
ガロア群$ \operatorname{Gal}(E/F)が可解群である
証明
1. ガロア群$ \operatorname{Gal}(E/F)が可解群である -> 方程式 $ f(x)=0が代数的に解ける