Eisensteintalet ( Eulertal [1] ) är ett komplext tal av formen:
där a och b är heltal och
är den kubiska icke-verkliga roten till enhet . Eisenstein-heltalen bildar ett triangulärt gitter i det komplexa planet . (Liknande hur Gaussiska heltal bildar ett kvadratiskt gitter.)
Systematiskt undersökt av den tyske matematikern Ferdinand Eisenstein .
Uppsättningen av Eisenstein-heltal är en kommutativ ring . Denna ring finns i fältet med algebraiska tal Q (ω), ett cirkulärt fält av tredje graden.
Talet ω uppfyller ekvationen och är ett algebraiskt heltal . Därför är alla Eisenstein- heltal algebraiska heltal .
Du kan också uttryckligen skriva ut polynomet vars rot är z = a + b ω.
Produkten av två Eisenstein-tal och ger
Normen för Eisensteins heltal är kvadraten på det absoluta värdet
Således är normen för ett Eisenstein-heltal alltid ett naturligt heltal. Eftersom det
normen för ett Eisenstein-heltal som inte är noll är alltid positiv.
Gruppen av enheter i ringen av Eisenstein-tal är en cyklisk grupp som bildas av sex enhetsrötter på det komplexa planet. Nämligen
{±1, ±ω, ±ω 2 }Och dessa är Eisensteins heltal av enhetsnorm.
Om x och y är Eisenstein-heltal, säger vi att x delar y om det finns något Eisenstein-heltal z så att y = z x .
Detta utökar begreppet delbarhet av naturliga heltal . Vi kan också utöka begreppet ett primtal ; Ett icke-ett Eisenstein-heltal x sägs vara ett Eisenstein- primtal om alla dess divisorer är av formen ux , där u är någon av de sex ettorna.
Det kan visas att naturliga primtal jämförbara med 1 modulo 3, såväl som talet 3, kan representeras som x 2 − xy + y 2 ( x , y är heltal) och därför kan dekomponeras ( x + ω y )( x + ω 2 y ), och är därför inte Eisenstein-primtal. Naturliga primtal som är kongruenta med 2 i bas 3 kan inte representeras på samma sätt, så de är också Eisenstein-primtal.
Varje Eisenstein-heltal a + b ω vars norm a 2 − ab + b 2 är ett naturligt primtal är ett Eisenstein-primtal.
Ringen av Eisenstein-tal bildar en euklidisk ring där normen N ges av formen
Detta kan matas ut så här:
Faktorgruppen för det komplexa planet C med avseende på gittret som innehåller alla Eisenstein-heltal är en komplex torus av reell dimension 2, som kännetecknas av den största symmetrigruppen bland alla komplexa tori med reell dimension 2.
Algebraiska tal | |
---|---|
Olika sorter | |
Specifik |