- 325 名前：現代数学の系譜11 ガロア理論を読む [2012/02/21(火) 21:08:25.74 ]
- >>324
誘導ありがとう。君は親切だね
f(α,β,γ)=（α−β）^2で、これを変えない置換は、（α,β）（＝α,βの互換）で変わらない式を作る
Ｖ１＝ａα＋ｂβ＋ｃγ、Ｖ４＝ａβ＋ｂα＋ｃγ（Ｖ１に（α,β）を施してＶ４に）
で、（ｘ−Ｖ１）（ｘ−Ｖ４）がそれ
同じようにするんだが、>>289の記号で、r+ ＝(1 2 3 ｜ 2 3 1), r-＝(1 2 3 ｜ 3 1 2)（長さ３の巡回置換）を使って
（β−γ）^2を添加するときは、これを変えない置換は（β、γ）で変わらない式を作る
r-（Ｖ１）＝ａβ＋ｂγ＋ｃα＝Ｖ２として、（β、γ）（Ｖ２）＝ａγ＋ｂβ＋ｃα＝Ｖ５
で（ｘ−Ｖ２）（ｘ−Ｖ５）
（γ−α）^2を添加するときは、これを変えない置換は（γ、α）で変わらない式を作る
r+ （Ｖ１）＝ａγ＋ｂα＋ｃβ＝Ｖ３として、（γ、α）（Ｖ３）＝ａα＋ｂγ＋ｃβ＝Ｖ６
で（ｘ−Ｖ３）（ｘ−Ｖ６）
これで、F(x)=(x-V1)(x-V2)(x-V3)(x-V4)(x-V5)(x-V6)の分解が見える
|
 |
