next up previous
Next: ����֥ʴ��� Up: ����֥ʴ��� Previous: ʣ����¿�༰�ˤ��ֳ�껻��

S-¿�༰

�⤦��Ĥ�ͭ�Ѥʳ�ǰ��Ƴ�����褦��

��� 4.1   $f,g\in k[X_1,\dots,X_n]$ ���Ф��ơ�$f,g$ �� S-¿�༰�Ȥϡ� $\operatorname{Head}(f),\operatorname{Head}(g)$ �κǾ����ܿ� $h$ ��Ȥäơ�

\begin{displaymath}S(f,g)=(h/\operatorname{Head}(f)) f - (h/\operatorname{Head}(g)) g
\end{displaymath}

�Ȥ�������ΤǤ��롣

�褦�ϡ� $f,g$ �򤦤ޤ���������������Ƴ���ä����Ȥ�ͤ���ΤǤ��롣



Yoshifumi Tsuchimoto
2001-05-24