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

鐃緒申鐃緒申鐃�II 鐃緒申鐃緒申 No.8

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

\fbox{準同型、同型、有限体は元の数で完全に決まること}

鐃緒申鐃藷、種申鐃塾系の常申鐃緒申(鐃夙醐申鐃緒申鐃緒申鐃書しわ申鐃熟なわ申鐃緒申鐃準し鐃緒申鐃緒申鐃緒申)鐃緒申鐃縦ってわ申鐃殉ってわ申鐃緒申鐃緒申

鐃緒申 8.1   鐃叔随申 $ p$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申 $ n$ 鐃緒申鐃出わ申鐃銃￥申 $ {\mathbb{F}}_p$ 鐃緒申隆鐃緒申鐃渋随申犲� $ f(X)$鐃叔￥申 鐃緒申鐃塾種申鐃緒申鐃緒申 $ n$ 鐃塾わ申里鐃渋醐申澆鐃緒申襦�

鐃緒申鐃緒申鐃盾う鐃緒申鐃緒申鐃旬わ申鐃緒申鐃緒申鐃緒申鐃夙￥申鐃緒申鐃塾わ申鐃夙わ申鐃緒申鐃緒申立鐃縦￥申

鐃緒申鐃緒申 8.1   鐃叔随申 $ p$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申 $ n$ 鐃緒申鐃出わ申鐃銃￥申 鐃緒申鐃塾個随申鐃緒申 % latex2html id marker 930 $ q=p^n$ 鐃叔わ申鐃緒申茲�鐃緒申有鐃緒申鐃緒申 $ K$ 鐃緒申存鐃淳わ申鐃緒申(鐃緒申鐃緒申6.2)鐃緒申 鐃緒申鐃緒申 $ K$ 鐃祝わ申鐃緒申鐃緒申鐃銃￥申鐃緒申鐃塾わ申鐃夙わ申鐃緒申鐃緒申立鐃縦￥申
  1. $ K^\times$ 鐃緒申(鐃緒申鐃夙わ申鐃銃わ申)鐃緒申鐃緒申鐃緒申 $ a$ 鐃緒申 $ {\mathbb{F}}_p$ 鐃緒申虜脳鐃渋随申犲逸申鐃� 鐃緒申鐃緒申鐃緒申 $ n$ 鐃叔わ申鐃暑。
  2. $ {\mathbb{F}}_p$ 鐃緒申鐃� $ n$ 鐃緒申鐃塾器申鐃緒申多鐃準式鐃緒申必鐃緒申 $ K$ 鐃叔一次鐃緒申鐃緒申鐃術わ申分鐃薯さわ申襦�

鐃緒申鐃塾わ申鐃夙を示わ申鐃緒申鐃緒申法鐃緒申脳鐃渋随申犲逸申鐃緒申弔僚鐃銃縁申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鬚靴討鐃緒申鐃緒申鐃緒申鐃�

鐃緒申鐃� 8.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)=\phi(1_S)$ 鐃緒申鐃淑りた鐃緒申

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

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

鐃緒申鐃緒申 8.1   鐃緒申 $ k$ 鐃塾鰹申鐃緒申鐃緒申 $ K$ 鐃緒申 $ k$ 鐃緒申鐃縦の醐申 $ \alpha$ 鐃緒申 鐃緒申鐃緒申鐃緒申鐃緒申討鐃緒申鐃夙わ申鐃暑。鐃緒申鐃塾とわ申鐃緒申
  1. $ \varphi:k[X]\to K$ 鐃緒申 $ \varphi(p(X))=p(\alpha)$ 鐃叔わ申鐃緒申鐃夙￥申 $ \varphi$ 鐃緒申鐃緒申鐃粛環緒申同鐃緒申鐃叔わ申鐃暑。
  2. $ \varphi$ 鐃塾核わ申(i) $ \{0\}$ 鐃叔わ申鐃暑か鐃緒申鐃殉わ申鐃緒申 (ii)鐃緒申鐃緒申多鐃準式 $ m(X)\in k[X]$ 鐃緒申鐃緒申鐃獣て￥申 $ m(X)k[X]$ 鐃塾件申鐃薯してわ申鐃暑。
  3. 鐃緒申如鐃�(ii)鐃塾誌申鐃祝は￥申$ m(X)$ 鐃緒申 $ f(\alpha)=0$ 鐃緒申鐃緒申鐃緒申鐃緒申 $ k$ 鐃緒申鐃� 多鐃準式鐃塾わ申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃叔常申鐃塾わ申里任鐃緒申襦�
  4. 鐃緒申如鐃�(i)鐃塾常申鐃祝わ申 $ [K:k]=\infty$, (ii)鐃塾常申鐃祝わ申 $ [K:k]=\deg(m)$ 鐃叔わ申鐃暑。

