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

鐃緒申鐃緒申鐃�II 鐃緒申鐃緒申 No.9

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

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

鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申澆泙鐃叔￥申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申命鐃緒申鐃縦わ申鐃銃わ申鐃殉っわ申鐃塾で￥申鐃緒申鐃緒申呂鐃緒申両鐃緒申鐃緒申鬚垢襦�

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

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

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

$ 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$ 鐃熟実わ申鐃塾でわ申鐃緒申里鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申泙任麓鐃緒申鐃緒申覆鐃緒申鐃� 鐃緒申茲わ申鐃�)

(鐃緒申鐃緒申) 鐃緒申鐃緒申鐃塾ワ申檗鐃緒申箸鮓�わ申函鐃� $ {\Bbb F}_{37}[X]/(X^3-X+2){\Bbb F}_{37}[X]$ 鐃塾よう鐃淑わ申里琉鐃緒申鐃緒申砲弔鐃緒申鐃� 鐃緒申鐃緒申任鐃緒申討鐃緒申鐃粛と￥申鐃叔わ申鐃銃なわ申鐃粛の削申鐃緒申鐃熟っわ申鐃緒申分鐃緒申鐃緒申討鐃緒申討鐃緒申鐃塾わ申鐃緒か鐃暑。

$ {\mathbb{F}}_{37}$ 鐃祝つわ申鐃銃はわか鐃獣てわ申鐃緒申茲�鐃緒申鐃緒申鐃緒申 $ {\mathbb{F}}_{37}[X]$ 鐃緒申鐃緒申鐃緒申廚鐃緒申鐃緒申鐃緒申鐃� 鐃緒申鐃夙わ申 鐃緒申鐃緒申鐃� $ (X^3-X+2){\mathbb{F}}_{37}[X]$ 鐃叔鰹申辰鐃緒申鐃粛常申弔鐃緒申鐃緒申鬚�欠け鐃銃わ申鐃緒申里鐃緒申鐃緒申鐃緒申鐃�

鐃緒申鐃緒申鐃� $ K$ 鐃叔￥申$ X$ 鐃塾ワ申鐃初ス鐃緒申($ X$ 鐃夙わ申鐃塾まわ申表鐃緒申鐃緒申鐃銃わ申鐃宿わ申鐃緒申鐃緒申 $ \overline{X}$ 鐃緒申鐃暑い鐃緒申 $ [X]$ 鐃塾よう鐃淑居申鐃緒申任鐃処い鐃塾わ申鐃緒申鐃緒申鐃緒申鐃緒申鐃叔わ申 鐃緒申鐃緒申鮓困蕕刻申鐃緒申鐃緒申) $ \xi$ 鐃夙書くと￥申$ K$ 鐃夙は￥申 $ {\mathbb{F}}_{37}$ 鐃祝￥申 $ \xi^3-\xi+2=0$ 鐃夙わ申鐃緒申鐃舜件申鐃緒申鐃緒申鐃獣わ申鐃緒申 $ \xi$ 鐃緒申 鐃春わ申鐃獣わ申鐃銃でわ申鐃緒申弔任鐃緒申襦� $ \xi^3-\xi+2=0$ 鐃夙わ申鐃緒申鐃舜件申鐃緒申鐃緒申鐃初、

$ 3(\xi^3-\xi+2)=0$, $ \xi(\xi^3-\xi+2)=0$, $ (\xi^2+30\xi+23)(\xi^3-\xi+2)=0$ 鐃緒申鐃緒申鐃塾関件申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申呂鐃緒申任鐃緒申襦ｏ申泙鐃緒申鐃�

$ \xi^3=\xi-2$, $ \xi^4=\xi^2-2\xi$

