ENTEROS DE EISENSTEIN

MATEMÁTICA COMPUTACIONAL
Edwin René Araque Alarcón
Escuela de Matemáticas, Universidad Industrial de Santander, Bucaramanga, Colombia

Abril 2019

Introducción
Existe una definición general de números enteros, como el conjunto de todos los
naturales con signo (positivos y negativos) junto con el 0. Se representa por la
letra Z = {. . . , −2, −1, 0, +1, +2, . . . }
Junto a dos operaciones binarias forman un dominio euclı́deo. En este documento
se mostrará una extensión de los enteros la cual se denota por
√ Z[ω] y esta definido
√
como z = a + bω, z ∈Z[ω], a,b ∈ Z, siendo ω = 21 (−1 + i 3) = e2πi/3 ,i= −1
la unidad imaginaria, con las operaciones básicas de los complejos se evidenciare
es un anillo euclidiano que contiene a Z y se encontraran los divisores de un entero
de Eisenstein.

1 Conceptos importantes
Anillo o Dominio euclı́deo: Anillo conmutativo sobre el que se puede definir una
función euclı́dea que permite generalizar la noci divisiclı́dea usual de los nmeros
enteros y utilizarla para hallar el MCD de dos números cualesquiera, esto implica
que el MCD entre dos números siempre existe y puede ser expresado como una
combinación lineal de ellos(identidad de Bezout). Adicional a esto, todo ideal es
principal lo que permite generalizar el teorema fundamental de la aritmética: todo
dominio euclı́deo es un dominio de factorización única.

Un dominio euclı́deo es un par (A, φ) donde A es un dominio de integridad y φ

1
es una aplicación φ : A \ {0} −→ N ∪ {0} que cumple las siguientes dos condi-
ciones.
1. Para cualesquiera a, b ∈ A tales que b 6= 0 se cumple que existen q, r ∈ A de
manera que
a = bq + r
tales que r = 0 o bien φ(r) < φ(b)
2. Para dos elementos cualesquiera a, b ∈ A \ {0}
φ(a) ≤ φ(a · a)
A los elementos q y r se les denomina respectivamente cociente y resto, como en
la división usual.

Enteros de Eisenstein : Llamados asi por el matemático Alemán Ferdinand Got-

thonld Max Eissenstein (1823-1852) A los números complejos de la forma
z = a + bω, a, b ∈ Z, z ∈ Z[ω] ⊂ C.
Z[ω] con las operaciones
√ básicas de compejos
√ forman un dominio de integridad,
siendo ω = 12 (−1 + i 3) = e2πi/3 ,i= −1 la unidad imaginaria. En particular
ω satisface la ecuación algebraica de coeficiente principal 1 a demas coeficientes
son enteros racionales.
z 2 + z + 1 = 0.
Las operaciones que caracterizan a los enteros de Eissenstein.

Norma: Hace las veces de φ siendo un aplicación φ : A \ {0} −→ N ∪ {0} donde

A es el dominio de integridad formado por los enteros de Eisenstein.
La norma esta definida de la siguiente manera, sea z = a + bω, z1 = a1 + b1 ω,
z1 , z ∈ Z[ω]
N (z) = N (a + bω) = a2 − ab + b2
Esto porque
√ !
1 3
a + bω = a − b + i b
2 2
Ee deduce que
1 3 1 3
N (a + bω) = a − b2 + b2 = a2 − ab + b2 + b2 = a2 − ab + b2
2 4 4 4
Otra caracterización de la norma es
N (z · z1 ) = N (z) · N (z1 )

2
Suma
z + z1 = (a + a1 ) + (b + b1 )ω
Resta
z − z1 = (a − a1 ) + (b − b1 )ω
Multiplicación
z · z1 = ((a · a1 ) − (b · b1 )) + ((a1 ) + (b · a1 ) − (b · b1 )) ω
Algoritmo de Euclides Dados dos enteros de Essenstein c y d ? 0, existen dos
enteros de Eisenstein q y r tal que
c = dq + r, N (d) > N (r)
Aunque q y r no sean únicos. Se sigue cumpliendo el algoritmo de Euclides.

Cuerpo
Metodologı́a
En este documento se mostrará el protocolo para hallar los divisores de un número
de eisenstein en la plataforma Xlogo. se programaron las operaciones suma,, resta
multiplicación, norma, potenciación y algoritmo de Euclides. Luego de esto se
definieron funciones adicionales que son necesarias para conseguir los divisores,
entre estas estan la función que verifica que un número es divisor de otro, la que
busca los divisores de la norma, la que hace una lista con los enteros que tienen
una norma determinada.

Acontinuación se evidenciará la descripción de cada una de las funciones

Función 1. suma

3
 Función 2. resta

Función 3. multiplicación

Función 4. potenciación

Función 5. norma

4
 Función 6. algoritmo de Euclides

Función 7. verifica

Acontinuación se mostrará una función alternativa que muestra los divisores

de un entero de Eisenstein.

No es óptima dado que tiene que hacer un número muy grande de procesos para
encontrar cada uno de los divisores, no es exacta ya que se trabaja en un sub-
conjunto de los enteros de Eisenstein en los que puede no estar contenida toda la
información que se necesita para funciones como algoritmo de Euclides y para
buscar divisores.

Funciones auxiliares

5
 Función 8. divisores

Seguido a esto se presentará una forma alternativa moptima que la anterior y

con la misma fiabilidad para hallar los divisores de un entero de Eisenstein, se
logro hacer mas óptima la funcistringuiendo el intervalo dado a solo los enteros
con norma que dividen a la norma del entero de Eisenstein con el que se trabaja.

Se crearon nuevas funciones auxiliares para llegar al resultado mencionado.

Función 9. busca enteros de Eisenstein

6
 En la siguiente función se puede inicializar la variable m en 2 dado que si se
inicializa en 1 encontramos las unidades y ya se tiene que las unidades son divi-
sores del entero con el que se desea trabajar.

Función 10. divisores de n ∈ N

La siguiente función presenta un proble dado que crea una lista que contiene
listas de listas esto implica que al momento de leer la lista no se puede evauar
elemento tras elemento.

Función 11. posibles divisores

7
 Función 12. divisores optimizada

Conclusiones
Como resultado del los procesos realizados para la construcci este documento
podemos concluir que los divisores de un nmero siempre son mltiplos de 6, esto
se debe a que el dominio Euclidiano compuesto por los enteros de Eisenstein
poseen 6 unidades, tambie evidenciaron dificultades para encontrar exactitud en
varios procesos, como lo fue verificar que un entero de Eisenstein divide a otro,
dicha dificultad se presentido a que se restringa bsqueda a un subconjunto de los
enteros de Eisenstein por medio de listas. Estas dificultades se presentaron
tambin el algoritmo de Euclides y en todas las demunciones que llamaban a las
anteriormente mencionadas.

Se recomienda para un pro documento relacionado utilizar la norma de los

enteros de Eisenstein para restringir la bsqueda a un conjunto que contenga todos
los divisores de esa manera se alcance la exactitud en algunos procesos.

8
Referencias
1. https : //[Link] [Link]/sp/index − [Link] Plataforma de
programación y documentación.

2. https : //[Link]/wiki/Enterod eE isenstein Entero de Eisenstein.

3. Rafael Fernando Isaacs Giraldo. Profesor de la Universidad Industrial de

Santander. Creación e ideas de funciones para los enteros de Eisenstein.