Kentän yläpuolella oleva algebrallinen luku on kentän algebrallisen sulkemisen elementti eli polynomin juuri (ei identtisesti nolla ), jonka kertoimet ovat peräisin .
Jos kenttää ei ole määritetty, oletetaan rationaalilukujen kenttä eli tässä tapauksessa algebrallisten lukujen kenttää merkitään yleensä . Tämä joukko on kompleksilukukentän alikenttä .
Reaali- tai kompleksilukua , joka ei ole algebrallinen, kutsutaan transsendentaaliksi .
Kokonaisalgebralliset luvut ovat polynomien juuria, joiden kokonaislukukerroin on yhtä suuri kuin yksi.
Jos on algebrallinen luku, niin kaikkien polynomien joukossa, joiden juurina on kentän kertoimet , on yksi polynomi, jonka aste on pienin ja jonka suurin kerroin on yhtä suuri. Tällaista polynomia kutsutaan minimaaliseksi tai kanoniseksi polynomiksi algebrallisen luvun yli (joskus polynomia kutsutaan kanoniseksi , jos se saadaan minimistä kertomalla sen kertoimet kertoimien nimittäjien pienimmällä yhteisellä kerrannaiskertoimella , eli polynomi kokonaislukukertoimilla). Kanonisen astetta polynomin yläpuolelle kutsutaan algebrallisen luvun asteeksi .
Muita kanonisen polynomin yläpuolella olevia juuria kutsutaan konjugaatiksi ( Galoisin mukaan ) kanssa over .
Minimi ylipolynomi on määritelmän mukaan redusoitumaton yli .
Algebrallisen luvun korkeus on suurin kertoimien absoluuttisista arvoista pelkistymättömässä ja primitiivisessä polynomissa , jossa on kokonaislukukertoimet, jolla on juurensa. Tätä suuruutta kutsutaan myös itse redusoitumattoman polynomin korkeudeksi .
Mikä tahansa luku, joka voidaan saada kokonaisluvuista käyttämällä neljää aritmeettista operaatiota (yhdistys-, vähennys-, kerto- ja jakolasku) sekä kokonaislukuasteen juuren erottaminen , on algebrallinen. Joten esimerkiksi luku on algebrallinen , samoin kuin muodon luvut , joissa on rationaalilukuja .
Kaikkia algebrallisia lukuja ei kuitenkaan voida kirjoittaa radikaaleilla. Joten esimerkiksi Abel-Ruffinin lauseen mukaan viiden ja sitä korkeamman asteen polynomit kokonaislukukertoimilla voivat olla ratkaisemattomia radikaaleissa. Tällaisten polynomien juuret ovat algebrallisia lukuja, joita ei voida muodostaa neljästä aritmeettisesta operaatiosta ja juurien erottamisesta [2] .
Euler ehdotti nimeä algebralliset ja transsendenttiset luvut vuonna 1775. Tuolloin minkään tunnetun luvun ylittämistä ei vielä tiedetty [2] . Gauss alkoi harkita muita kuin rationaalisia algebrallisia kenttiä . Perustellessaan bikvadraattisten jäännösten teoriaa hän kehitti Gaussin kokonaislukujen aritmetiikkaa eli lukujen muotoa , jossa ja ovat kokonaislukuja .
Gaussin tutkimuksen jatko johti 1800-luvun jälkipuoliskolla yleisen algebrallisten lukujen teorian rakentamiseen [3] . Lisäksi tutkiessaan kuutiojäännösteoriaa Jacobi ja Eisenstein loivat muodon lukujen aritmeettisen luvun , jossa on yksikön kuutiojuuri ja ovat kokonaislukuja . Vuonna 1844 Liouville osoitti lauseen , jonka mukaan polynomien juuria, joilla on rationaaliset kertoimet, ei voida liian hyvin approksimoida rationaalisilla murtoluvuilla, ja sen seurauksena esitteli algebrallisten ja transsendenttisten (eli kaikkien muiden reaalilukujen) muodolliset käsitteet.
Yritykset todistaa Fermatin viimeinen lause sai Kummerin tutkimaan ympyrän jakokenttiä , esittelemään ideaalin käsitteen ja luomaan algebrallisen lukuteorian elementtejä. Dirichlet'n , Kroneckerin , Hilbertin ja muiden teoksissa algebrallisten lukujen teoriaa kehitettiin edelleen. Suuren panoksen siihen antoivat venäläiset matemaatikot Zolotarev ( ideaaliteoria ), Voronoi (kuutioirrationaalisuus, kuutiokenttien yksiköt), Markov (kuutiokenttä), Sokhotsky (ideaaliteoria) ja muut.
Algebralliset luvut | |
---|---|
Lajikkeet | |
Erityinen |
|
Numeeriset järjestelmät | |
---|---|
Laskettavat sarjat |
|
Reaaliluvut ja niiden laajennukset |
|
Numeeriset laajennustyökalut | |
Muut numerojärjestelmät | |
Katso myös |