代数方程式が解けることを「体」で表現すること
『今度こそわかるガロア理論』(p.147)
[定義] 根号表示
を含む体 上の多項式
の根 が( 上で)根号表示されるとは, の元と根号 と四則演算によって が表せるときにいう.そして 上の多項式 のすべての根が( 上で)根号表示されるとき, は代数的に解けるという.( の代わりに 上で考える立場もある.)
根号表示されることの意味を別の形で述べてみよう. を含む体 の有限次拡大体 とその中間体の列
があって,各 に対し
となるとき, は体 のべき根による拡大体であるという.そして が の元であるとき, は( 上で)根号表示されるという.
『ガロワと方程式』(p.141)
さて,べき根とは の解のことをいいます. を一つの解とし,
とすると, のすべての解は
で表されます.
(p.150)
べき根で解けるということは,基礎の体 に対して, の分解体 が, から始まるベキ根拡大体の系列,すなわち
で, が のベキ根拡大体になっているような系列があって, であればよいことがわかります.
重根をもたない 係数の 次方程式 の根を としたとき, に を添加してできる体 (= の分解体)がベキ根拡大体になっていれば,その方程式は,べき根で解ける,ということ.
では,方程式がべき根で解けるためには,どのような条件を満たしているかを判定することが必要となる.そのためには のガロア群を調べればよいというのが,“方程式のガロア理論”で,
方程式の分解体がベキ根拡大体 ガロア群は可解群
となる. の対偶は,
ガロア群が可解群でない 方程式の分解体はベキ根拡大体でない
となって,一般の 次()以上の方程式のガロア群は, 次対称群 (と同型)で,それは可解群ではないので,その方程式の分解体は,ベキ根拡大体ではない,となって,分解体の元は根号表示できない,すなわち,有理数に四則演算とベキ開を作用させて得ることができないということになる.