next up previous
Next: S-多鐃準式 Up: 鐃緒申鐃緒申屮粉鐃緒申鐃� Previous: 鐃緒申亮鐃緒申饉綾鐃緒申

複鐃緒申鐃緒申多鐃準式鐃祝わ申鐃瞬鰹申蟷誌申鐃�

鐃緒申鐃殉￥申鐃緒申 $k$ 鐃緒申鐃渋随申犲逸申鐃� $R=k[X_1,\dots,X_n]$ 鐃塾ワ申鐃叔ワ申鐃緒申 $I=(f_1,\dots,f_l)$ 鐃緒申与鐃緒申鐃緒申鐃銃わ申鐃緒申箸鐃緒申董鐃� $h_i=\operatorname{Head}(f_i)$ 鐃夙わ申鐃緒申鐃緒申鐃夙にわ申鐃暑。

$g\in R$ 鐃緒申鐃出わ申鐃銃種申鐃塾よう鐃緒申鐃緒申鐃緒申佑鐃緒申鐃� 鐃緒申

(鐃緒申鐃�) $g$ 鐃塾刻申里鐃緒申鐃� $h_i$ 鐃緒申鐃旬随申 $mh_i$ 鐃祝なってわ申鐃緒申鐃塾わ申鐃緒申鐃獣わ申鐃夙わ申鐃暑。鐃緒申鐃塾とわ申鐃緒申

\begin{displaymath}g'=g-mf_i \end{displaymath}

鐃緒申佑鐃緒申襦�

$g$ 鐃緒申 $g'$ 鐃夙の違い鐃熟￥申$g$ 鐃緒申 $mh_i$ 鐃塾項が鐃緒申鐃緒申鐃所小鐃緒申鐃緒申鐃緒申鐃緒申鐃� ( $m(f_i-h_i)$)鐃緒申鐃瞬わ申鐃緒申鐃緒申辰討鐃緒申鐃夙わ申鐃緒申鐃叔わ申鐃暑。 鐃緒申鐃駿わ申 $g'$ 鐃祝つわ申鐃銃わ申鐃緒申鐃緒申鐃薯おわ申鐃淑っわ申 $g''$ 鐃緒申彁鐃緒申鐃緒申鐃�...鐃夙わ申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申 鐃緒申鐃緒申鐃緒申鐃薯繰わ申鐃瞬わ申鐃緒申有鐃渋駕申鐃�

\begin{displaymath}T=\{p \in R; \text{$p$\space に現れるどの項も、どの $h_i$\space でも割り切れない。} \} \tag{★} \end{displaymath}

鐃緒申鐃緒申鐃暑元鐃緒申鐃緒申鐃緒申鐃暑。 鐃緒申鐃塾件申鐃緒申鐃緒申鐃曙た $T$ 鐃塾醐申鐃緒申鐃�$g$ 鐃緒申 $f_1,\dots,f_n$ 鐃塾鰹申辰鐃粛常申鐃竣とわ申屐鐃� 鐃瞬鰹申蟷誌申廚侶鐃縮はつわ申鐃塾よう鐃緒申鐃緒申鐃緒申鐃緒申鐃暑こ鐃夙わ申鐃叔わ申鐃暑。

\begin{displaymath}g=\sum_i q_i f_i + r \end{displaymath}

鐃緒申鐃緒申鐃叔￥申$r$ 鐃熟￥申余鐃緒申廚如鐃�$T$ 鐃塾醐申鐃緒申$q_i$ 鐃熟「常申鐃竣にわ申鐃緒申鐃緒申鐃塾で￥申

\begin{displaymath}\operatorname{Head}(g)\geq \operatorname{Head}(q_i f_i) \qquad (\forall i) \end{displaymath}

鐃緒申鐃淑りた鐃獣てわ申鐃暑。

鐃遵記鐃緒申 $T$ 鐃緒申 $k$ 鐃緒申離戰鐃緒申肇鐃緒申鐃瞬でわ申鐃所、 鐃緒申鐃緒申望鐃緒申鐃緒申鐃緒申鐃祝わ申辰鐃�

\begin{displaymath}R=T+I \end{displaymath}

鐃叔わ申鐃暑こ鐃夙わ申鐃緒か鐃暑。 鐃緒申鐃緒申鐃緒申 $R$ 鐃塾醐申鐃緒申鐃塾種申鐃塾よう鐃緒申 $T$ 鐃塾醐申鐃緒申 $I$ 鐃塾醐申鐃緒申分鐃緒申鐃緒申里鐃緒申鐃緒申岾鐃所算鐃緒申 鐃塾器申鐃緒申的鐃淑考わ申鐃緒申鐃叔わ申鐃暑。鐃緒申鐃緒申呂鐃緒申里茲�鐃緒申分鐃緒申鐃緒申鐃塾逸申鐃緒申鐃緒申砲鐃緒申襦�
Yoshifumi Tsuchimoto
2001-05-24