ein Körper K mit endlich vielen Elementen.

Die Charakteristik eines Galois-Felds K ist immer eine Primzahl p, und die Anzahl n der Elemente von K ist eine Potenz von p, also n = p^m. Umgekehrt gibt es für jeder Primzahlpotenz n = p^m ein Galois-Feld GF(n) mit exakt n Elementen. Jedes Element eines Galois-Felds läßt sich als Nullstelle der Gleichung xⁿ – x = 0 darstellen, d. h. jedes Element ist eine Potenz einer primitiven (n – 1)-ten Einheitswurzel. Die Galois-Felder sind alle endlichen Körper (endlicher Körper).