next up previous
Next: About this document ...

    

����� II ���

�����������������Τ�ȴ�����Ƥ��ޤ��������ߤޤ��� �����ϴ�ñ�ʤΤǡ��ʲ��Ǥ�ά�ڤΤߤ�񤤤Ƥ����ޤ���


���� 0.1   �� $k$ �Ȥ���ͭ�¼������� $L$ �Ȥδ֤������ $M$ ���Ф��ơ�

\begin{displaymath}[L:k]=[L:M][M:k]
\end{displaymath}

���ʤꤿ�ġ�

[����]

$[L:M]=e,[M:k]=f$ �Ȥ���������ˤ�ꡢ
\begin{align*}&M=kv_1+kv_2+\dots+kv_f (\text{ľÏÂ})\\
&L=Mw_1+Mw_2+\dots+Mw_e (\text{ľÏÂ})
\end{align*}
��ߤ����褦�� $v_1,v_2,\dots,v_f\in M,w_1,w_2,\dots,w_e\in L$ �� ¸�ߤ��롣

\begin{displaymath}L=\sum_{ij} k\ w_iv_j
\end{displaymath}

���ʤꤿ�������줬ľ�¤Ǥ��뤳�Ȥ⤹���˳Τ������Τǡ�$ef$ �Ĥθ�

\begin{displaymath}\{w_iv_j ;\ i=1,\dots,e,\ j=1,\dots,f\}
\end{displaymath}

�� $k$ ��� $L$ �δ����Ϳ���Ƥ��뤳�Ȥ�ʬ���롣 ���ʤ��������

\begin{displaymath}[L:k]=ef=[L:M][M:k]
\end{displaymath}

������Ω�Ĥ��Ȥ�ʬ���롣


���������Ȥ��С��㤨�� $\mbox{${\Bbb Q}$ }$ �� 4������ $L$ �� $\mbox{${\Bbb Q}$ }$ ��3������� �ޤळ�ȤϤʤ����Ȥʤɤ��狼��ޤ���(�ʤ������ͤ��ƤߤƤ���������)


�ʤ���No.11 �Υ�ݡ��Ȥǡ��㤨�� $\alpha=\sqrt[3]{5},\quad \beta=\sqrt[3]{5}\omega$ �ˤ������ơ� $\mbox{${\Bbb Q}$ }[\alpha,\beta]=\mbox{${\Bbb Q}$ }[c\alpha+\beta]$�Ȥʤ�褦�� $c\in \mbox{${\Bbb Q}$ }$ ����衢�Ȥ�������ˤĤ��ơ� �ֵ������ʬ����ʤ�(�����Ƥ��äƤʤ�?)���顢�����Ǥ��ʤ����� ���������ͤ����ޤ����� ���֤󤽤Τ褦�ʿͤǤ⡢

$\mbox{${\Bbb Q}$ }[\alpha,\beta]=\mbox{${\Bbb Q}$ }[2\alpha+\beta]$ �򼨤�

�Ȥ�������ˤ���в����Ǥ����Ȼפ��ޤ��� ����äȤ����ͤ������ѹ��ǡ��������н�Ǥ������꤬ �򤱤ʤ��ΤϤ�ä����ʤ��äǤ���

�ڴ���ʸ



 

Yoshifumi Tsuchimoto
2000-07-14