Liczby całkowite Eisensteina: Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
drobne techniczne
zmiana opisu liczb pierwszych Eisensteina
Linia 1:
[[Grafika:Eisenstein's integer numbers.svg|thumb|300px|Liczby pierwsze Eisensteina mogą być liczbami całkowitymi, ale wiele z nich ma niezerową część urojoną. Na rysunku liczby pierwsze GaussaEisensteina zostały wyróżnione kolorem zielonym, a elementy odwracalne kolorem czerwonym.]]'''Liczby całkowite Eisensteina''' (nazywane także '''liczbami Eisensteina-Jacobiego''') – liczby postaci <math>a+bwb\omega</math>, gdzie <math>a</math> i <math>b</math> są [[liczby całkowite|liczbami całkowitymi]],
 
:<math>w\omega = \frac{(-1+i\sqrt{3})}{2}=e^{\frac{2}{3}\pi i}</math>,
 
oraz ''i'' jest [[jednostka urojona|jednostką urojoną]]. <math>w\omega</math> jest pierwiastkiem zespolonym równania <math>z^2+z+1=0</math>. Zarówno [[Dodawanie|suma]], [[Odejmowanie|różnica]] jak i [[Mnożenie|iloczyn]] liczb Eisensteina również są liczbami Eisensteina, tworzą więc one [[pierścień (matematyka)|pierścień]]. Pierścień ten jest [[Dziedzina Euklidesa|euklidesowy]] z normą <math>N</math> daną wzorem
:<math>N(a+bwb\omega)=a^2-ab+b^2\,</math>.
W szczególności, pierścień liczb całkowitych Eisensteina jest [[Pierścień z jednoznacznością rozkładu|pierścieniem z jednoznacznością rozkładu]]. Liczby pierwsze Eisensteina są [[element całkowity|elementami całkowitymi]] w [[ciało (matematyka)|ciele]] <math>\mathbb{Q}(w)</math>.
 
Zbiór liczb pierwszych Eisensteina jest sumą dwóch zbiorów:
# zbioru liczb <math>a+b\omega</math>, takich że ''a'' jest liczbą pierwszą, taką że <math>a \equiv 2 \pmod{3}</math> oraz ''b'' = 0,
# zbioru liczb <math>a+b\omega</math>, takich że <math>N(a+b\omega)</math> jest taką liczbą pierwszą ''p'', że <math>p \equiv 1 \pmod{3}</math>.
 
[[element odwracalny|Grupa elementów odwracalnych]] pierścienia liczb całkowitych Eisensteina jest sześcioelementowa i składa się z:
 
: <math>+1,\, -1,\, +w\omega,\, -w\omega,\, +w\omega^2 = -1 + \omega,\, -w\omega^2 = 1 - \omega.</math>
 
==Bibliografia==