12/02/19 11:54:03.30
>>280
これ、ガロアを読む: 倉田令二朗>>4の16節（P146）からの「根の有理式の添加によるガロア群の簡約」が参考になるね
補助方程式：{ x - (α-β)^2 } { x - (β-γ)^2 } { x - (γ-α)^2 } = 0
で、
根 (α-β)^2は、>>289の巡回群G（＝C3）で変わる。具体的には
(α-β)^2
(β-γ)^2
(γ-α)^2
となる
根 (α-β)^2は、>>289の互換σ1, σ2, σ3と恒等置換e
で変わらない
で、互換σ1, σ2, σ3と恒等置換eとで、対称群S3の部分集合を形成するが
部分群ではない
部分群は>>290、 { e , (12) } など位数２の部分群３つか、位数３の{ e , (123) , (132) } の一つしかない（真の部分群の意味で）
位数３の{ e , (123) , (132) } は、>>289のG。 { e , (12) } は、>>289のH。