- 228 名前：50 [2011/12/30(金) 12:12:36.19 ]
- もうひとつ。
代数的閉体kを係数とする多項式F\in k[X_1,...,X_n]が
互いに割り切らない規約多項式の積に分解されているとする。
F=F_1^{e_1}...F_m^{e_m},e_I>0.
このとき、V(F)の既訳成分への分解と、V(F)のイデアルは
V(F)=V(F_1)U...UV(F_m), I(V(F))=(F_1...F_m).
ここでV(F)はFの零点の集合。
この命題は、n=2の時は既知として、n>2の場合も
簡単にそこからでますでしょうか？
