22/12/10 18:19:00.64 meH3MbbN.net
>>586
まったく同感
ただ、>>570の以下の文章は
任意の体は代数的閉体だと読めちゃうんですよ
「(a1,a2,a3,a4,a5)たちは、a^(1/5)含んだ代数式(加減乗除とべき根)で表される
例えば、この式を ai=f(a^(1/5)) とでもしましょう (ここに、iは1~5のどれか)
最小分解体は、体だから加減乗除の逆演算が可能で、
かつ任意の指数nのべき根についても、逆演算のn乗でべき根は外せる
だから、式f(a^(1/5)) に上記の逆演算を施すことで、
f(a^(1/5))→a^(1/5)を最小分解体内に得ることは可能
つまり、既約で可解な5次方程式の最小分解体 Q(a1,a2,a3,a4,a5)には、
方程式の係数から決まるある無理数a^(1/5)が含まれる」