O extensie de câmp generată finit este o extensie a câmpului astfel încât să existe elemente astfel încât . Elementele sunt fracții algebrice , unde și sunt polinoame. Dacă , atunci extensia se numește simplă.
Dacă o extensie generată finit este algebrică peste , atunci este finită .
Pentru o extensie algebrică simplă, aceasta rezultă din faptul că mulțimea de valori ale polinoamelor din este nu numai un inel , ci și un câmp. Într-adevăr, să . Atunci polinomul nu este divizibil cu — polinomul minim peste . Dar este un polinom ireductibil și , prin urmare, coprim. Aceasta înseamnă că există polinoame peste și astfel încât . Înlocuind în această egalitate avem , adică este inversabil și este câmpul dorit . În același mod, împărțind la , obținem că dacă are un grad , atunci
Pentru o extensie din mai multe elemente avem: . Elementele fiind peste algebrice rămân astfel peste un câmp mare . Apoi, aplicăm teorema pe turnul de extensii finite.