En matemáticas , un número primo de Eisenstein o número primo de Eisenstein es un elemento irreducible (o equivalentemente primo ) a + b ω del anillo de números enteros de Eisenstein : no es una de las seis unidades (± 1, ± ω, ± ω 2 ) y sus únicos divisores en el anillo son las unidades y los productos de a + b ω por una unidad.
Aquí, ω denota la raíz cúbica primitiva de la unidad (- 1 + i √ 3 ) / 2.
Los números de Eisenstein fueron nombrados en honor al matemático Gotthold Eisenstein .
Los números primos de Eisenstein son:
De acuerdo con las propiedades generales de la norma en un anillo de enteros cuadráticos , los números primos de Eisenstein se obtienen descomponiendo en ℤ [ω] los números primos usuales, y para tal número natural primo p , hay n 'solo dos posibilidades :
Queda por verificar que estos dos casos corresponden a las congruencias anunciadas.
ℤ [ω] siendo principal, sus elementos primos son los generadores de sus ideales primos distintos de cero. Cada uno de estos ideales tiene seis generadores ( asociados ). La clasificación de estos ideales en el anillo de números enteros de ℚ ( √ d ) para cualquier d ( ver artículo detallado), aplicada aquí ad = –3, muestra que estos elementos son:
Sin embargo, de acuerdo con la ley de reciprocidad cuadrática , módulo un número primo p > 3, –3 es un cuadrado si y solo si p ≡ 1 mod 3.
Los diez números primos más pequeños (habituales) congruentes con 2 módulo 3 son 2 , 5 , 11 , 17 , 23 , 29 , 41 , 47 , 53 y 59 . A partir de 2007 , el más grande conocido es 19,249 × 2 13,018,586 + 1, descubierto por Konstantin Agafonov. Actualmente está (enfebrero 2015) el undécimo número primo más grande conocido.
Excepto por la conjugación y producido por las seis unidades, los únicos números primos de Eisenstein de módulo menor que 7 son, además de 2 y 5: 2 + ω, 3 + ω, 4 + ω, 5 + 2ω, 6 + ω, 7 + 3ω y 7 + ω (de los respectivos estándares 3, 7, 13, 19, 31, 37 y 43). Los números de Eisenstein de la norma 3 son notables porque cada uno es producido de su conjugado por una unidad: 3 = (2 + ω) (2 + ω) = - (2 + ω) 2 .