, 12} 构成一个有限域。在这个域中，任何数学运算（加减乘除）都归约成13的模，例如 5 × 7 = 35 mod 13 = 9。对于任意素数"p"，都可以定义这种有限域；使用更复杂的方法，也可以对素数"p"的"m"次方定义这样的有限域。有限域也叫做伽罗瓦域，其缩写为 GF("p") 或 GF("p")。在这样一个有"m"个数的域中，任何非零元素"a"都存在惟一乘法逆 "a" 使"aa" = "a""a" ≡ 1 mod "m"。这可以通过解同余式"ax" ≡ 1 mod "m" 得出，或者也可以解与