En i abstrakt algebra er en tallkropp som inneholder et endelig antall elementer. Den blir også kalt en etter Evariste Galois. Antallet elementer kalles til kroppen og angir størrelsen av den underliggende mengden. Som for enhver annen kropp, så inneholder en endelig kropp definerte operasjoner som kan utføres med dens elementer. De er kommutativ addisjon og multiplikasjon, subtraksjon og divisjon, unntatt med null. Det vanligste, men ikke eneste, eksemplet på endelige kropper er de hele tallene modulo et primtall .