（，为纪念埃瓦里斯特·伽罗瓦命名）是包含有限个元素的域。与其他域一样，有限域是进行加减乘除运算都有定义并且满足特定规则的集合。有限域最常见的例子是当 为素数时，整数对 取模。有限域的元素个数称为它的阶。有限域在许多数学和计算机科学领域的基础，包括数论、代数几何、伽罗瓦理论、有限几何学、密码学和编码理论。
存在性与唯一性.设 为质数幂， 为多项式于质数域 上的分裂域。换言之， 是最低阶的有限域，使得 在 内有 个互异的根（注意 的为 formula_6 ，因此 无重根）。