鐃緒申鐃� 8.2   鐃緒申鐃� (ii)鐃塾常申鐃祝￥申$ m(X)$ 鐃塾わ申鐃夙わ申 $ \alpha$ 鐃緒申 $ k$ 鐃緒申虜脳鐃渋随申犲� 鐃夙わ申屐鐃�(鐃叔常申多鐃準式鐃緒申鐃緒申鐃緒申椶琉磴わ申鐃淑�鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃暑が鐃緒申 鐃夙わ申鐃緒申鐃叔わ申覆鐃緒申造鐃熟ワ申縫奪鐃�(鐃叔高次鐃塾件申鐃緒申鐃緒申 $ 1$)鐃塾わ申里鐃緒申鐃術わ申鐃銃￥申 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申箸砲鐃緒申襦�)

命鐃緒申 8.3   鐃緒申 $ k$ 鐃塾鰹申鐃緒申鐃緒申 $ K,L$ 鐃緒申鐃緒申鐃獣て￥申$ K$ 鐃塾ほわ申鐃緒申 $ k$ 鐃緒申鐃縦の醐申 $ \alpha$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃� $ k$ 鐃緒申有鐃渋種申鐃緒申鐃緒申鐃塾でわ申鐃緒申箸鐃緒申襦� 鐃緒申鐃緒申法鐃�$ \alpha$ 鐃緒申 $ k$ 鐃緒申虜脳鐃渋随申犲逸申鐃� $ m$ 鐃夙わ申鐃緒申鐃緒申 鐃緒申鐃塾とわ申鐃緒申鐃盾し鐃緒申$ L$ 鐃塾醐申 $ \beta$ 鐃叔￥申 $ m(\beta)=0$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申里鐃緒申鐃緒申鐃出￥申 $ K$ 鐃緒申鐃緒申 $ L$ 鐃舜わ申鐃緒申悗鐃銃縁申鐃緒申鐃緒申鐃� $ \varphi$ 鐃叔￥申 $ \varphi(\alpha)=\beta$ 鐃緒申澆鐃緒申鐃緒申鐃塾わ申存鐃淳わ申鐃暑。

