next up previous
: ����ʸ��ˤĤ���...

    

�����I�������� No.09

�����Υơ���

\fbox{Éü½¬¤ÈÎã}

�� 09.1   $ p=13$ �Ȥ��� $ K={\mathbb{F}}_{p}$ ���¿�༰

$\displaystyle f(X)=X^6-2
$

��ͤ��褦��
    1. $ f$ �� $ X^{p^2}-X$ �Ȥϸߤ����ǤǤ��롣
    2. $ f$ �� $ X^{p^3}-X$ �Ȥϸߤ����ǤǤ��롣
    �������äơ�$ f$ �ϰ켡���󼡡������ΰ�����⤿�ʤ������ʤ����$ f$ �� $ K$ �����Ǥ��롣
  1. $ f$ �κ��ΰ�Ĥ� $ \xi$ �Ȥ���$ L=K(\xi)$ �Ȥ����ȡ�$ L$ �� $ K$ �� $ 6$ ������Ǥ��롣
  2. �ե��٥˥������� $ F$ �ˤ�äơ�$ \xi \in L$ ��

    $\displaystyle F(\xi)=\xi^p=4 \xi
$

    �� $ 4\xi$ �ˤ��Ĥ롣
  3. $ L$ �� $ K$ �Τ�����������Τϡ� $ {\mbox{${\mathbb{Z}}$}}/6{\mbox{${\mathbb{Z}}$}}$ ��ʬ�������롣 ����Ū�ˤϡ�

    $\displaystyle L,K(\xi^2),K(\xi^3) ,K
$

    �Ǥ��롣

���򤤤��Ȥˡ�$ p$ ���ͤˤ�äƤ� $ {\mathbb{F}}_p$ �� $ d$ ������� $ X^d-a$ �η���¿�༰�ǤϷ褷�������ʤ����Ȥ����롣����򻲾ȤΤ��ȡ�

�� 09.2   $ p=11$ �Ȥ��� $ K={\mathbb{F}}_{p}$ ���¿�༰

$\displaystyle f(X)=X^6-X-1
$

��ͤ��褦��
    1. $ f$ �� $ X^{p^2}-X$ �Ȥϸߤ����ǤǤ��롣
    2. $ f$ �� $ X^{p^3}-X$ �Ȥϸߤ����ǤǤ��롣
    �������äơ�$ f$ �ϰ켡���󼡡������ΰ�����⤿�ʤ������ʤ����$ f$ �� $ K$ �����Ǥ��롣
  1. $ f$ �κ��ΰ�Ĥ� $ \xi$ �Ȥ���$ L=K(\xi)$ �Ȥ����ȡ�$ L$ �� $ K$ �� $ 6$ ������Ǥ��롣
  2. �ե��٥˥������� $ F$ �ˤ�äơ�$ \xi \in L$ ��

    $\displaystyle F(\xi)=\xi^p=\xi^5+\xi+1
$

    �� $ \xi^5+\xi+1$ �ˤ��Ĥ롣
  3. $ L$ �� $ K$ �Τ�����������Τϡ� $ {\mbox{${\mathbb{Z}}$}}/6{\mbox{${\mathbb{Z}}$}}$ ��ʬ�������롣 ����Ū�ˤϡ�

    $\displaystyle L,K(\xi+\xi^{11^2}+\xi^{11^4}),K(\xi+\xi^{11^3}) ,K
$

    �Ǥ��롣

��η׻�����­�ΰ�̣�ǡ�$ \xi$ �˼��� $ F$ ����Ѥ�����Ȥɤ��ʤ뤫�񤤤Ƥ�����

$\displaystyle F^0(\xi)$ $\displaystyle = \xi$    
$\displaystyle F^1(\xi)$ $\displaystyle =\xi^5+\xi+1$    
$\displaystyle F^2(\xi)$ $\displaystyle =7\xi^5+6 \xi^4+4 \xi^3 +8 \xi^2 +3 \xi +7$    
$\displaystyle F^3(\xi)$ $\displaystyle =4 \xi^4 + 5 \xi^3 +9 \xi^2+5\xi$    
$\displaystyle F^4 (\xi)$ $\displaystyle =2 \xi^5 +\xi^4+4 \xi^3 +\xi^2+10\xi +2$    
$\displaystyle F^5(\xi)$ $\displaystyle =\xi^5+9\xi^3+4\xi^2+2 \xi +1$    
$\displaystyle F^6(\xi)$ $\displaystyle = \xi$    

���� 09.1   $ p=11$ �ΤȤ��� $ {\mathbb{F}}_p$ ���¿�༰ $ X^6-a$ $ (a\in {\mathbb{F}}_p)$ �ϴ���ˤʤ����ʤ����Ȥ� �����ʤ�����

���� 09.2   $ p=17$ �ΤȤ��� $ {\mathbb{F}}_p$ ��� $ 6$ ������¿�༰����ò¸«¤Ä¤ï¿½ï¿½ï¿½ ���줬����Ǥ��뤳�Ȥò¼¨¤ï¿½ï¿½Ê¤ï¿½ï¿½ï¿½ï¿½ï¿½


next up previous
: ����ʸ��ˤĤ���...
ʿ��16ǯ12��6��