Extensie generată finit

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ă.

Proprietatea extensiilor generate finit

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.

Literatură

Vezi și