>>652
>方程式の分解体が解すべてによって生成されるのか
>それとも1つで足りるのか、は大きな違い
>後者の場合、解の置換群の生成元も1つであり、したがって巡回群である

「素数次の既約方程式」という条件は必要ですね。