next up previous
Next: 鐃緒申鐃緒申屮粉鐃緒申鐃�

    

鐃緒申鐃緒申鐃� II 鐃緒申鐃緒申 No.4

鐃緒申鐃緒申鐃塾テ￥申鐃緒申:

\fbox{イデアルの扱い方・グレブナ基底}

鐃緒申鐃緒申鐃叔はワ申鐃叔ワ申鐃緒申琉鐃緒申鐃緒申砲弔鐃緒申鐃緒申鐃渋�鐃緒申鐃銃わ申鐃緒申鐃緒申鐃夙にわ申鐃暑。

鐃殉わ申鐃緒申鐃緒申鐃緒申鐃緒申弔鐃緒申鐃緒申鐃緒申蠅�鐃初。

鐃緒申鐃緒申 4.1  
1.
$k[X_1,\dots,X_n]$ 鐃緒申任鐃春のワ申鐃叔ワ申鐃緒申 $I$ 鐃祝つわ申鐃銃￥申 $I(V(I))\supset I$ 鐃緒申鐃緒申鐃緒申立鐃縦￥申
2.
$k^n$ 鐃緒申任鐃春わ申鐃緒申分鐃緒申鐃緒申 $S$ 鐃祝わ申鐃緒申鐃緒申鐃銃￥申 $V(I(S))\supset S$鐃緒申鐃緒申鐃緒申立鐃縦￥申
3.
$k^n$ 鐃緒申任鐃春わ申鐃緒申鐃重�鐃緒申鐃緒申 $V$ 鐃祝わ申鐃緒申鐃緒申鐃銃￥申 $V(I(V))=V$ 鐃緒申鐃淑りた鐃縦￥申

鐃緒申鐃緒申鐃塾種申: $I$ 鐃緒申 鐃緒申 $R$ 鐃塾ワ申鐃叔ワ申鐃緒申任鐃緒申襦�鐃夙醐申鐃緒申譴随申蕁� $I$ 鐃塾なわ申鐃叔は加醐申鐃緒申鐃夙￥申 $R$ 鐃祝わ申鐃緒申鐃術につわ申鐃緒申 鐃縦わ申鐃銃わ申鐃暑こ鐃夙わ申鐃楯証わ申鐃緒申討鐃緒申襦�

鐃春に￥申 $I$ 鐃緒申 $R$ 鐃塾ワ申鐃叔ワ申鐃緒申任鐃緒申襪鰹申箸鮗┐鐃緒申鐃緒申噺鐃緒申鐃曙た鐃初、 $I$ 鐃塾なわ申鐃叔は加醐申鐃緒申鐃夙￥申 $R$ 鐃祝わ申鐃緒申鐃術につわ申鐃緒申 鐃縦わ申鐃銃わ申鐃暑こ鐃夙わ申鐃緒申鐃緒申鐃緒申討鐃緒申个茲わ申錣縁申任鐃緒申襦�

鐃緒申鐃叔ワ申鐃暑が鐃緒申鐃緒申鐃緒申鐃緒申鐃夙を示わ申鐃緒申鐃緒申両鐃緒申鐃緒申鐃淑￥申

$\langle a,b,c,\dots\rangle_{\text{ideal}}$ 鐃緒申 鐃緒申鐃叔ワ申鐃緒申 $I$ 鐃祝含まわ申襪鰹申箸鮗┐鐃緒申鐃� 鐃夙醐申鐃緒申譴随申蕁� $a,b,c,\dots$ 鐃緒申鐃緒申鐃曙ぞ鐃緒申 $I$ 鐃祝含まわ申襪鰹申箸鮗┐鐃緒申个茲わ申鐃� ( $\langle a,b,c,\dots\rangle_{\text{ideal}}$ 鐃緒申 $a,b,c,\dots$ 鐃薯それぞ鐃緒申泙鐃処う鐃淑ワ申鐃叔ワ申鐃緒申里鐃緒申鐃緒申鐃緒申脳鐃緒申覆鐃塾わ申鐃緒申鐃初。)

$I=J$ 鐃薯示わ申鐃緒申鐃夙醐申鐃緒申鐃緒申鐃� $I\subset J $ 鐃緒申 $I\supset J$ 鐃緒申 鐃緒申鐃緒申鐃祝￥申砲鐃所示鐃緒申鐃緒申鐃夙わ申佑鐃緒申鐃緒申鐃緒申鐃塾わ申鐃殉わ申鐃峻わ申鐃緒申

鐃緒申鐃叔ワ申鐃暑が鐃緒申鐃緒申鐃緒申鐃淑わ申鐃緒申鐃夙を示わ申鐃緒申鐃緒申両鐃緒申鐃緒申鐃淑￥申 鐃瞬わ申鐃曙ぞ鐃緒申鐃緒申鐃緒申鐃緒申廚箸鐃緒申鐃緒申鐃祝￥申鐃�

\begin{displaymath}I\subset J \implies V(I) \supset V(J) \end{displaymath}

鐃緒申鐃出駈申鐃緒申箸鐃緒申鐃祝￥申任鐃緒申襦� 鐃緒申鐃緒申鐃緒申鐃緒申鐃曙が鐃緒申鐃殉わ申鐃峻わ申鐃淑わ申鐃緒申鐃夙もあ鐃暑。

鐃緒申鐃縮にはワ申鐃緒申屮粉鐃緒申鐃夙わ申鐃緒申鐃緒申里鐃縦わ申鐃緒申鐃塾わ申鐃処い鐃緒申 鐃緒申鐃緒申鐃叔は「鰹申蟷誌申廚函鐃�S多鐃準式鐃竣の居申鐃緒申鐃緒申鐃緒申鐃殉わ申鐃夙わ申鐃暑。


 
Yoshifumi Tsuchimoto
2001-05-24