Extindere de corp

În matematică, în special în algebră, o extindere de corp^[1] este o pereche de corpuri ${\displaystyle E\subseteq F,}$ astfel încât operațiunile lui E sunt cele ale lui F restricționate la E. În acest caz F este o extindere de corp a lui E, iar E este un subcorp al lui F.^[2][3][4] De exemplu, sub noțiunile obișnuite de adunare și înmulțire, numerele complexe o extindere de corp a numerelor reale; numerele reale fiind un subcorp al numerelor complexe.

Extinderile de corp sunt fundamentale în teoria algebrică a numerelor^⁠(d) și în studiul rădăcinilor polinoamelor prin teoria lui Galois și sunt utilizate pe scară largă în geometria algebrică.