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

    

鐃緒申鐃緒申鐃�I鐃緒申鐃緒申鐃緒申鐃緒申 No.06

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

\fbox{有限体の乗法群は巡回群であること}

鐃緒申鐃� 06.1 (鐃緒申鐃緒申鐃初ー鐃塾関随申)   $ 1,2,\dots,n$ 鐃緒申鐃緒申如鐃�$ n$ 鐃夙互わ申鐃緒申鐃叔な随申鐃塾個随申鐃緒申 $ \varphi(n)$ 鐃夙書く￥申

鐃緒申鐃緒申 06.1   鐃縮随申 $ n$ 鐃塾緒申鷏欧鐃� $ C_n=\langle a ; a^n=e\rangle $ 鐃夙わ申鐃緒申鐃緒申鐃緒申鐃塾とわ申鐃緒申
  1. $ \varphi(n)$ 鐃熟￥申$ C_n $ 鐃緒申 鐃緒申鐃緒申鐃緒申(=鐃縮随申鐃緒申鐃緒申鐃順う鐃緒申 $ n$ 鐃夙逸申鐃竣わ申鐃緒申鐃緒申)鐃塾個随申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申
  2. 鐃緒申鐃縮に￥申$ C_n $ 鐃塾醐申鐃塾わ申鐃緒申鐃縮随申鐃緒申鐃緒申鐃順う鐃緒申 $ d$ 鐃祝逸申鐃竣わ申鐃緒申鐃塾わ申 鐃縦随申鐃熟￥申

    \begin{displaymath} \begin{cases} \phi(d) & \text{($d$ が $n$ の約数のとき)} \\ 0 & \text{(それ以外のとき)}\\ \end{cases}\end{displaymath}

    鐃叔わ申鐃緒申鐃緒申鐃緒申鐃暑。

鐃緒申鐃緒申 06.2   鐃緒申 $ K$ 鐃塾常申法鐃緒申 $ K^{\times}$ 鐃塾醐申鐃叔￥申鐃縮随申鐃緒申 $ n$ 鐃塾わ申里鐃� $ \varphi(n)$ 鐃緒申 鐃淑駕申鐃叔わ申鐃暑。

命鐃緒申 06.1   有鐃緒申鐃緒申 $ K$ 鐃塾常申法鐃緒申 $ K^\times$ 鐃緒申必鐃緒申鐃緒申鷏欧任鐃緒申襦�

鐃緒申鐃緒申 06.3   $ p$ 鐃緒申鐃叔随申鐃叔わ申鐃緒申箸鐃緒申鐃�% latex2html id marker 807 $ q=p^n$ ($ n$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申)鐃夙わ申鐃暑。 鐃緒申鐃塾とわ申鐃緒申 $ {\mathbb{F}}_p$ 鐃緒申多鐃準式 % latex2html id marker 813 $ f(X)=X^q-X$ 鐃祝つわ申鐃銃￥申 $ {\mathbb{F}}_p$ 鐃塾鰹申鐃緒申鐃緒申 $ K$ 鐃叔￥申 鐃緒申鐃塾よう鐃緒申鐃緒申鐃緒申鐃緒申澆鐃緒申鐃緒申鐃塾わ申存鐃淳わ申鐃暑。
  1. $ f$ 鐃緒申 $ K$ 鐃緒申鐃渋随申犲逸申箸鐃緒申動貅￥申鐃緒申鐃緒申僂鐃淑�鐃薯する。
  2. $ K$ 鐃塾醐申鐃緒申鐃緒申鐃緒申 $ f$ 鐃塾削申鐃叔わ申鐃暑。

有鐃緒申鐃塾の醐申鐃塾個随申鐃緒申必鐃緒申鐃叔随申鐃塾巾わ申鐃獣わ申鐃緒申鐃夙わ申廚鐃緒申个鐃緒申討鐃緒申鐃緒申鐃緒申鐃緒申佞法鐃� 鐃緒申鐃塾わ申鐃夙わ申鐃緒申鐃緒申立鐃縦￥申

鐃緒申鐃緒申 06.2   鐃叔随申 $ p$ 鐃塾駈申 $ p^n$ 鐃緒申与鐃緒申鐃緒申譴随申箸鐃緒申鐃緒申鐃緒申慮朕鐃緒申鐃� $ p^n$ 鐃緒申鐃緒申 $ K$ 鐃緒申存鐃淳わ申鐃暑。 $ K$ 鐃緒申同鐃緒申鐃緒申鐃緒申鐃緒申動鐃緒申的鐃叔わ申鐃暑。

鐃緒申 06.1   任鐃春わ申鐃叔随申 $ p$ 鐃緒申任鐃春わ申鐃緒申鐃緒申鐃緒申鐃緒申 $ d$ 鐃緒申鐃出わ申鐃銃￥申 $ {\mathbb{F}}_p$ 鐃緒申隆鐃緒申鐃� $ d$ 鐃緒申鐃緒申鐃緒申 鐃緒申鐃淑わ申鐃夙わ申鐃緒申存鐃淳わ申鐃暑。

鐃緒申鐃� 06.2   鐃緒申鐃塾個随申鐃緒申 % latex2html id marker 848 $ q=p^n$ 鐃緒申鐃塾のわ申鐃夙わ申 % latex2html id marker 850 $ {\mathbb{F}}_q$ 鐃夙書く￥申

鐃緒申鐃緒申 06.1   $ 10$ 鐃淑常申鐃緒申膿鐃� $ p$ 鐃緒申 $ 2$ 鐃淑常申鐃緒申鐃緒申鐃� $ d$ 鐃緒申銅鐃緒申之鐃緒申董鐃� $ {\mathbb{F}}_p$ 鐃緒申鐃緒申鵑�つワ申縫奪鐃緒申鐃渋随申犲逸申鐃緒申鐃緒申与鐃緒申($ f,g$)鐃緒申 $ {\mathbb{F}}_p[X]/f(X){\mathbb{F}}_p[X]$ 鐃叔わ申 $ g$ 鐃塾削申鐃緒申颪�駕申鐃緒申鐃淑わ申鐃緒申鐃緒申


平鐃緒申16年12鐃緒申6鐃緒申