Algebrai szám
Matematikában az algebrai szám olyan valós vagy komplex szám, amely gyöke egy racionális együtthatós nem azonosan nulla polinomnak. Ezzel ekvivalens, ha racionális helyett egészek az együtthatók.
Példák
[szerkesztés]A racionális számok algebrai számok. Egy irracionális szám is lehet algebrai, ha nem algebrai, akkor transzcendens szám. Például a és (ahol n pozitív egész, és r racionális) is algebrai számok, mert az , illetve gyökei. A képzetes egység is algebrai, mivel kielégíti az egyenletet. A π és az e nem algebrai számok.
Tulajdonságok
[szerkesztés]Minimálpolinom
[szerkesztés]Minden algebrai számhoz egyértelműen található olyan minimális fokszámú polinom, melynek a szám gyöke, és amelynek a főegyütthatója 1:
- ,
ahol n pozitív egész és az -k racionálisak. Ezt a polinomot hívják minimálpolinomnak. Az algebrai szám foka minimálpolinomjának fokszáma (n). Az elsőfokú algebrai számok a racionális számok.
Számosság
[szerkesztés]Az algebrai számok halmaza megszámlálhatóan végtelen, így mivel a valós számok számossága kontinuum (Cantor), majdnem minden valós szám transzcendens.
Az algebrai számok teste
[szerkesztés]Az algebrai számok összege, különbsége, szorzata, és hányadosa (sőt racionális kitevőjű hatványai) is algebrai, így testet alkotnak (jele [1] vagy ritkábban ). Megmutatható, hogy az algebrai együtthatós polinomok gyökei is algebrai számok.
A racionális számok teste az algebrai számok részteste (). Végtelen sok részteste van az algebrai számoknak, mely a racionális számokénál bővebb (). Ezekkel a résztestekkel Galois-elmélet foglalkozik.
A racionális számokból az alapműveletek (+, –, *, /) és n-edik gyökvonás (n pozitív egész) véges sokszori alkalmazásával kapható számok algebraiak. A Galois-elmélet egyik eredménye, hogy vannak olyan algebrai számok is, amelyek nem állnak elő ilyen módon, és ezen számok foka legalább 5. Például az egyenlet egyetlen valós gyöke ilyen algebrai szám.
Algebrai egészek
[szerkesztés]Az algebrai egészek olyan algebrai számok, amelyek minimálpolinomja egész együtthatós. Az algebrai egész elnevezés azzal is indokolható, hogy ha egy algebrai egész racionális, akkor egész szám is. Algebrai egészek összege, szorzata is algebrai egész, de hányadosuk nem feltétlenül az, így gyűrűt alkotnak (mely részgyűrűje az algebrai számok gyűrűjének).
Jegyzetek
[szerkesztés]- ↑ tehát itt nem a racionális számok testének komplementerét, az irracionális számok halmazát jelöli.
Források
[szerkesztés]- Pelikán József: Algebra (PDF/Postscript). Összeállította Gröller Ákos. ELTE TTK