方程式の可解性

随分長い間、更新せずにいてすみません。近いうちにまた更新します。

で、代数方程式が加減乗除とベキ根でとける条件ですが。解の性質は
ｎ次の対称群と同値になります。このもとの群の部分群が正規部分群
でありつずけて、最後に単位群になれば可解であるといえます。

それは、なぜかと言えば、次数の高い部分群の元が、巡回群になる
ことから言えるのだそうです。私は、まだ確認していませんが、それが
可解性の肝になるようです。

また、この件は記事にします。