鐃緒申鐃緒申 8.4   鐃緒申 $ K_1$, $ K_2$ 鐃塾醐申鐃塾随申鐃緒申鐃夙わ申鐃粛�鐃渋で￥申同鐃緒申 % latex2html id marker 1068 $ q$ 鐃叔わ申鐃緒申覆蕁� $ K_1$ 鐃緒申 $ K_2$ 鐃夙わ申同鐃緒申鐃叔わ申鐃緒申(鐃緒申鐃淑わ申鐃緒申鐃�$ K_1$ 鐃緒申鐃緒申 $ K_2$ 鐃舜の常申悗鐃� 同鐃緒申鐃緒申鐃緒申 $ \varphi$ 鐃緒申存鐃淳わ申鐃暑。

鐃緒申鐃� 8.3   鐃緒申鐃塾随申鐃緒申 % latex2html id marker 1081 $ q$ 鐃緒申鐃緒申 (鐃緒申鐃緒申鐃緒申鐃緒申砲鐃緒申同鐃緒申鐃緒申鐃緒申鐃緒申動鐃縦わ申鐃緒申鐃淑わ申) 鐃塾わ申鐃夙わ申 % latex2html id marker 1083 $ {\mathbb{F}}_q$ 鐃夙わ申鐃緒申鐃緒申

$ K^\times$ 鐃塾刻申造鐃緒申鐃塾わ申函鐃緒申鐃緒申里茲�鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申佞鐃緒申鐃緒申襦� (鐃夙は醐申鐃獣てもこ鐃緒申鐃� Fermat 鐃緒申鐃緒申鐃緒申(鐃緒申鐃暑い鐃熟件申鐃緒申鐃緒申 Lagrange 鐃緒申鐃緒申鐃緒申) 鐃緒申鐃緒申鐃銃でわ申鐃暑。)

鐃緒申鐃緒申 2.3 鐃緒申鐃縮に￥申鐃叔随申 $ p$ 鐃緒申鐃出わ申鐃銃￥申 10鐃緒申法鐃叔書いわ申鐃緒申鐃緒申鐃緒申 $ p$ 鐃叔鰹申鐃� 鐃緒申余鐃緒申鐃瞬逸申鐃緒申侶鐃緒申鐃緒申剖鐃緒申擇辰董鐃� 鐃緒申鐃緒申鐃緒申法鐃熟わ申鐃縦でわ申存鐃淳わ申鐃緒申鐃緒申鐃緒申鐃� 鐃緒申鐃緒申 (但鐃緒申鐃緒申鐃緒申鐃緒申鐃� $ p= 2$ 鐃緒申 $ p=5$ 鐃塾常申鐃緒申鐃純外鐃夙わ申鐃暑。)

鐃緒申鐃瞬わ申余鐃獣わ申鐃初、鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃盾す鐃緒申予鐃所。

鐃緒申鐃緒申 4.2 $ K={\Bbb F}_{37}[X]/(X^3-X+2){\Bbb F}_{37}[X]$ 鐃叔わ申 $ X$ 鐃塾ワ申鐃初ス鐃緒申 $ \xi$ 鐃夙書くとわ申鐃緒申 $ K$ 鐃叔わ申 $ 12 \xi^2+5\xi+1$ 鐃塾逆醐申鐃緒申鐃� 鐃緒申覆鐃緒申鐃緒申鐃� (鐃淑わ申鐃緒申鐃緒申鐃緒申 $ K$ 鐃熟実わ申鐃塾でわ申鐃緒申里鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申泙任麓鐃緒申鐃緒申覆鐃緒申鐃� 鐃緒申茲わ申鐃�)

(鐃淑わ申鐃緒申鐃緒申鐃緒申 4.1 鐃叔は￥申 鐃緒申鐃塾とわ申鐃緒申 $ a+b,a-b,ab, b^{-1}$ 鐃薯それぞ鐃緒申 $ \xi$ 鐃緒申2鐃緒申鐃緒申 鐃叔わ申鐃緒申錣件申覆鐃緒申鐃緒申鐃緒申箸覆辰討鐃緒申泙鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申2鐃緒申鐃淑駕申鐃塾種申鐃緒申 鐃縦わ申鐃叔わ申鐃緒申鐃緒申(鐃緒申鐃緒申鐃緒申鐃叔でわ申鐃緒申鐃緒申鐃緒申)鐃緒申鐃緒申鐃緒申廚鐃緒申泙鐃緒申鐃緒申鐃緒申鐃緒申佑咾鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申泙鐃緒申鐃�)

鐃緒申鐃緒申 8.1   鐃緒申鐃塾よう鐃緒申(1)-(3)鐃緒申鐃緒申鐃�((4)鐃緒申鐃薯きやす鐃緒申鐃処う鐃緒申)鐃緒申鐃�,(4)鐃緒申 鐃緒申鐃淑わ申鐃緒申鐃緒申
  1. 鐃叔随申 $ p>2$
  2. 鐃緒申鐃緒申鐃緒申鐃緒申 $ n>2$
  3. $ {\mathbb{F}}_p$ 鐃緒申鐃緒申鐃循なわ申 $ n$ 鐃緒申鐃緒申鐃緒申多鐃準式 $ f,g\in {\mathbb{F}}_p[X]$
  4. $ {\mathbb{F}}_p[X]/f(X){\mathbb{F}}_p[X]$ 鐃叔わ申 $ g$ 鐃塾一次鐃緒申鐃舜わ申分鐃緒申

鐃緒申鐃緒申 8.2   任鐃春わ申有鐃緒申鐃緒申 $ K$ 鐃緒申鐃出わ申鐃銃￥申$ K$ 鐃緒申鐃� $ n$ 鐃緒申鐃塾器申鐃緒申多鐃準式鐃緒申 存鐃淳わ申鐃暑こ鐃夙を示わ申鐃淑わ申鐃緒申鐃緒申

next up previous
: 鐃緒申鐃緒申文鐃緒申砲弔鐃緒申鐃�...
2002年6鐃緒申5鐃緒申