- 48 名前：１３２人目の素数さん [2011/12/26(月) 23:25:27.19 ]
- >>46
では、やさしい方が教えてくれると信じて。
命題。体kを係数とする定数で無い多項式F
に対して、
kを含む体Kで、F(X)がK[X]において一次式の積に分解
するものがある。
証明のすじ。
Fの次数をn,k(Y)を体kの分数式とする。
R:=k(Y)[Z_1,...,Z_n]
とし、
MをRの極大イデアルで、
F(Y)-(Y-Z_1)...(Y-Z_n)
を含むものとし、
K:=R/Mとする。
Kはk(Y)を含む体であり、
F(Y)=(Y-z_1)...(Y-z_n)
である。ここでz_iは、
Z_iのKでの剰余類。
(ここまでは、よいとする)
ここから、どうやって証明を終わらせますか？
