Liczby całkowite Eisensteina: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
Januszkaja (dyskusja | edycje) drobne merytoryczne |
Januszkaja (dyskusja | edycje) 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|
[[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'' − 1.]]
==Bibliografia==
|