体 $\mathbb{F}_p$

$p$ が素数であるとき、 $\mathbb{Z}/p\mathbb{Z}$ は体です。 (つまり、0 以外の元により割り算ができます。) これはユークリッドの互除法によりわかります。

以後、 $\mathbb{Z}/p\mathbb{Z}$ のことを $\mathbb{F}_p$ と書きます。