素体

体 $F$ の部分体すべての共通部分を $F$ の素体という。$F$ の標数（定義 5.7［環と体の基礎］）が素数 $p$ のとき、素体は $\{0, 1, 1+1, \ldots, (p-1)\cdot 1\}$ であり、$\mathbb{Z}/p\mathbb{Z}$ と同型である。これを $\mathbb{F}_p$ と書く。