Un corp este un inel cu unitate în care fiecare element diferit de zero este inversabil. Cu alte cuvinte, este o mulțime cu două operații (adunare și înmulțire) care are următoarele proprietăți:
A apărut ca o generalizare a conceptului de câmp (care poate fi definit ca un corp cu înmulțire comutativă ). După teorema lui Wedderburn , fiecare corp finit este un câmp. Cel mai faimos exemplu de corp care nu este, de asemenea, un câmp este corpul de cuaternioni .