Kenttäteorian minimipolynomi on algebralliselle elementille määritelty konstruktio : polynomi , joka on monikerta kaikista polynomeista, joiden juuri on annettu alkio.
Kenttälaajennusten tutkimuksessa käytetään minimipolynomeja . Kun on annettu laajennus ja elementti algebrallinen yli , niin minimaalinen osakenttä, joka sisältää ja on isomorfinen osamäärärenkaaseen nähden , jossa on polynomien rengas, joiden kertoimet ovat , ja on minimipolynomin generoima pääideaali . Myös minimaalisen polynomin käsitettä käytetään määritettäessä konjugaattielementtejä .
Antaa olla laajennus kenttään , olla elementti algebrallinen yli . Harkitse joukko polynomeja siten, että . Tämä joukko muodostaa ideaalin polynomirenkaassa . Todellakin, jos , Sitten , Ja minkä tahansa polynomin . Tämä ideaali on nollasta poikkeava, koska oletetaan, että elementti on algebrallinen; koska on pääasiallisten ihanteiden alue , tämä ihanne on pääasiallinen, eli se on generoitu jonkin polynomin avulla . Tällainen polynomi määritetään kertomalla kentän käännettävällä elementillä; asettamalla lisävaatimuksen, että johtava kerroin on yhtä suuri kuin yksi, eli että se on pelkistetty polynomi , saadaan ainutlaatuinen kuvaus mielivaltaiseen algebralliseen elementtiin polynomin annetusta laajennuksesta, jota kutsutaan minimipolynomiksi . Määritelmästä seuraa, että mikä tahansa minimaalinen polynomi on redusoitumaton .
Algebrallisen elementin konjugaattielementit kentän yli ovat kaikki minimipolynomin (muut) juuret .
Antaa olla normaali laajennus automorfismiryhmällä , . Sitten millä tahansa - on konjugoitu , koska mikä tahansa automorfismi vie tietyn polynomin juuret takaisin juuriin. Sitä vastoin millä tahansa elementillä, joka on konjugoitu, on seuraava muoto: tämä tarkoittaa, että ryhmä toimii transitiivisesti konjugoitujen elementtien joukossa. Siksi K on isomorfinen minimipolynomin pelkistämättömyyden vuoksi . Siksi konjugaatiosuhde on symmetrinen .
Kroneckerin lause sanoo, että mikä tahansa algebrallinen kokonaisluku , jonka moduuli ja kaikkien sen konjugaattien moduuli kompleksilukujen alalla on yhtä suuri kuin 1, on ykkösjuuri .