Az Eisenstein -szám ( Euler-szám [1] ) egy komplex szám a következő alakban:
ahol a és b egész számok és
az egység köbös nem valós gyökere . Az Eisenstein-egészek a komplex síkban háromszögrácsot alkotnak . (Hasonlóan ahhoz, ahogy a Gauss-egészek négyzetrácsot alkotnak.)
Ferdinand Eisenstein német matematikus szisztematikusan vizsgálta .
Az Eisenstein-egészek halmaza egy kommutatív gyűrű . Ez a gyűrű a Q (ω) algebrai számok mezőjében , egy harmadfokú körmezőben található .
Az ω szám kielégíti az egyenletet , és algebrai egész szám . Ezért minden Eisenstein- egész algebrai egész szám .
Explicit módon is kiírhatja azt a polinomot , amelynek gyöke z = a + b ω.
Két Eisenstein-szám szorzata és megadja
Az Eisenstein-egész szám normája az abszolút érték négyzete
Így egy Eisenstein-egész szám normája mindig természetes egész. Mert a
a nullától eltérő Eisenstein-egész szám normája mindig pozitív.
Az Eisenstein-számok gyűrűjének egységcsoportja egy ciklikus csoport , amelyet hat egységgyök alkot a komplex síkon. Ugyanis
{±1, ±ω, ±ω 2 }És ezek az egységnorma Eisenstein-egészei.
Ha x és y Eisenstein-egészek, akkor azt mondjuk, hogy x osztja y -t, ha van olyan z Eisenstein-egész , amelyre y = z x .
Ez kiterjeszti a természetes egész számok oszthatóságának fogalmát . A prímszám fogalmát is kiterjeszthetjük ; Egy nem egy x Eisenstein-egészt Eisenstein - prímnek mondjuk, ha minden osztója ux alakú , ahol u a hat közül bármelyik.
Megmutatható, hogy az 1 modulo 3-hoz hasonlítható természetes prímszámok , valamint a 3-as számok x 2 − xy + y 2 -ként ábrázolhatók ( x , y egész számok), és ezért felbonthatók ( x + ω y )( x + ω 2 y ), tehát nem Eisenstein-prímek. A 2-vel kongruens természetes prímek a 3. bázisban nem ábrázolhatók ugyanúgy, ezért ezek is Eisenstein-prímek.
Minden a + b ω Eisenstein-egész , amelynek a 2 − ab + b 2 normája természetes prím, Eisenstein-prím.
Az Eisenstein-számok gyűrűje egy euklideszi gyűrűt alkot , amelyben az N normát a forma adja
Ezt így lehet kiadni:
A C komplex sík faktorcsoportja az összes Eisenstein-egész számot tartalmazó rácshoz képest egy 2. valós dimenziójú komplex tórusz , amelyet a 2. valós dimenziójú összes komplex tori közül a legnagyobb szimmetriacsoport különböztet meg.
Algebrai számok | |
---|---|
Fajták | |
Különleges |