next up previous
Next: About this document ...

    

鐃緒申鐃緒申鐃� II 鐃緒申鐃緒申 No.10

\fbox{正規拡大}

鐃緒申鐃� 10.1   鐃緒申 $k$ 鐃夙わ申鐃塾鰹申鐃緒申鐃緒申 $L$ 鐃緒申与鐃緒申鐃緒申鐃銃わ申鐃緒申箸鐃緒申襦� $k$ 鐃緒申鐃渋随申犲� $f(X)\in k[X]$ 鐃緒申鐃緒申$L[X]$ 鐃塾なわ申鐃叔は一次鐃緒申鐃緒申鐃術わ申分鐃薯すわ申 鐃夙わ申鐃緒申$L$ 鐃緒申 $f$ 鐃緒申分鐃緒申鐃塾でわ申鐃緒申噺討屐鐃�

鐃緒申鐃緒申 10.1   鐃緒申 $k$ 鐃緒申与鐃緒申鐃緒申鐃銃わ申鐃緒申箸鐃緒申襦� 任鐃春わ申 多鐃準式 $f$ 鐃緒申鐃出わ申鐃銃￥申 $f$ 鐃緒申分鐃緒申鐃塾わ申存鐃淳わ申鐃暑。 鐃緒申鐃淑わ申鐃緒申鐃� $k$ 鐃塾わ申鐃緒申鐃緒申鐃緒申鐃� $L$ 鐃緒申存鐃淳わ申鐃銃￥申 $f$ 鐃緒申 $L[X]$ 鐃塾なわ申鐃叔一次鐃緒申鐃緒申分鐃薯する。

鐃緒申鐃緒申 10.2   鐃緒申 $k$ 鐃夙わ申鐃塾鰹申鐃緒申鐃緒申 $L$ 鐃緒申与鐃緒申鐃緒申鐃銃わ申鐃緒申箸鐃緒申襦� $L$ 鐃塾醐申 $x$ 鐃緒申鐃緒申鐃獣わ申鐃夙わ申鐃緒申鐃緒申鐃緒申 $k$ 鐃緒申虜脳鐃渋随申犲逸申鐃� $f$ 鐃叔わ申鐃獣わ申鐃夙わ申鐃暑。 鐃緒申鐃塾とわ申鐃緒申鐃縦わ申鐃緒申 同鐃粛でわ申鐃暑。
1.
$f$ 鐃緒申 $L$ 鐃塾なわ申鐃叔は一次鐃緒申鐃緒申鐃術わ申分鐃薯する。
2.
$L$ 鐃緒申任鐃春の鰹申鐃緒申鐃緒申 $\frak K $ 鐃緒申鐃出わ申鐃銃￥申$\frak K $ 鐃緒申鐃� $k$ 鐃緒申鐃� $x$ 鐃塾駈申鐃緒申 鐃熟わ申鐃駿わ申 $L$ 鐃緒申属鐃緒申鐃暑。

鐃緒申鐃� 10.2   鐃緒申鐃銃縁申佑幣鐃緒申里鐃緒申鐃緒申鐃緒申鐃�(鐃緒申鐃緒申鐃緒申鐃獣て￥申両鐃緒申)鐃緒申鐃淑りた鐃縦とわ申鐃緒申 鐃緒申$x$ 鐃緒申 $k$ 鐃緒申鐃緒申鐃緒申討龍鐃緒申鐃緒申 $L$ 鐃緒申属鐃緒申鐃緒申廚箸鐃緒申鐃緒申鐃�

鐃緒申鐃処、鐃緒申鐃緒申箸鐃緒申鐃緒申鐃緒申佞呂匹粒鐃緒申鐃緒申里鐃緒申鐃叔考わ申鐃銃わ申鐃暑か鐃緒申鐃塾にわ申鐃淑わ申鐃夙逸申味鐃緒申 鐃盾た鐃淑わ申鐃熟わ申鐃緒申鐃緒申鐃緒申 鐃緒申両鐃緒申鐃緒申任呂鐃緒申任鐃� $L$ 鐃緒申鐃緒申鐃叔緒申分鐃緒申鐃緒申鐃初気鐃祝わ申鐃淑わ申鐃銃よい鐃緒申鐃夙わ申鐃緒申鐃緒申鐃夙でわ申鐃暑。

鐃緒申鐃緒申 10.3   鐃出称種申鐃熟わ申鐃駿て器申鐃緒申鐃出称種申鐃緒申多鐃準式鐃叔書ける。 鐃緒申鐃淑わ申鐃緒申鐃緒申調鐃緒申鐃� $R$ 鐃夙￥申$R$ 鐃緒申鐃渋随申犲� $f\in R[X_1,X_2,\dots,X_n]$ 鐃緒申 与鐃緒申鐃緒申鐃銃わ申鐃銃￥申$f$ 鐃緒申鐃出称種申鐃淑わ申弌鐃� $R$ 鐃緒申里鐃緒申鐃渋随申犲� $g\in R[S_1,\dots,S_n]$ 鐃緒申鐃緒申鐃獣て￥申

