方程式が「根号で解ける」とは、Galois群のどういう性質か。なぜ五次以上の一般の方程式には解の公式がないのか。
可解群の定義と $S_5$ が可解でないことは220で学んだ。証明の両方向(根号 ⇒ 可解、可解 ⇒ 根号)を別々に追うと見通しがよい。
体上の多項式が根号で解けるのは、そのGalois群が可解群のときに限る。一般五次方程式のGalois群は $S_5$ で可解でないので、解の公式は存在しない。
Galois対応、円分体、可解群と $S_5$(220)。
Mathpediaは寄付と、参考文献の書籍リンク(Amazonアソシエイト)の紹介料で運営されています。 支援について / 寄付する