Entero de Eisenstein

De Wikipedia, la enciclopedia libre

Enteros de Eisenstein como puntos de intersección de una retícula triangular en el plano complejo

En matemáticas, los enteros de Eisenstein, llamados así por Ferdinand Eisenstein, son números complejos de la forma

$z = a + b\,\omega$

donde a y b son números enteros y

$\omega = \frac{1}{2}(-1 + i\sqrt 3) = e^{2\pi i/3}$

es una raíz cúbica de la unidad compleja.

Los enteros de Eisenstein forman un anillo conmutativo de enteros algebraicos en el campo de números algebraicos Q(√−3). También forman un dominio euclidiano.

Para ver que los enteros de Eisenstein son enteros algebraicos nótese que cada z = a + bω es una raíz del polinomio mónico

z 2 - (2 a - b) z + (a 2 - a b + b 2).

En particular, ω satisface la ecuación

ω 2 + ω + 1 = 0.

Si x e y son enteros de Eisenstein, diremos que x divide a y si existe algún entero de Eisenstein z tal que

y = z x.

Esto extiende la noción de divisibilidad para los enteros ordinarios. Por lo tanto, podremos también extender la noción de primalidad; un entero de Eisenstein x será un primo de Eisenstein si sus únicos divisores son

$\pm x, \pm\omega x, \pm\omega^2 x, \pm1, \pm\omega, \pm\omega^2$

(excepto por que no consideraremos ±1, ±ω o ±ω² en sí mismos como primos de Eisenstein — son unidades en el anillo de los enteros.

Tabla de contenidos

1 Relación con los primos de forma x² − xy + y²
2 Dominio euclidiano
3 Véase también
4 Enlaces externos

[editar] Relación con los primos de forma x² − xy + y²

Puede demostrarse que un primo de la forma $x 2 - x y + y 2$ puede ser factorizado en $(x + ω y)(x + ω 2 y)$ y por lo tanto no es primo entre los enteros de Eisenstein. Nótese también que un número de la forma x² − xy + y² es primo si y solo si x + ωy es un primo de Eisenstein.