设F是至少含2个元素的集合，对F定义两种运算，“+”和“×”，当代数系统<F，+，×>满足封闭性、结合性、单位元、逆元和交换性条件时，<F，+，×>被称为一个域。当F的元素为有限个时，称为有限域。

当p为素数时，F={0，1，2，……p-1} 在mod（p）下关于模运算的加法和乘法构成一个有限群，这个群就记为GF（p）。