next up previous
: ����ʸ��ˤĤ���...

    

�����III ���� No.12

�����Υơ���

\fbox{¥¬¥í¥¢¤Î´ðËÜÄêÍý}

���ιֵ��Ǥϡ��Τȸ����� $ \mbox{${\mathbb{Q}}$}$ ��ޤ��Τ򤵤����Ȥ����դ��Ƥ�����

���� 12.1 (�������������)   $ L$ �� $ K$ �Υ���������ΤȤ��� $ G=\operatorname{Gal}(L/K)$ �Ȥ����ȡ�

$\displaystyle \mathcal G=\{$    $G$ ����ʬ��$\displaystyle \}
$

��

$\displaystyle \mathcal F=\{$    $L$ �� $K$ �������$\displaystyle \}
$

�Τ������ˤϰ��а��б����Ĥ��������б��ϡ�

$\displaystyle \Phi(H)=L^H
$

$\displaystyle \Psi(M)=\operatorname{Gal}(L/M)
$

��Ϳ�����롣

�ºݤˤϡ�����б��Ϲ��˾ܤ���ʬ���äƤ��ơ� �������褤��������Ƥ�¾���⤽���ʤ롢�Ȥ������ʤΤǤ��뤬�� �ޤ�����ĤΤ�Τ��б�����Ȥ���������������ܤ�������

�� 12.1   $ L$ �� $ K$ �Υ���������ʤ�С� $ L$ �� $ K$ ������������� ͭ�¸Ĥ����ʤ���

�� 12.1   $ \mbox{${\mathbb{Q}}$}$% latex2html id marker 896
$ (\sqrt{2},\sqrt{3},\sqrt{5})$ �� $ \mbox{${\mathbb{Q}}$}$ �������������

$ \mbox{${\mathbb{Q}}$}$% latex2html id marker 901
$ (\sqrt{2},\sqrt{3},\sqrt{5})$, $ \mbox{${\mathbb{Q}}$}$% latex2html id marker 904
$ (\sqrt{2},\sqrt{3})$, $ \mbox{${\mathbb{Q}}$}$% latex2html id marker 907
$ (\sqrt{2},\sqrt{5})$, $ \mbox{${\mathbb{Q}}$}$% latex2html id marker 910
$ (\sqrt{3},\sqrt{5})$, $ \mbox{${\mathbb{Q}}$}$% latex2html id marker 913
$ (\sqrt{2})$, $ \mbox{${\mathbb{Q}}$}$% latex2html id marker 916
$ (\sqrt{3})$, $ \mbox{${\mathbb{Q}}$}$% latex2html id marker 919
$ (\sqrt{5})$, $ \mbox{${\mathbb{Q}}$}$ ��8�ĤǤ��롣

�������δ��������ϡ��������͡��ʤ��Ȥ���θ��̤���褯���롣

�� 12.2   $ \mbox{${\mathbb{Q}}$}$ ��� % latex2html id marker 926
$ x=\sqrt{2}+\sqrt{3}+\sqrt{5}$ �κǾ�¿�༰�μ����� $ 8$ �Ǥ����ͽ�ۤǤ��뤬�����ξ����Ϥ��ޤޤ�(Ⱦ�а��ۤΤ�����) �迭�Ф��ˤ����褿�� �º� $ 8$ �Ǥ��뤳�Ȥ�Τ����Τˤϡ� $ [$$ \mbox{${\mathbb{Q}}$}$$ (x):$$ \mbox{${\mathbb{Q}}$}$$ ]=8$ ������Ф褤������ˤ� $ L=$$ \mbox{${\mathbb{Q}}$}$% latex2html id marker 940
$ (\sqrt{2},\sqrt{3},\sqrt{5})$ �ʤ��Τ����Ū�˹ͤ��ơ� $ [L:$$ \mbox{${\mathbb{Q}}$}$$ ]=8$ ����� $ \mbox{${\mathbb{Q}}$}$$ (x)=L$ ����Ĥ�������Ȥˤʤ롣 ���Ԥ����Ū�ưפǤ��롣�����ơ������������Ƥ����� $ \operatorname{Gal}(L/$$ \mbox{${\mathbb{Q}}$}$$ )$ �ι�¤�� ( $ C_2\times C_2\times C_2$ ��Ʊ���Ǥ��롢���������ºݤκ�����)�狼�롣 �����ơ�$ x$ ���� $ {\operatorname{id}}$ ��������������Τɤθ��Ǥ����ѤǤʤ����Ȥ��顢 $ \mbox{${\mathbb{Q}}$}$$ (x)$ �� $ L$ �Ȱ��פ��뤳�Ȥ��狼�롣�����Τ��ȤϤۤȤ�� �Ż��ǤǤ���ۤ��ưפʷ׻��dzΤ�����롣���줬���������ΰ��ϤǤ��롣

���� 12.1   ͭ���� $ a,b$ �ǡ�

   $\displaystyle \mbox{${\mathbb{Q}}$}$% latex2html id marker 968
$\displaystyle (a \sqrt{3}+b \sqrt{6})=$$\displaystyle \mbox{${\mathbb{Q}}$}$% latex2html id marker 970
$\displaystyle (\sqrt{2},\sqrt{3},\sqrt{6})
$

�Ȥʤ�ʤ��褦�� $ a,b$ �ϤɤΤ褦�ʤ�Τ������Ƶ��ʤ�����



ʿ��16ǯ7��5��