鐃淑どの関件申鐃緒申鐃緒申鐃緒申鐃緒申鐃暑。鐃緒申鐃塾よう鐃淑環をそもそ鐃緒申鐃緒申襪�鐃宿わ申鐃緒申鐃緒申鐃夙わ申鐃緒申鐃緒申鐃夙わ申 鐃緒申鐃緒申覆鐃緒申箸覆里鐃緒申鐃緒申鐃緒申鐃緒申譴�多鐃準式鐃緒申鐃緒申鐃緒申 $ {\mathbb{F}}_{37}[X]$ 鐃緒申 $ X^3-X+2$ 鐃緒申 鐃旬随申鐃緒申鐃緒申鐃縮わ申鐃緒申箸鐃緒申鐃緒申鐃塾わ申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃銃わ申鐃緒申里鐃緒申鐃� 鐃縦まり、鐃舜件申鐃緒申 $ \xi^3-\xi+2=0$ 鐃緒申鐃縦よう鐃緒申 $ \xi$ 鐃緒申 $ {\mathbb{F}}_{37}$ 鐃緒申 鐃春わ申鐃獣わ申鐃緒申箸鐃緒申鐃緒申鐃緒申鐃緒申任蓮鐃�(鐃緒申鐃緒申鐃緒申鐃緒申鐃塾種申鐃緒申覆鐃緒申鐃緒申鐃緒申鐃淑鰹申鐃叔わ申) 鐃緒申鐃曙が鐃緒申鐃殉わ申鐃叔わ申鐃暑か鐃宿わ申鐃緒申鐃緒申鐃緒か鐃緒申覆鐃緒申鐃緒申鐃� $ {\mathbb{F}}_{37}$-鐃緒申鐃緒申鐃緒申多鐃準式鐃緒申鐃緒申鐃緒申 $ {\mathbb{F}}_{37}[X]$ 鐃緒申 $ (X^3-X+2)$ 鐃緒申鐃旬随申鐃緒申 法鐃夙わ申鐃銃ワ申鐃初ス分鐃緒申鐃緒申鐃緒申

$\displaystyle f \sim g \ {\Leftrightarrow}\ f-g \in (X^3-X+2){\mathbb{F}}_{37}[X] $

鐃夙わ申鐃緒申鐃緒申鐃夙はでわ申鐃緒申呂鐃緒申任鐃緒申襪件申鐃緒申鐃緒申離鐃緒申薀絞�鐃緒申鐃薯しわ申鐃緒申鐃初ス鐃緒申鐃緒申鐃緒申 $ K={\mathbb{F}}_{37}[X]/(X^3-X+2){\mathbb{F}}_{37}[X]$ 鐃緒申鐃縦の刻申造鐃緒申鐃縦わ申鐃夙￥申鐃緒申鐃緒申砲鐃� $ X$ 鐃緒申 $ K$ 鐃叔のワ申鐃初ス鐃緒申鐃緒申劼隆愀鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申箸鐃� 鐃塾わ申鐃緒申鐃緒申鐃夙わ申鐃緒申鐃緒け鐃叔わ申鐃暑。

鐃緒申鐃順う鐃宿￥申 $ {\mbox{${\mathbb{Z}}$}}/9{\mbox{${\mathbb{Z}}$}}$ 鐃叔わ申 $ 9=0$ 鐃緒申鐃緒申鐃緒申立鐃縦わ申鐃夙や、 $ {\mbox{${\mathbb{Z}}$}}/11{\mbox{${\mathbb{Z}}$}}$ 鐃叔わ申 $ 11=0$ 鐃緒申 鐃緒申鐃緒申立鐃縦わ申鐃夙わ申同鐃粛でわ申鐃暑。

鐃緒申鐃緒申 9.1   $ p=5$ 鐃夙わ申鐃暑。 $ {\mathbb{F}}_p$ 鐃緒申離鐃祝ッワ申鐃緒申4鐃緒申鐃緒申鐃緒申多鐃準式 $ f$ 鐃緒申鐃緒申鐃藷げ￥申 $ f$ 鐃塾逸申弔虜鐃緒申鐃� $ \alpha$ 鐃夙わ申鐃緒申鐃緒申鐃緒申$ f$ 鐃緒申他鐃塾削申鐃緒申 $ \alpha$ 鐃叔わ申鐃緒申錣件申覆鐃緒申鐃緒申鐃� (鐃縦まり、$ f$ 鐃緒申 $ {\mathbb{F}}_p[\alpha]$ 鐃緒申念貅￥申鐃緒申鐃緒申僂鐃淑�鐃薯しなわ申鐃緒申鐃緒申)

鐃緒申鐃緒申鐃緒申鐃熟常申鐃緒申鐃書しわ申鐃緒申鐃緒申鐃緒申鐃緒申鐃塾わ申覆鐃緒申里如鐃� 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申媛辰鐃緒申討鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃熟常申鐃緒申鐃緒申単鐃叔わ申鐃暑。

鐃緒申鐃緒申 9.2   鐃緒申鐃緒申鐃緒申鐃緒申 $ p=3$ 鐃塾とわ申鐃熟どわ申鐃緒申鐃緒申

両鐃緒申鐃緒申鐃緒申鐃緒申箸癲�$ f$ 鐃塾器申鐃緒申鐃緒申鐃殉わ申鐃緒申鐃緒申鐃暑こ鐃夙わ申望鐃殉わ申鐃緒申鐃緒申


2002年6鐃緒申18鐃緒申