next up previous
: 鐃緒申鐃緒申文鐃緒申砲弔鐃緒申鐃�...

    

鐃緒申鐃緒申鐃�III 鐃緒申鐃緒申 No.4

鐃緒申鐃緒申鐃塾テ￥申鐃緒申

\fbox{環の準同型定理と体の自己同型}

鐃緒申鐃� 4.1 (鐃縦の緒申同鐃緒申鐃緒申鐃緒申鐃�)   鐃縦の間の種申鐃緒申 $ \phi:R\to S$ 鐃緒申鐃緒申同鐃緒申鐃叔わ申鐃緒申箸蓮鐃� 鐃緒申鐃塾常申錣�鐃緒申鐃緒申立鐃縦とわ申鐃祝わ申鐃緒申鐃緒申
  1. $ \phi(x+y)=\phi (x)+\phi(y)$ 鐃緒申任鐃春わ申 $ x,y$ 鐃祝つわ申鐃銃なりた鐃縦￥申
  2. $ \phi(xy)=\phi(x)\phi(y)$ 鐃緒申任鐃春わ申 $ x,y$ 鐃祝つわ申鐃銃なりた鐃縦￥申
  3. $ \phi(1_R)=1_S$ 鐃緒申鐃淑りた鐃緒申

単鐃粛緒申同鐃緒申鐃緒申鐃緒申鐃塾わ申鐃夙わ申鐃緒申悗鐃銃縁申鐃緒申鐃緒申鐃獣縁申予鐃銃縁申鐃緒申鐃緒申鐃緒申里鐃緒申箸鐃� 鐃緒申悗鐃銃縁申鐃緒申泙鐃緒申鐃獣縁申鐃銃縁申鐃緒申箸鐃瞬￥申

鐃緒申鐃緒申 4.1 (鐃縦の緒申同鐃緒申鐃緒申鐃緒申)   鐃緒申 $ R$ 鐃緒申鐃緒申鐃� $ S$ 鐃舜の緒申同鐃緒申 $ \phi$ 鐃緒申鐃出わ申鐃銃￥申
  1. $ \phi$ 鐃塾鰹申 $ \operatorname{Ker}(\phi)$ 鐃緒申 $ R$ 鐃塾ワ申鐃叔ワ申鐃緒申任鐃緒申襦�
  2. $ \phi$ 鐃緒申鐃緒申 $ \operatorname{Image}(\phi)$ 鐃緒申 $ S$ 鐃緒申鐃緒申分鐃縦でわ申鐃緒申
  3. $ \phi$ 鐃緒申 $ R/\operatorname{Ker}(\phi)$ 鐃緒申 $ \operatorname{Image}(\phi)$ 鐃夙の間わ申 同鐃緒申鐃緒申誘導鐃緒申鐃暑。

鐃緒申同鐃緒申鐃緒申鐃緒申鐃緒申弔鐃緒申鐃緒申函鐃緒申里鐃縦わ申鐃緒申鐃緒申弔鐃緒申鐃祝�(No.3 鐃緒申 No.4)鐃緒申鐃緒申戮襪鰹申箸鐃緒申任鐃緒申襦� 鐃緒申銚鐃緒申佞鐃緒申儖佞鐃緒申討鐃緒申鐃�

鐃緒申鐃� 4.2   鐃緒申 $ K$ 鐃緒申鐃緒申 $ L$ 鐃緒申鐃緒申分鐃塾でわ申鐃緒申箸鐃緒申襦�($ K$ 鐃緒申鐃緒申澆鐃夙￥申$ L$ 鐃緒申 $ K$ 鐃緒申 鐃緒申鐃緒申鐃塾でわ申鐃緒申噺討个鐃暑。) $ a\in L$ 鐃緒申 $ K$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申 鐃緒申鐃緒申鐃緒申鐃緒申鐃夙わ申鐃緒申$ a$ 鐃緒申 $ L$ 鐃緒申鐃緒申鐃重�鐃叔わ申鐃緒申噺鐃緒申鐃緒申鐃�

鐃緒申鐃緒申 4.2   鐃緒申 $ K$ 鐃塾鰹申鐃緒申鐃緒申 $ L$ 鐃緒申 $ K$ 鐃緒申鐃縦の醐申 $ a$ 鐃緒申 鐃緒申鐃緒申鐃緒申鐃緒申討鐃緒申鐃夙わ申鐃暑。鐃緒申鐃緒申法鐃�$ a$ 鐃緒申 $ K$ 鐃緒申鐃緒申鐃重�鐃叔わ申鐃緒申箸鐃緒申襦� 鐃緒申鐃塾とわ申鐃緒申 $ a$ 鐃塾最常申多鐃準式鐃緒申 $ m(X)$ 鐃夙わ申鐃緒申函鐃緒申鐃緒申里鐃緒申箸鐃緒申鐃緒申鐃緒申襦�
  1. $ \varphi:K[X]\to L$ 鐃緒申 $ \varphi(p(X))=p(a)$ 鐃叔わ申鐃緒申鐃夙￥申 $ \varphi$ 鐃緒申鐃緒申鐃粛環緒申同鐃緒申鐃叔わ申鐃暑。
  2. $ \varphi$ 鐃塾核わ申 $ m(X)k[X]$ 鐃叔わ申鐃暑。

鐃緒申鐃緒申 4.1   $ \mbox{${\mathbb{Q}}$}$$ [X]$ 鐃塾醐申 $ f_1,f_2,f_3,f_4,f_5$ 鐃叔￥申 % latex2html id marker 801 $ a=\sqrt{2}+\sqrt{3}$ 鐃祝わ申鐃緒申鐃緒申鐃緒申 $ f_1(a)=f_2(a)=f_3(a)=f_4(a)=f_5(a)$ 鐃緒申 鐃緒申鐃緒申鐃緒申鐃処う鐃淑わ申里鮓�つわ申鐃淑わ申鐃緒申鐃緒申 鐃緒申呂鐃緒申鐃緒申鐃叔もあ鐃緒申里鐃渋常申凌佑硫鐃緒申鐃緒申肇鐃緒申屬鐃淑わ申鐃処う鐃緒申鐃緒申鐃春わ申鐃暑こ鐃夙￥申


平鐃緒申16年5鐃緒申12鐃緒申