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

    

鐃緒申鐃緒申鐃�I鐃緒申鐃緒申鐃緒申鐃緒申 No.08

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

\fbox{有限体のガロア理論}

鐃緒申鐃緒申 08.1   鐃緒申 $ K$ 鐃緒申鐃緒申 鐃緒申 $ L$ 鐃舜の環緒申同鐃緒申鐃緒申鐃緒申鐃緒申必鐃緒申単鐃粛でわ申鐃暑。 鐃盾し鐃緒申鐃塾よう鐃淑緒申同鐃緒申鐃緒申鐃緒申鐃緒申存鐃淳わ申鐃緒申弌鐃�$ K$ 鐃緒申 $ L$ 鐃緒申標鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申

鐃緒申鐃� 08.1   鐃緒申 $ K$ 鐃塾鰹申鐃緒申鐃緒申 $ L$ 鐃祝わ申鐃緒申鐃緒申鐃緒申$ L$ 鐃緒申鐃緒申 $ L$ 鐃舜の環種申鐃緒申同鐃緒申鐃叔￥申 $ K$ 鐃遵恒鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申里鐃� $ L$ 鐃緒申 $ K$ 鐃緒申亮鐃緒申鐃銃縁申鐃緒申箸鐃緒申鐃緒申鐃� $ L$ 鐃緒申 $ K$ 鐃緒申亮鐃緒申鐃銃縁申鐃緒申鐃緒申鐃緒申里鐃� $ \operatorname{Aut}_K(L)$ 鐃叔書きわ申鐃緒申錣刻申鐃�

鐃緒申鐃緒申 08.2   $ {\mathbb{F}}_{p^r}$ 鐃緒申鐃緒申 $ {\mathbb{F}}_{p^s} $ 鐃舜の環緒申同鐃緒申鐃緒申鐃緒申鐃緒申存鐃淳わ申鐃暑た鐃緒申鐃� 必鐃竣緒申分鐃緒申鐃熟￥申 $ r$ 鐃緒申 $ s$ 鐃緒申鐃緒申鐃緒申任鐃緒申襪鰹申箸任鐃緒申襦� 鐃緒申鐃緒申法鐃緒申鐃緒申里箸鐃� $ {\mathbb{F}}_{p^r}$ 鐃緒申鐃緒申 $ {\mathbb{F}}_{p^s} $ 鐃舜の環緒申同鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申 鐃熟逸申鐃重�鐃叔わ申鐃暑。

鐃緒申鐃緒申鐃緒申鐃祝わ申蝓�鐃緒申鐃緒申鐃緒申鐃緒申 $ s,t$ 鐃祝わ申鐃緒申鐃緒申鐃銃￥申 $ {\mathbb{F}}_{p^s} $ 鐃緒申 $ {\mathbb{F}}_{p^{s t}}$ 鐃緒申鐃緒申分鐃塾と醐申鐃緒申里鐃緒申鐃緒申未任鐃緒申鐃塾で￥申 鐃淑駕申鐃緒申鐃塾よう鐃祝わ申鐃暑。

命鐃緒申 08.1  

$\displaystyle \operatorname{Aut}_{{\mathbb{F}}_{p^s}}({\mathbb{F}}_{p^{s t}})\cong C_t $

鐃緒申鐃緒申鐃叔￥申鐃緒申鐃春わ申鐃緒申鐃緒申鐃緒申鐃夙わ申鐃銃わ申

$\displaystyle \phi^s(x)=x^{p^s} $

($ \phi$ 鐃緒申鐃緒申鐃緒申个鐃緒申茲随申侫鐃緒申戰縫鐃緒申鐃緒申鐃緒申鐃緒申鐃�$ \phi^s$ 鐃緒申 $ {\mathbb{F}}_{p^s} $ 鐃祝関わ申鐃緒申侫鐃緒申戰縫鐃緒申鐃緒申鐃銃縁申鐃緒申噺討个鐃緒申)鐃緒申里襪鰹申箸鐃緒申任鐃緒申襦�

鐃緒申鐃緒申 08.2   $ {\mathbb{F}}_{p^s} $ 鐃緒申 $ {\mathbb{F}}_{p^{s t}}$ 鐃塾わ申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申里函鐃�$ C_t$ 鐃緒申鐃緒申分鐃緒申鐃夙わ申 鐃緒申鐃出逸申鐃緒申弍鐃緒申鐃緒申襦�

鐃緒申鐃緒申 08.1   $ {\mathbb{F}}_3$ 鐃緒申鐃渋随申犲� $ f(X)=X^6+X-1$ 鐃祝つわ申鐃銃￥申
  1. $ f$ 鐃緒申 $ {\mathbb{F}}_3$ 鐃緒申貅￥申琉鐃緒申鐃緒申鐃盾た鐃淑わ申鐃緒申鐃夙を示わ申鐃淑わ申鐃緒申鐃緒申
  2. $ f$ 鐃緒申 $ {\mathbb{F}}_3$ 鐃緒申鐃藷次の逸申鐃緒申鐃緒申發随申覆鐃緒申鐃緒申箸鮗┐鐃緒申覆鐃緒申鐃緒申鐃� (鐃述ワ申鐃�: $ f$ 鐃緒申 $ X^{3^2}-X$ 鐃夙わ申 GCD 鐃緒申佑鐃緒申茵�)
  3. $ f$ 鐃緒申 $ {\mathbb{F}}_3$ 鐃遵三鐃緒申鐃塾逸申鐃緒申鐃緒申發随申覆鐃緒申鐃緒申箸鮗┐鐃緒申覆鐃緒申鐃緒申鐃�
  4. $ f$ 鐃熟器申鐃緒申任鐃緒申襪鰹申箸鮗┐鐃緒申覆鐃緒申鐃緒申鐃� (鐃緒申鐃緒申鐃縦常申楴鐃緒申鐃緒申茲�鐃淑駕申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃祝は常申鐃� (1)-(3)鐃熟常申略鐃緒申鐃銃も構鐃緒申覆鐃緒申鐃�)
  5. $ K={\mathbb{F}}_3$ 鐃緒申 $ L={\mathbb{F}}_{3}[X]/f(X){\mathbb{F}}_3[X]$ 鐃緒申鐃緒申鐃緒申里鐃緒申鐃緒申撞鐃緒申茵�


平鐃緒申16年11鐃緒申29鐃緒申