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

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
drobne merytoryczne
zmiany merytoryczne + rysunek
Linia 4:
 
oraz ''i'' jest [[jednostka urojona|jednostką urojoną]]. <math>\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+b\omega)= |a + b\omega|^2=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]].
Na [[płaszczyzna zespolona|płaszczyźnie zespolonej]] liczby całkowite Eisensteina są węzłami regularnej sieci trójkątnej (złożonej z trójkątów równobocznych, jak na rysunku).
 
Zbiór liczb pierwszych Eisensteina jest (z dokładnością do mnożenia przez niżej wspomniane elementy odwracalne) 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>.
Linia 18:
Na płaszczyźnie zespolonej można ją zinterpretować jako grupę obrotów dokoła początku układu współrzędnych [[generator grupy|generowaną]] przez obrót o 60° (na przykład w kierunku przeciwnym do obrotu wskazówek zegara). Wynika stąd, że liczb pierwszych Eisensteina wystarczy szukać wewnątrz jakiegokolwiek kąta o mierze 60° o wierzchołku w punkcie 0 (np. kąta, którego pierwsze ramię pokrywa się z dodatnią półosią osi odciętych, a drugie ramię przechodzi przez punkt <math>1 \,+\, \omega</math>.
 
[[Grafika:Eisenstein's integer numbers.svg|thumb|550px490px|centerright|Liczby pierwsze Eisensteina mogą być liczbami całkowitymi, ale wiele z nich ma niezerową część urojoną. Na rysunku liczby pierwsze Eisensteina zostały wyróżnione kolorem zielonym, a elementy odwracalne kolorem czerwonym.]]
[[Grafika:EisensteinPrimes-01.svg|400px|right|thumb|Małe liczby pierwsze Eisensteina. Te, które leżą na zielonych osiach odpowiadają całkowitym liczbom pierwszym postaci 3''n''&nbsp;&minus;&nbsp;1.]]
 
 
==Bibliografia==