����� I No.8����

�Գ�껻�θ���(�桼����åɴ�)�� ����ʹߡ����ιֵ��Ǥϡִġפ�ñ�˸����вĴ��ĤΤ��Ȥ� �ؤ����Ȥˤ��롣

${\mbox{${\mathbb{Z}}$}}$ �� $k[X]$ ����Ĥˤޤ����̤��Ƹ����뤳�Ȥϡ� �ɤ�����;��Τ����껻�פ�����뤳�ȤǤ��롣

;��Τ����껻�ʤ�����Τ����������Τ��Ȥ˻פ��뤫���Τ�ʤ����������� ���Ȥ���

${\mbox{${\mathbb{Z}}$}}[X]$ ����ǹͤ��� $X^2$ �� $2X+1$ �dz�ä�;��ϡ�

${\mathbb{C}}[X,Y]$ ����ǹͤ��� $X^3+Y^3$ �� $XY+1$ �dz�ä�;��ϡ�

�ʤɤ�ʹ�����Ⱥ��äƤ��ޤ��� �ݥ���Ȥϡ� �֤ɤ��dz�껻�����ä���ʬ����褦�ʼ��٤����뤫�ɤ����� �Ȥ������ˤ��롣�����Ǽ��Τ褦������򤹤롣

��� 8.1   �� $R$ ���桼����åɴĤǤ���Ȥϡ����������� $W$ �� ���� $\rho:R\to W$ (�ֽŤ��פ�Ĵ�٤����)�����äơ� �����������������Ȥ��˸���

1. $R$ �θ� $a$ �ΡֽŤ��� $\rho(a)$ ���Ǿ� ${\Leftrightarrow}$ $a=0$
2. $R$ �θ� $a,b$ $(a\neq 0)$ ���Ф��ơ�
   $$b=aq+r,\quad q,r\in R, \quad \rho(r)<\rho(a)$$
   �Ȥʤ� $q,r$ ��¸�ߤ��롣

(��$W$ �����󽸹�Ǥ���פȤϡ�$W$ �Ͻ������Ǥ��äơ������� ��$W$ ��Ǥ�դ���ʬ���� $X$ �ϺǾ�������ġפȤ����Ȥ��ˤ����� ����������񤷤�������������ˤ� $W=\mathbb{N}$ �ȻפäƤ���Ѿ�Ͻ�ʬ�Ǥ��롣 )

���� 8.1 (�桼����åɴĤδ�����)   ${\mbox{${\mathbb{Z}}$}}$ , $k[X]$ ($k$ ����)�ϤȤ�˥桼����åɴĤǤ��롣

��껻�θ����Ȥ��Ƥϼ��Τ��Ȥ�褯�Ȥ���

���� 8.2 (��˥å���¿�༰�ˤ���껻)   $R$ ��ñ�̸�����IJĴ��ĤȤ��롣$R[X]$ �θ� $a$ ����˥å��ʤ�С� Ǥ�դ� $b\in R[X]$ ���Ф��ơ�

$$b=aq+r,\quad q,r\in R, \quad \deg(r)<\deg(a)$$

�Ȥʤ� $q,r\in R[X]$ ��¸�ߤ��롣

��� 8.2   �� $R$ �Υ��ǥ��� $I$ ��ñ�।�ǥ���Ǥ���Ȥϡ� ���� $a\in R$ ��¸�ߤ��ơ� $I=(a)$ ������Ω�ĤȤ��˸�����

$R$ �����ƤΥ��ǥ��뤬ñ�।�ǥ���Ǥ���Ȥ��� $R$ ��ñ�।�ǥ���ĤǤ���ȸ�����

���� 8.1   �桼����åɴĤ�ñ�।�ǥ���ĤǤ��롣

�� 8.1   ���� $a,b$ ��Ϳ�����Ƥ���Ȥ������κ��������� $d$ �Ȥ��������ΤȤ���

$$al+bm=d$$

��ߤ������� $l,m$ ��¸�ߤ��롣

�� 8.2   $k$ ���ΤȤ��롣$k$ ���¿�༰ $a,b$ ��Ϳ�����Ƥ���Ȥ������κ��������� $d$ �Ȥ��������ΤȤ���

$$a(X)l(X)+b(X)m(X)=d(X)$$

��ߤ���$k$ ���¿�༰ $l,m$ ��¸�ߤ��롣

