Eisenstein szám

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 .

Tulajdonságok

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.

Eisenstein prímszámok

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.

Euklideszi gyűrű

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:

C faktorcsoport Eisenstein egész számokkal

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.

Lásd még

Jegyzetek

  1. Surányi László. Algebra  (határozatlan) . - TYPOTEX, 1997. - 73. o. és Szalay, Mihály. Számelmélet  (neopr.) . - Tankönyvkiadó, 1991. - P. 75. Mindkettő Euler-egészeknek, azaz Euler-számoknak hívja ezeket a számokat.

Linkek