Primo de Eisenstein

En matemáticas, un primo de Eisenstein es un entero de Eisenstein

w = aωおめが + b

que es irreducible (o equivalentemente primo) en el sentido de la teoría de anillos: sus únicos divisores de Eisenstein son las unidades 1, 1+ωおめが, ωおめが, -1, -1-ωおめが, -ωおめが, y el propio aωおめが + b y sus múltiplos wu, donde u es una unidad del anillo Z[ωおめが] de los enteros de Eisenstein. Aquí ωおめが es la raíz de la unidad en el sistema ℂ de los números complejos. O de otra manera es una solución de la ecuación z³ - 1= 0

$\omega ={\frac {-1+i{\sqrt {3}}}{2}}$

Deben su nombre al matemático alemán Ferdinand Eisenstein.

Los primos de Eisenstein son precisamente aquellos enteros de Eisenstein αあるふぁ que satisfacen una de las siguientes condiciones:

1. αあるふぁ es igual al producto de una de las unidades y 1-ωおめが,
2. αあるふぁ es igual al producto de una de las unidades y un primo natural 3n-1,
3. αあるふぁ puede multiplicarse por un entero de Eisenstein de modo tal que el producto sea un primo natural 3n+1.

Los primeros enteros de Eisenstein iguales a un primo natural 3n-1 son:

2, 5, 11, 17, 23, 29, 41, 47, 53, 59, 71, 83, 89, 101, 107, 113, 131, 137.

listados como la (sucesión A003627 en OEIS). Algunos primos de Eisenstein no reales son

2+ωおめが, 3+ωおめが, 4+ωおめが, 5+2ωおめが, 6+ωおめが, 7+ωおめが, 7+3ωおめが

El conjugado complejo de cualquier primo de Eisenstein es otro; multiplicando un primo de Eisenstein por cualquiera de las unidades 1, 1+ωおめが, ωおめが, -1, -1-ωおめが, -ωおめが también se obtiene un primo de Eisenstein. Excepto por la conjugación y los múltiplos de la unidad, los primos indicados más arriba junto con 2 y 5 son todos los primos de Eisenstein de valor absoluto menor o igual que 7.

En 2005, el mayor primo (real) de Eisenstein conocido es 27653·2^9167433+1, que a su vez es el quinto mayor primo conocido, descubierto por Gordon.​ Todos los primos mayores que este son primos de Mersenne, descubiertos por GIMPS. Los primos de Eisenstein reales son congruentes a 2 mod 3, y los de Mersenne (excepto el menor, 3) son congruentes a 1 mod 3.

Referencias

• Datos: Q898675