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

��μ��񼰽��

�ޤ�ñ�༰�δ֤˼��񼰽��������롣����ϡ���Ĥ�ñ�༰

\begin{displaymath}a X_1^{i_1}\dots X_n^{i_n},
b X_1^{j_1}\dots X_n^{j_n}
\end{displaymath}

����Ӥ򡢤��줾��λؿ� $(i_1,i_2,\dots,i_n)$ $(j_1,j_2,\dots,j_n)$ �� �֤ɤ��餬�٤�����˸���뤳�Ȥˤʤ뤫�פ���Ӥ����ΤǤ��롣 �㤨�С�

\begin{displaymath}X^2>X^1Y^2 Z^3 >X^1YZ^3>XZ^5
\end{displaymath}

���ν���ϡ��һؿ���Ȥ�ʤ���ñ�༰��ɽ��������Τμ��񼰽���� ���ʤ��Ǥ��롣

\begin{displaymath}XX >XYZZZ >XYZZZ>XZZZZ
\end{displaymath}

�ɤ���Ǥ�ͤ��䤹�����ǹͤ���Ф����櫓���������Ԥ�����������ľ�ܸ��Ƥ���֤� �����䤹����������

���̤ˡ�¿�༰ $p$ ����Ƴ��Ȥϡ�$p$ �˸�����Τ������񼰽���ˤĤ��� �����礭�ʹ�򤵤�������� $\operatorname{Head}(p)$ �Ƚ񤯤��Ȥˤ��褦�� �㤨�С�

\begin{displaymath}\operatorname{Head}(15X^2-4X^3YZ-5X^4+7XY^8 Z)=-5X^4
\end{displaymath}

�Ǥ��롣



Yoshifumi Tsuchimoto
2001-05-24