�����I�������� No.2

�����Υơ���

���� 2.1   �ǿ� $p$ ���Ф��ơ� ${\mbox{${\mathbb{Z}}$}}/p {\mbox{${\mathbb{Z}}$}}$ ���ΤǤ��롣

�����Τ� ${\mathbb{F}}_p$ �Ƚ񤯡�

${\mathbb{F}}_p$ �ϼ��ΰ�̣�Ǵ���Ū�Ǥ��롣

̿�� 2.2   �� $K$ �ˤ������ơ����Τ����줫������Ω�ġ�

1. �ɤ���������� $n$ �ˤ������Ƥ⡢ $n_K\neq 0$. ���ΤȤ� $K$ �� $\mbox{${\mathbb{Q}}$}$ ����ʬ�ΤȤ��ƴޤࡣ

2. ������������ $n$ ���Ф��ơ�$n_K=0$�� ���ΤȤ������Τ褦�� $n$ �Τ����ǺǾ��Τ�Τ� $p$ �Ƚ񤯤ȡ�$p$ ���ǿ��ǡ� $K$ �� ${\mathbb{F}}_p$ ����ʬ�ΤȤ��ƴޤࡣ

(�������� $n$ �ˤ������ơ� $\underbrace{1_K+1_k+\dots +1_K}_{n}$ �Τ��Ȥ� $n_K$ �Ȥ���)

���� 2.1   100 �ʾ���ǿ� $p$ �ȡ�$\sqrt{p}$ ���٤��礭�������� $a$ ��ʬ��Ŭ���� ���ơ� ${\mathbb{F}}_p$ �Ǥ� $a$ �εտ�����ʤ�����(¾�οͤ�Ʊ����ˤʤ�ʤ��褦�� α�դ��뤳�ȡ�)