Polinomul minim în teoria câmpului este o construcție definită pentru un element algebric : un polinom care este un multiplu al tuturor polinoamelor a căror rădăcină este elementul dat.
Polinoamele minime sunt utilizate în studiul extensiilor de câmp . Având în vedere o extensie și un element algebric peste , atunci subcâmpul minim care conține și este izomorf cu inelul coeficient , unde este inelul polinoamelor cu coeficienți în , și este idealul principal generat de polinomul minim . De asemenea, conceptul de polinom minim este folosit la determinarea elementelor conjugate .
Fie o extensie a câmpului , fie un element algebric peste . Se consideră o mulțime de polinoame astfel încât . Această mulțime formează un ideal în inelul polinomial . Într-adevăr, dacă , atunci , și pentru orice polinom . Acest ideal este diferit de zero, deoarece prin presupunere elementul este algebric; deoarece este domeniul idealurilor principale , acest ideal este principal, adică este generat de un polinom . Un astfel de polinom este definit până la înmulțirea cu un element inversabil al câmpului; impunând o cerință suplimentară ca coeficientul de conducere să fie egal cu unu, adică să fie un polinom redus , se obține o mapare unică la un element algebric arbitrar dintr-o extensie dată a polinomului, care se numește polinom minim . Din definiție rezultă că orice polinom minim este ireductibil în .
Elementele conjugate ale unui element algebric peste un câmp sunt toate (celelalte) rădăcini ale polinomului minim .
Fie o extensie normală cu grup de automorfism , . Atunci pentru orice - este conjugat cu , deoarece orice automorfism ia rădăcinile polinomului dat din spate la rădăcini. Dimpotrivă, orice element conjugat la are următoarea formă: aceasta înseamnă că grupul acționează tranzitiv asupra mulțimii elementelor conjugate. Prin urmare, prin ireductibilitatea polinomului minim, K este izomorf . Prin urmare, relația de conjugație este simetrică .
Teorema lui Kronecker afirmă că orice număr întreg algebric astfel încât modulul său și modulul tuturor conjugatelor sale din domeniul numerelor complexe este egal cu 1 este o rădăcină a unității .