�ºݤ� $l,m$ ��׻�����ˤϡ����Τ褦����ˡ�������Ǥ��롣

���� 8.1 (�桼����åɤθ߽�ˡ)   ����

$$72l+56m=8$$

������������ $l,m$ ���Ȥ���ȵ��衣

(����) �ޤ����Τ褦�ʷ׻���Ԥʤ�

$$72 \div 56 = 1 16 \qquad\qquad 72= 56 \times 1 + 16 \qquad\qquad \begin{pmatrix}72\\ 56 ... ...\begin{pmatrix}1 & 1\\ 1 & 0 \end{pmatrix} \begin{pmatrix}56\\ 16 \end{pmatrix}$$

$$56 \div 16 = 3 8 \qquad\qquad 56= 16 \times 3 + 8 \qquad\qquad \begin{pmatrix}56\\ 16 ... ... \begin{pmatrix}3 & 1\\ 1 & 0 \end{pmatrix} \begin{pmatrix}16\\ 8 \end{pmatrix}$$

$$16 \div 8 = 2 0 \qquad\qquad 16= 8 \times 2 + \qquad\qquad \begin{pmatrix}16\\ 8 \... ...= \begin{pmatrix}2 & 1\\ 1 & 0 \end{pmatrix} \begin{pmatrix}8\\ 0 \end{pmatrix}$$ 0

�ơ��ιԤι��󻻤��Ȥ߹�碌��ȡ�

$$\begin{pmatrix} 72\\ 56 \end{pmatrix}= \begin{pmatrix} 1 & 1\\ ... ...egin{pmatrix} 2 & 1\\ 1 & 0 \end{pmatrix}\begin{pmatrix} 8 \\ 0 \end{pmatrix}$$

�����롣���μ��α��դ˸������������Ϥ��٤� $M_2({\mbox{${\mathbb{Z}}$}})$ �θ��Ȥ��� �ĵդǤ��뤳�Ȥ����դ��ơ���μ��򼡤Τ褦���ѷ����뤳�Ȥ�����롣

$$\begin{pmatrix}8 0 \end{pmatrix} = \begin{pmatrix}2 & 1 1 & 0 \end{pmatrix}^{-1} \begin{pmatrix}... ...n{pmatrix}1 & 1 1 & 0 \end{pmatrix}^{-1} \begin{pmatrix}72 56 \end{pmatrix}$$

$$= \begin{pmatrix}0 & 1 1 & -2 \end{pmatrix} \begin{pmatrix}0 & ... ...gin{pmatrix}-3 & 4 7 & 9 \end{pmatrix} \begin{pmatrix}72 56 \end{pmatrix}$$

���μ������Ԥ����ܤ���ȡ� $8=(-3)\times 72+ 4\times 56$ �����롣

(����)     $l=-3,m=4$ .

���������ñ�।�ǥ������޴ط����������δط����������ʤ����Ƥ��롣

���� 8.3   ñ�̸����IJĴ��� $R$ �θ� $a,b$ ���Ф��ơ�������Ĥ�Ʊ�ͤǤ��롣

1. ���ǥ������޴ط� $(a)\subset (b)$ �����롣
2. $a$ �� $b$ ���ܸ��Ǥ��롣���ʤ�������� $c\in R$ �����äơ�$a=bc$ ������Ω�ġ�

����ݡ�������

�Ĥ��Τ�����������򤷤Ʋ򤭤ʤ����� (���¡����ιֵ��ν�λ���ޤǡ�)

(I).

����

$$(X^3+2X+5)f(X)+(X^2+3X+1)g(X)=1$$

��������¿�༰ $f,g\in {\mathbb{C}}[X]$ ���Ȥ���ȸ��Ĥ��ʤ����� ����Ϥ��θ��դ������ޤǹ���ƽ񤯤��ȡ�

(II).

${\mbox{${\mathbb{Z}}$}}[\sqrt{-1}]$ �ϥ桼����åɴĤǤ��뤳�Ȥ򼨤��ʤ����� (�ҥ�ȡ�$\rho$ �Ȥ��Ƥϡ������͡դ�ͤ���$q$ �Ȥ��Ƥ� $b/a$ �ˤ�äȤ�ᤤ ${\mbox{${\mathbb{Z}}$}}[\sqrt{-1}]$ �θ���Ȥ�ʤ����� ( $\vert b/a-q\vert\leq \sqrt{2}/2$ �˽����Ȧ�Ǥ���))