12/02/19 10:34:38.63
訂正
>>292
V3=b+o*c+o^2*a, V3=b+o*a+o^2*c,
↓
V3=b+o*c+o^2*a, V6=b+o*a+o^2*c,
>>294：V2→V4
ここで、互換（b,c）を作用させると、rは変化しないので、たとえばV1*V4とすると
V1*V4＝(a+o*b+o^2*c)*(a+o*c+o^2*b)
=b*c*o+c^2+b^2+b*c*o^2+a*c*o^2+a*b*o^2+a*c*o+a*b*o+a^2
=a*b*o^2+b*c*o^2+a*c*o^2+a*b*o+b*c*o+a*c*o+a^2+b^2+c^2
=(a*b+b*c+a*c)*o^2+(a*b+b*c+a*c)*o+a^2+b^2+c^2
=(a*b+b*c+a*c)*(o+o^2)+a^2+b^2+c^2
=-(a*b+b*c+a*c)+a^2+b^2+c^2
などとなりますが、これK(r)になる？
>>300：V2→V4
>V1*V4＝(a+o*b+o^2*c)*(a+o*c+o^2*b)
えーと、正確には
（x-V1)*(x-V4)=x^2+(V1+V4)*x+V1*V4
を考えて、（x-V1)*(x-V4)は互換（b,c）で変化しないから、これが因子f'(V,r) の候補だと
それで、定数項V1*V4を計算してみたのが>>294なんだけど