Eisenstein- tallet ( Euler-tal [1] ) er et komplekst tal af formen:
hvor a og b er heltal og
er den kubiske ikke-virkelige rod af enhed . Eisenstein-heltallene danner et trekantet gitter i det komplekse plan . (Svarer til hvordan Gaussiske heltal danner et kvadratisk gitter.)
Systematisk undersøgt af den tyske matematiker Ferdinand Eisenstein .
Sættet af Eisenstein-heltal er en kommutativ ring . Denne ring er indeholdt i feltet af algebraiske tal Q (ω), et cirkulært felt af tredje grad.
Tallet ω opfylder ligningen og er et algebraisk heltal . Derfor er alle Eisenstein- heltal algebraiske heltal .
Du kan også udtrykkeligt udskrive polynomiet , hvis rod er z = a + b ω.
Produktet af to Eisenstein-tal og giver
Normen for Eisenstein-heltallet er kvadratet af den absolutte værdi
Således er normen for et Eisenstein-heltal altid et naturligt heltal. Fordi
normen for et Eisenstein-heltal, der ikke er nul, er altid positiv.
Gruppen af enheder i ringen af Eisenstein-tal er en cyklisk gruppe dannet af seks enhedsrødder på det komplekse plan. Nemlig
{±1, ±ω, ±ω 2 }Og disse er Eisenstein-heltallene for enhedsnormen.
Hvis x og y er Eisenstein-heltal, siger vi, at x deler y , hvis der er noget Eisenstein-heltal z , således at y = z x .
Dette udvider begrebet delelighed af naturlige heltal . Vi kan også udvide begrebet et primtal ; Et ikke-en Eisenstein-heltal x siges at være et Eisenstein- primtal , hvis alle dets divisorer har formen ux , hvor u er en af de seks enere.
Det kan vises, at naturlige primtal, der kan sammenlignes med 1 modulo 3, såvel som tallet 3, kan repræsenteres som x 2 − xy + y 2 ( x , y er heltal) og derfor kan dekomponeres ( x + ω y )( x + ω 2 y ), og er derfor ikke Eisenstein-primtal. Naturlige primtal, der er kongruente med 2 i base 3, kan ikke repræsenteres på samme måde, så de er også Eisenstein-primtal.
Ethvert Eisenstein-heltal a + b ω, hvis norm a 2 − ab + b 2 er et naturligt primtal, er et Eisenstein-primtal.
Ringen af Eisenstein-tal danner en euklidisk ring , hvor normen N er givet af formen
Dette kan udsendes sådan:
Faktorgruppen i det komplekse plan C med hensyn til gitteret, der indeholder alle Eisenstein-heltal, er en kompleks torus af reel dimension 2, som er kendetegnet ved den største symmetrigruppe blandt alle komplekse tori af reel dimension 2.
Algebraiske tal | |
---|---|
Sorter | |
Bestemt |