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

    

鐃緒申鐃緒申鐃�I鐃緒申鐃緒申鐃緒申鐃緒申 No.11

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

\fbox{ゼータ関数の例}鐃緒申鐃緒申鐃緒申鐃楯￥申鐃夙の駕申鐃緒申

命鐃緒申 11.1   $ p$ 鐃熟器申鐃叔随申鐃叔わ申鐃緒申箸鐃緒申鐃� % latex2html id marker 783 $ q=p^s$ ( $ s$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申)鐃叔わ申鐃緒申箸鐃緒申襦� % latex2html id marker 787 $ {\mathbb{F}}_q$ 鐃緒申鐃緒申鐃緒申竸鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃� $ V=V(X^2+Y^2-1)$ 鐃緒申鐃出わ申鐃銃￥申 % latex2html id marker 791 $ Z(V/{\mathbb{F}}_q,t)$ 鐃緒申 % latex2html id marker 793 $ {\mathbb{F}}_q$ 鐃塾なわ申鐃緒申 $ -1$ 鐃緒申平鐃緒申鐃緒申鐃緒申鐃緒申鐃暑か鐃楯わ申鐃祝わ申辰鐃� 鐃緒申鐃縮わ申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申襦�

\begin{displaymath} % latex2html id marker 797Z(V/{\mathbb{F}}_q,t)= \begin{ca... ...弔箸\\ \frac{1+t}{1-q t} & \text{、ス、ヲ、ヌ、ハ、、、ネ、ュ} \end{cases}\end{displaymath}

No.9 鐃緒申鐃循￥申鐃緒申鐃藷。ワ申鐃緒申鐃粛ワ申鐃緒申鐃緒申鐃循ワ申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃純、鐃獣￥申鐃熟￥申鐃緒申鐃緒申鐃銃￥申鐃緒申鐃緒申鐃循￥申鐃縮￥申鐃瞬ワ申鐃緒申鐃緒申弔鐃緒申鐃�

鐃緒申鐃緒申 11.1   $ p=11$ 鐃塾とわ申鐃緒申 $ {\mathbb{F}}_p$ 鐃緒申鐃渋随申犲� $ X^6-a$ $ (a\in {\mathbb{F}}_p)$ 鐃熟器申鐃緒申砲覆鐃緒申鐃緒申覆鐃緒申鐃緒申箸鐃� 鐃緒申鐃緒申鐃淑わ申鐃緒申鐃緒申

[鐃緒申鐃緒申]

11鐃縦わ申鐃緒申鐃緒申能鐃緒申鐃緒申鐃淑わ申鐃緒申鐃初、鐃緒申鐃縮に醐申鐃銃わ申鐃緒申鐃緒申鐃緒申茲わ申鐃緒申鐃緒申鐃緒申鐃獣と器申鐃緒申鐃淑のは￥申 鐃緒申鐃緒申

$\displaystyle {\mathbb{F}}_{11} \ni c \to c^3 \in {\mathbb{F}}_{11} $

鐃緒申鐃緒申鐃粛でわ申鐃暑こ鐃夙わ申鐃術わ申鐃暑こ鐃夙でわ申鐃暑。鐃縦まり、$ a=c^3$ 鐃夙なわ申 $ c$ 鐃緒申存鐃淳わ申鐃暑。 $ X^6-c^3$ $ (c\in {\mathbb{F}}_{11})$鐃熟￥申 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申任呂覆鐃緒申鐃�

鐃緒申鐃緒申 11.2   $ p=17$ 鐃塾とわ申鐃緒申 $ {\mathbb{F}}_p$ 鐃緒申鐃� $ 6$ 鐃緒申鐃緒申鐃緒申多鐃準式鐃緒申鐃緒申鮓�つわ申鐃緒申 鐃緒申鐃曙が鐃緒申鐃緒申任鐃緒申襪鰹申箸鮗┐鐃緒申覆鐃緒申鐃緒申鐃�

鐃緒申鐃術にわ申鐃祝わ申鐃緒申鐃緒申雰彁鐃緒申鐃宿�鐃竣でわ申鐃暑。 鐃淑駕申鐃緒申 mupad 鐃叔計誌申鐃緒申鐃暑た鐃緒申鐃� program 鐃緒申颪い討鐃緒申鐃緒申鐃緒申鐃� 
 Fp:=Dom::IntegerMod(17);          // Fp=Z/17 Z
 f:=poly(x^6-x-4,[x],Fp);          // 鐃術随申鐃夙件申鐃緒申鐃緒申鐃緒申鐃緒申
 g:=poly(x^(17^2)-x,[x],Fp);
 h:=poly(x^(17^3)-x,[x],Fp);
 gcd (f,g);                        // f 鐃緒申 g 鐃緒申 GCD 鐃緒申鐃緒申襦�
 gcd(f,h);                         // f 鐃緒申 h 鐃緒申 GCD 鐃緒申鐃緒申襦�

鐃緒申鐃緒申雰彁鐃緒申鬚擦鐃緒申砲鐃緒申泙鐃緒申鐃祝￥申呂覆鐃緒申鐃�? 鐃渋はわ申鐃暑。 $ {\mathbb{F}}_{17}$ 鐃緒申鐃� 鐃緒申鐃緒申鐃�2鐃緒申鐃緒申 $ a$ 鐃緒申3鐃緒申鐃緒申 $ b$ 鐃緒申箸鐃緒申鐃緒申鐃� (鐃緒申鐃緒申禄鐃緒申鐃緒申砲鐃緒申動廚任鐃緒申鐃緒申鐃緒申鐃�) 鐃緒申鐃緒申鐃叔は￥申鐃純え鐃緒申 $ a(X)=X^2-3$, $ b(X)=X^3-X-2$ 鐃夙わ申鐃暑。 $ a$ 鐃塾削申 $ \alpha$ 鐃緒申 $ b$ 鐃塾削申 $ \beta$ 鐃緒申鐃緒申 $ \gamma$ 鐃緒申佑鐃緒申襦� $ \gamma$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃駿わ申 $ 6$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃重�鐃銃易に書き駕申鐃緒申鐃暑。鐃緒申鐃曙が鐃緒申鐃緒申任鐃緒申鐃� 鐃緒申鐃夙わ申鐃緒申鐃緒申个茲わ申鐃緒申鐃緒申覆鐃緒申鐃緒申 $ {\mathbb{F}}_{17}(\gamma)$ 鐃緒申 $ {\mathbb{F}}_{17}$ 鐃緒申 $ 6$ 鐃緒申 鐃緒申鐃緒申任鐃緒申襪鰹申箸鐃緒申鐃緒申鐃出よい鐃緒申鐃春ワ申鐃駿ニワ申鐃緒申鐃緒申鐃緒申 $ F$ 鐃塾醐申鐃春で醐申鐃緒申鐃出￥申 鐃緒申鐃緒申鐃� $ F^i(\gamma)$ $ (i=0,1,2,3,4,5)$ 鐃緒申鐃緒申鐃銃異なるこ鐃夙を示わ申鐃夙醐申鐃獣てわ申 同鐃緒申鐃叔わ申鐃暑。鐃緒申鐃夙わ申 $ F(\alpha)=-\alpha$ 鐃夙￥申 $ F^3(\beta)=\beta$ 鐃夙わ申鐃緒申鐃春わ申 鐃緒申个茲わ申鐃�

鐃緒申鐃緒申 11.1   鐃緒申鐃術随申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申 $ V(X^2-Y^2-1)$ 鐃緒申 鐃緒申同鐃緒申鐃緒申鐃緒申鐃舜随申 $ Z(V,t)$ 鐃緒申鐃緒申茵�


平鐃緒申17年1鐃緒申4鐃緒申