素体
prime field
位数が素数である体
自分自身以外に部分体を持たない
任意の体は、唯一つだけ素体を含む
ある体に対して、素体が一つ決まる