Polinom minim al unui element algebric

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 .

Definiție

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 .

Exemple

Elemente conjugate

Elementele conjugate ale unui element algebric peste un câmp  sunt toate (celelalte) rădăcini ale polinomului minim .

Proprietăți

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 .

Note