22/12/06 08:55:13.14 R+sEJurg.net
「概ね合ってる」というのは甘く見ればってことですが、墓穴を掘ってますね。
>既約5次方程式で可解な場合には、方程式の群は位数20の線形群になる
「一番大きい群で」ってことですね。その部分群でもありえますから。
たとえば、ガロア論文に出て来る素数次の既約方程式が解ける
寸前の状態、（あとはp乗根を添加すれば解けるという状態）
方程式はまだ既約のままですが、ガロア群はp次の巡回群ですよ。
（実はガロア分解方程式の方はどんどん縮小していてp次に達しているが
元の方程式はずっと既約p次のまま。）