next up previous
Next: About this document ...

    

����� II ���� No.13

\fbox{»î¸³Âкö}

[�ǽ���]

[����]

���� 13.1   $A=\mbox{${\Bbb R}$ }[X,Y,Z]$ �Υ��ǥ��� $I=(X^2+Y^2-Z^2,(1+X^2+Y^2-Z^2)X-Y)$ �ˤĤ��ơ������䤤�������ʤ�����
1.
$V(I)$ �γ�����񤭤ʤ�����
2.
$A/I$ �� $0$ �Ǥʤ��� $[f],[g]$ �ǡ� $[f][g]=0$ ����������Τ���Ȥ����ʤ����������� $f,g$ �� $A$ �θ��ǡ� $[?]$ �� $?$ �� $A/I$ �ǤΥ��饹��ɽ����ΤȤ��롣
3.
��� $f,g$ �ˤĤ��ơ�

\begin{displaymath}fg=a(X,Y,Z) (X^2+Y^2-Z^2)+b(X,Y,Z)((1+X^2+Y^2-Z^2)X-Y)
\end{displaymath}

��ߤ����褦�� $a,b \in A$ ��ºݤ˵��ʤ�����
4.
$A/I$ �θ� $ [Z^4+3Z^2]$ �� $X$ �����μ� $p(X)$ �Υ��饹�Ȥ���ɽ�����ʤ������Ĥޤꡢ

\begin{displaymath}[Z^4+3Z^2]=[p(X)]
\end{displaymath}

�Ȥʤ� $p(X)$ ���ĵ��ʤ�����

���� 13.2   $\phi: \mbox{${\Bbb R}$ }[X,Y,Z]\to \mbox{${\Bbb R}$ }[T]$ ��

\begin{displaymath}\phi(X)=T, \quad \phi(Y)=T^2, \quad \phi(Z)=T^3
\end{displaymath}

��������롣���ΤȤ���
1.
$\ker(\phi)$ ����ʤ�����
2.
$\operatorname{Image}({}^a\phi)$ �γ�����񤭤ʤ�����
3.
${}^a\phi(0)$, ${}^a\phi(-1)$, ${}^a\phi(1)$, ${}^a\phi(2)$ �򤽤줾����ʤ�����

����¾������11.1, 11.2 ������ʤɤ⸡Ƥ���Ƥ����Ȥ褤��������




2001-07-24