\begin{displaymath}f(X_1,\dots,X_n)=g(s_1(X_1,\dots,X_n),\dots,s_n(X_1,\dots,X_n)) \end{displaymath}

( $s_1,\dots s_n$ 鐃熟器申鐃緒申鐃出称種申) 鐃緒申鐃淑りた鐃縦￥申

鐃緒申鐃緒申 10.1   鐃緒申 $k$ 鐃緒申鐃緒申咾鐃緒申粒鐃緒申鐃緒申鐃� $L$ 鐃緒申与鐃緒申鐃緒申鐃銃わ申鐃緒申箸鐃緒申襦� 鐃緒申鐃塾とわ申鐃緒申

\begin{displaymath}\{x\in L; \text{$x$ の $k$ 上の全ての共役は $L$ に属する。}\} \end{displaymath}

鐃緒申 $k$ 鐃緒申泙鐃� $L$ 鐃緒申鐃緒申分鐃塾でわ申鐃暑。

鐃緒申鐃� 10.3   鐃緒申 $k$ 鐃緒申有鐃渋種申鐃緒申鐃緒申鐃緒申 $L$ 鐃緒申与鐃緒申鐃緒申鐃銃わ申鐃緒申箸鐃緒申襦� $L$ 鐃緒申任鐃春の醐申 $x$ 鐃祝わ申鐃緒申鐃緒申鐃銃￥申 $x$ 鐃緒申 $k$ 鐃緒申龍鐃緒申鐃緒申鐃緒申鐃緒申 $L$ 鐃緒申属鐃緒申鐃緒申箸鐃緒申鐃� $L$ 鐃緒申 $k$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃塾でわ申鐃緒申箸鐃緒申鐃緒申鐃�

鐃緒申鐃緒申 10.2   鐃緒申 $k$ 鐃夙￥申鐃緒申鐃緒申有鐃渋種申鐃緒申鐃緒申鐃緒申鐃緒申鐃� $L=k[\alpha_1,\alpha_2,\dots,\alpha_n]$ 鐃緒申与鐃緒申鐃緒申鐃銃わ申鐃緒申箸鐃緒申襦ｏ申鐃緒申里箸鐃緒申鐃�$L$ 鐃緒申 $k$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃塾でわ申鐃暑た鐃緒申鐃� 必鐃竣緒申分鐃緒申鐃熟￥申 $\alpha_1,\dots,\alpha_n$ 鐃緒申鐃曙ぞ鐃緒申鐃� $k$ 鐃緒申鐃緒申鐃緒申討鐃� 鐃緒申鐃緒申 $L$ 鐃緒申属鐃緒申鐃暑こ鐃夙でわ申鐃暑。

鐃緒申 10.1  

1.
$\mbox{${\Bbb Q}$ }[\sqrt{2}]$ 鐃緒申 $\mbox{${\Bbb Q}$ }[\sqrt{2},\sqrt{3}]$ 鐃緒申 $\mbox{${\Bbb Q}$ }$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申任鐃緒申襦�
2.
$\mbox{${\Bbb Q}$ }[\sqrt[3]{2}]$ 鐃緒申 $\mbox{${\Bbb Q}$ }$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申任呂覆鐃緒申鐃�
3.
$\mbox{${\Bbb Q}$ }[\sqrt[3]{2},\omega]$ (鐃緒申鐃緒申鐃緒申 $\omega=\frac{-1+\sqrt{-3}}{2}$)鐃緒申 $\mbox{${\Bbb Q}$ }$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申任鐃緒申襦�

鐃緒申鐃緒申 10.1   $\mbox{${\Bbb Q}$ }[\sqrt[3]{5}+2\omega]$(鐃緒申鐃緒申鐃緒申 $\omega=\frac{-1+\sqrt{-3}}{2}$)鐃緒申 $\mbox{${\Bbb Q}$ }$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃順か鐃緒申鐃楯わ申鐃緒申 鐃緒申由鐃緒申劼戮鐃緒申鐃緒申鐃緒申覆鐃緒申鐃緒申鐃�

鐃緒申鐃緒申 10.2   有鐃緒申鐃緒申 $k$ 鐃緒申有鐃渋種申鐃緒申鐃緒申鐃緒申 $L$ 鐃熟わ申鐃淑らず $k$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申任鐃緒申襪鰹申箸鮗┐鐃緒申覆鐃緒申鐃緒申鐃� 鐃述ワ申鐃�:有鐃緒申鐃緒申 $L$ 鐃塾醐申 $x$ 鐃熟わ申鐃淑らず鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申澆鐃緒申鐃緒申鐃� 鐃緒申鐃緒申呂覆砲鐃緒申鐃�


Yoshifumi Tsuchimoto
2000-06-19