next up previous
Next: About this document ...

    

��������� II ���� No.8

�����Υơ���:

\fbox{Éü½¬}�ޤ��ϥ�ݡ�������β����ˤĤ��ơ�

���� 6.1

$L={\Bbb C}(X,Y,Z), K={\Bbb C}(X+Y+Z,XY+YZ+ZX,XYZ)$ �Ȥ��롣���ΤȤ���

1. $X$ �� $K$ ��κǾ�¿�༰����ʤ�����

2. $M=K(X)$ �Ȥ����Ȥ��� $[L:M], [M:K]$ �򤽤줾����ʤ�����

�ޤ���2. �� $[L:M]$ �� $[M:K]$ �������ʬ���äƤ��ʤ��褦�Ǥ��ä��� $[L:M]$ ������� $L$ �� $M$-�٥��ȥ���֤Ȥ��Ƥμ����Ǥ��äơ������ �������Ǥ��롣�ޤ���������򤷤Ƥ�������������

��   $\mbox{${\Bbb Q}$ }[\sqrt{2}]$ �� $\mbox{${\Bbb Q}$ }$ ��2�����Ǥ��롣�ºݡ�

\begin{displaymath}\mbox{${\Bbb Q}$}[\sqrt{2}]=\mbox{${\Bbb Q}$}+\mbox{${\Bbb Q}$}\sqrt{2}
\end{displaymath}

����¾����ˤĤ��Ƥ� No.4 ������򻲾Ȥ����ߤ�����

�Ĥ��ˡ��Ǿ�¿�༰�ȳ��缡���Υ���ߤǤ��뤬�� ����� No.3 �ˤ��롣��ñ�˸��äƤ��ޤ��С�

�� $K$ �� $K$ �����Ū�ʸ� $x$ ���ɲä��� $L=K(x)$ ���ä��Ȥ��롣 �⤷ $x$ �� $K$ ��κǾ�¿�༰�μ����� $d$ �Ǥ���ʤ顢 $[L:K]=d$ �Ǥ��롣

�Ȥ������Ȥˤʤ롣����ˡ��¤Ϥ��ΤȤ� $L=K[x]$ �Ǥ⤢�롣���ʤ���� $K$ �� $x$ �����������Ĥϼ¤ϼ�ưŪ���Τˤʤ�Τ��� ����ˤ� $x$ �� $K$ �����Ū�Ǥ��뤳�Ȥ������Ƥ��롣

���� 6.2

������� 6.1�ǡ� $L=K(X+cY)$ �Ȥʤ�褦�� $c\in {\Bbb C}$ ���� �� (����6.2 �ξ����򻲹ͤ�)��Ĥ����ʤ�����

���������򤤤Τ� $c=1$ �� $c=0$ �Ϥ��ޤ������ʤ����Ȥ����Ȥ����������� ���ĤϤ���ʳ��ʤ�����񤦤ޤ������Τ�������ˤ���褦������6.2�ξ����� ���ͤˤ��Ƥ��������ɤ��櫓���������Τ褦�� $c$ ��ľ�ܸ��Ĥ��뤳�Ȥ�Ǥ��롣 �����ˤʤ�Τϼ��Τ��ȤǤ��롣(�о����򤦤ޤ����Ѥ��롣)

$X+cY$ �� $f(T)\in K[T]$ �β�ʤ�С�$X+cZ$,$Y+cZ$,$Z+cY$,$Y+cX$,$Z+cX$�⤽���Ǥ��롣

���� 8.1   $L={\Bbb C}(X,Y,Z,W)$�Ȥ���

\begin{displaymath}K=(\text{$(X,Y,Z,W)$¤ÎÂоμ°¤Ç¤¢¤ë¤è¤¦¤Ê ${\Bbb C}$ ·¸¿ôÍ­Íý¼°Á´ÂÎ})
\end{displaymath}

�Ȥ��롣���ΤȤ���$L$ �� $K$ �Ȥ������($K$ ��ޤ�褦�� $L$ ����ʬ�� ������Ĥ��������� $K$ ��γ��缡������ʤ�����




2001-12-03