12/02/29 00:01:29.58
>>361
>でも、この表現だと、例えばV'に対応する置換φV',φ1V',・・・・,φm-1V',が具体的にどういう根の並びになっているか不明
>でも、直感的には例えば、V1=Ab+Ba+Cc+・・・(互換(a,b))なら、根の並びも b, a, c ・・・(互換(a,b))が対応するんじゃないかと。それが自然な対応で、そういう自然な対応になっていないと、群の積を考えたときに困るだろうと
>
>ここは原論文では詳しく説明されていないが、倉田>>4P119の命題2(Vの有理式の群と根の置換の成す群が(反)同型)を考えればそうなる
これ少し考えて見たが
倉田>>4の7節「ラグランジュの定理」の証明に使う分母に微分が来る式があるんだが、その筋で直接照明できるね
時間があるときに書く