Az egész algebrai számokat egész együtthatós és eggyel egyenlő vezető együtthatójú polinomok komplex (és különösen valós ) gyökeinek nevezzük .
A komplex számok összeadása és szorzása tekintetében az algebrai egész számok egy gyűrűt alkotnak . Nyilvánvalóan az algebrai számok mezőjének egy részgyűrűje, és minden közönséges egész számot tartalmaz.
Legyen valamilyen komplex szám. Tekintsünk egy gyűrűt , amelyet úgy generálunk, hogy közönséges egész számokat adunk a gyűrűhöz . Az összes lehetséges értékből áll , ahol egy polinom egész együtthatókkal. Ekkor teljesül a következő feltétel: egy szám akkor és csak akkor algebrai egész szám, ha végesen generált Abel-csoport .
Az algebrai egész számok elméletét a 19. században alkották meg Gauss , Jacobi , Dedekind , Kummer és mások. Az iránta való érdeklődés különösen annak a ténynek köszönhető, hogy történetileg ez a struktúra volt az első a matematikában, ahol a prímtényezőkké való kétértelmű faktorizációt fedezték fel. A klasszikus példákat Kummer építette; mondjuk, az algebrai egészek részhalmazában 2 kiterjesztés történik:
,sőt mindkét esetben minden faktor egyszerű , vagyis ebben az algyűrűben felbonthatatlan.
Ennek a problémának a tanulmányozása az ideális és az elsődleges ideál fontos fogalmainak felfedezéséhez vezetett, amelyek szerkezetében lehetővé vált az elsődleges tényezőkre való bontás egyértelműen meghatározható.
Algebrai számok | |
---|---|
Fajták | |
Különleges |