Intero di Eisenstein
Da Wikipedia, l'enciclopedia libera.
In matematica, un intero di Eisenstein, dal nome del matematico Ferdinand Eisenstein, è un numero complesso della forma:
dove a e b sono numeri interi e
è una radice cubica dell'unità. Gli interi di Eisenstein formano un reticolo triangolare nel piano complesso, a differenza degli interi gaussiani che formano un reticolo rettangolare nel piano complesso.
Indice |
[modifica] Proprietà
Gli interi di Eisenstein formano un anello commutativo di numeri algebrici nel campo dei numeri algebrici Q(√−3). Essi formano anche un dominio Euclideo.
Per vedere che gli interi di Eisenstein sono interi algebrici si noti che ogni z = a + bω è una radice del polinomio monico
- z2 − (2a − b)z + (a2 − ab + b2).
In particolare, ω soddisfa l'equazione
- ω2 + ω + 1 = 0.
Il gruppo delle unità nell'anello degli interi di Eisenstein è un gruppo ciclico formato dalle radici dell'unità seste nel piano complesso. In particolare esse sono
- {±1, ±ω o ±ω2}
Esiste solo un intero di Eisenstein con valore assoluto uguale a uno.
[modifica] Numeri primi di Eisenstein
Se x e y sono interi di Eisenstein, si dice che x divide y se esiste un intero di Eisenstein z tale che
- y = z x
Questo estende la nozione di divisibilità per i numeri interi ordinari. Inoltre si può estendere la nozione di primalità; un intero di Eisenstein non unitario x è un primo di Eisentein se i suoi unici divisori sono nella forma ux e u dove u è una qualunque delle sei unità.
Si può dimostrare che un numero primo ordinario (o primo razionale) della forma x2 − xy + y2 può essere fattorizzato in (x + ωy)(x + ω2y) e quindi non primo negli interi di Eisentein. Inoltre, un numero della forma x2 − xy + y2 è un primo razionale se e solo se x + ωy è un primo di Eisentein.
[modifica] Dominio Euclideo
L'anello degli interi di Eisentein forma un dominio Euclideo la cui norma v è
- v(a + ωb) = a2 − ab + b2.
Questo può essere dimostrato immergendo gli interi di Eisenstein nei numeri complessi: poiché
- v(a + ib) = a2 + b2
e poiché
segue che
-
-
.
-





