DOMINIOS DE IDEALES PRINCIPALES QUE NO SON EUCLIDEANOS

IGNACIO DARAGO

Cuando estudiamos anillos hay dos ejemplos naturales en los que inmediatamente pen-
samos: Z y k[ x ]. Estos dos anillos tienen una propiedad muy importante: poseen un algo-
ritmo de division. La nocion de dominio euclideano se obtiene al pensar en los anillos en
los que es posible hacer un algoritmo de division. Mas precisamente:
Definicion 1. Un anillo A se dice euclideano si existe : A r {0} N0 tal que:
( ab) ( a) para todos a, b A r {0}.
Para todos a A r {0}, b A, existen q, r A tales que b = aq + r donde r = 0 o
(r ) < ( a ).
Nuestros dos ejemplos Z y k[ x ] ademas cumplen otras dos propiedades: todo ideal
propio esta generado por un unico elemento y existe factorizacion unica en irreducibles.
Tenemos entonces las siguientes dos definiciones:
Definicion 2. Sea A un anillo conmutativo. Un ideal I A se dice principal si existe x I
tal que I = h x i. Un dominio de ideales principales es un dominio ntegro tal que todo ideal
es principal.
Definicion 3. Sea A un dominio ntegro. a A, a 6= 0. Decimos que a se factoriza en
forma unica por irreducibles si a = ri=1 pi con A y pi A irreducibles (r 0)
y cada vez que a = ri=1 pi = sj=1 q j con , A , entonces r = s y pi es asociado
a qi para todo 1 i r (a menos de orden de los factores). Decimos entonces que A es
un dominio de factorizacion unica si es un dominio ntegro tal que todo a A, a 6= 0 se
factoriza en forma unica por irreducibles.
Estas tres nociones no estan desconectadas entre s. En efecto, vale el siguiente teorema:
Teorema 4. Sea A un anillo conmutativo. Entonces:
Si A es un dominio euclideano, entonces A es un dominio de ideales principales.
Si A es un dominio de ideales principales, entonces A es un dominio de factorizacion unica.
Demostracion. Consultar cualquier referencia clasica, por ejemplo [1].
Pero estos conceptos no son equivalentes entre s. Es facil ver que Z[ x ] es un ejemplo de
un dominio de factorizacion unica que no es un dominio de ideales principales. En efecto,
Z[ x ] es un DFU por serlo Z, mientras que el ideal h2, x i no puede ser generado por un
unico elemento. El objetivo de esta nota es ver que tampoco vale la recproca para la otra
implicacion. Es decir, existen dominios
" de ideales# principales que no son euclideanos.
1 + 19
Vamos a ver que el anillo O19 = Z es un dominio de ideales principales
2
que no es euclideano. Para ello, seguiremos de cerca los artculos de O. Campoli [2] y K.
Conrad [3].
1
2 IGNACIO DARAGO

Veamos primero que O19 es un dominio de ideales principales. Antes, necesitaremos

un concepto que extiende levemente al de norma euclideana.

Definicion 5. Sea A un dominio ntegro. Decimos que es una norma de Dedekind-Hasse

si es una funcion : A r {0} N0 tal que para todos a, b A r {0} se tiene que, o bien
a hbi, o bien existen elementos x, y A tales que 0 < ( xa yb) < (b).

La importancia de esta nocion se debe a la siguiente proposicion:

Proposicion 6 (Criterio de Dedekind-Hasse). Un dominio ntegro A es un dominio de ideales

principales si y solo si admite una norma de Dedekind-Hasse.

Demostracion. (=) Sea una norma de Dedekind-Hasse sobre A, y sea I A un ideal.

Tomemos b I tal que (b) sea minimal (notar que existe por el principio de buena
ordenacion de los numeros naturales). Sea a I, a 6= 0. Por lo tanto, ax by I para
todos x, y A. Como b hace que (b) sea minimal, no puede ser que a / hbi, pues de otro
modo tendramos x, y A tales que 0 < ( xa yb) < (b) y as tendramos un elemento
xa yb I de norma menor que la de b. Es decir, probamos que para todo a I debe
ser a hbi. Pero esto es I hbi. Como trivialmente vale la otra inclusion, debe ser que
I = hbi y as es principal.
(=) Sea A un dominio de ideales principales. Definamos (u) = 1 para cada u A .
Como sabemos que A es dominio de factorizacion unica (por ser dominio de ideales prin-
cipales), todo elemento a / A , a 6= 0 admite una factorizacion como producto finito de
irreducibles y todas esas factorizaciones tienen una misma cantidad de factores irreduci-
bles. Entonces, si a = p1 pr es la factorizacion en irreducibles, definiremos ( a) = r + 1.
Tomemos a, b A r {0} y supongamos que a / hbi. Consideremos entonces el ideal
I = h ai + hbi. Como A es un dominio de ideales principales, debe existir c A tal que
I = hci. Ahora bien, como b I, resulta que existe x A con b = xc. Como x no es
una unidad (ya que si no b y c seran asociados y as hci = hbi) debemos tener que la
factorizacion de xc es mas larga que la de c. Es decir, 0 < (c) < ( xc), y as es una norma
de Dedekind-Hasse. Como queramos probar.

Corolario 7. El anillo O19 es un dominio de ideales principales.

Demostracion. Por el Criterio de Dedekind-Hasse, simplemente debemos construir una

norma de Dedekind-Hasse sobre O19 . Pero tenemos un candidato obvio para esta nor-

ma: si z = x + y 1+ 219 O19 , se define N (z) = zz = x2 + xy + 5y2 . Se puede ver facil-
mente que N : A Z verifica que N ( ab) = N ( a) N (b) para todos a, b A y N ( a) 0
para todo a A con N ( a) = 0 si y solo si a = 0. Probemos que esta N es una norma de
Dedekind-Hasse. Sean , O19 , 6= 0. Si no divide a y N () N ( ), entonces,

como Q( 1+ 219 ) es un cuerpo, escribimos / = a + b 1+ 219 donde a, b Q y al menos
alguno no es entero (si fueran ambos enterostendramos
 que divide a ). Si pudieramos

hallar , O19 de modo tal que 0 < N < 1, entonces esto implicara que

0 < N ( ) < N ( ), que es lo deseado. Ahora, debemos cubrir muchos casos:
 DOMINIOS DE IDEALES PRINCIPALES QUE NO SON EUCLIDEANOS 3

Caso 1: b Z. Entonces, a / Z y podemos tomar = 1 y = b ae + b 1+ 219 donde
b x e es el entero mas cercano a x. En efecto,
!
1 + 19 1 + 19
 

N = N a+b b ae b = N ( a b ae)
2 2
/ Z esa norma no es 0 y como | a b ae| 12 , debemos tener que esa norma
Como a
es menor que 14 y, en particular, menor que 1.
Caso 2: a Z, 5b / Z. Entonces, tomamos = 1 219 y = b a + 5be a 1+ 219 .

Notemos que = a + 5b a 1+ 219 (b a + 5be a 1+ 219 ) = a + 5b

b a + 5be. Por un argumento analogo al caso anterior, la norma de eso no es 0 por no
ser entero a + 5b y es menor o igual que 14 y listo.
Caso 3: a Z, 5b Z. Entonces, tomamos = 1, = a + bbc 1+ 219 . Resulta

entonces = (b bbe) 1+ 219 . Por los argumentos anteriores, no es 0 y su

2
norma es 5(b bbe)2 5 25 = 20 < 1.
25  
19 1+ 19 1+ 19
/ Z, 2a, 2b Z. Luego, a + b 1+
Caso 4: a, b 2 2 = 5b + ( a + b ) 2 .

1+ 19
Usando esa identidad y tomando = 2 y = b5be + b a + be 1+ 219 sigue
lo deseado (Notar que a + b es entero porque a / Z, 2a Z implica que a es de la
forma r + 2 con r Z).
1

Caso 5: a, b / Z, 2b
/ Z. Entonces, o bien |b bbe| 13 o |2b b2be| 13 . En el

primer caso, tomemos = 1, = b ae + bbe 1+ 219 . Esto, haciendo cuentas como
las anteriores, nos da la cota
 
35
0<N <1
36

En el segundo caso, tomamos = 2, = b2ae + b2be 1+ 219 y obtenemos exacta-
mente la misma cota.
/ Z, 2b Z, 2a
Caso 6: a, b / Z. Tomamos = 2, = b2ae + 2b 1+ 219 .
Como en todos los casos posibles pudimos ver que la norma es de Dedekind-Hasse, la
proposicion anterior implica lo deseado. Y estamos.
Veamos ahora que este anillo no es euclideano. Para eso, antes veremos un criterio
muy util para probar que un dominio ntegro no es euclideano. Sea A un dominio ntegro
y S = A {0} el conjunto de unidades junto al 0. Un elemento u A r S se dice un
divisor universal si para cada x A existe z S tal que u divide a x z. Equivalentemente,
todas las clases del cociente A/hui tienen representantes en S. Esto nos da una especie de
algoritmo de Euclides, pues podemos escribir x = qu + z donde z es, o bien 0, o bien una
unidad.
Proposicion 8. Sea A un dominio ntegro que no es un cuerpo. Si A es un dominio euclideano,
entonces existen divisores universales en A.
Demostracion. Supongamos que A es euclideano respecto de alguna norma N. Tomemos
u A r S (esto es no-vaco pues A no es un cuerpo) de norma minimal. Para cualquier
4 IGNACIO DARAGO

x A, escribimos x = qu + r donde r = 0 o N (r ) < N (u). En el primer caso, trivialmente

r S. En el segundo caso, no podemos tener r A r S en virtud de la minimalidad de la
norma de u. Por lo tanto, en cualquier caso r S y as u es un divisor universal.
La ventaja de esta proposicion es su contrarrecproca: si no hay divisores universales, el
anillo no puede ser un dominio euclideano. Esto es muy util dado que la nocion de eucli-
deano depende de una norma, y para probar que un anillo no es euclideano nos estamos
independizando de ese objeto externo. Estamos en condiciones de probar lo siguiente:
Corolario 9. El anillo O19 no es un dominio euclideano.
Demostracion. Bastara probar, por la proposicion anterior, que no hay divisores universa-
les en O19 . Para ello, primero hallemos las unidades de este anillo. Pero esto es facil,
pues sabemos que al ser N : O19 r {0} N dada por N (z) = x2 + xy + 5y2 una
funcion multiplicativa, las unidades de O19 son precisamente los elementos tales que
y
2
N (z) = 1. Notemos,

completando cuadrados, que N ( z ) = x + 2 + 19 2
4 y . Ahora bien,
si z = x + y 1+ 219 y tuvieramos que y 6= 0, entonces N (z) 19 2 19
4 y 4 > 4. Por lo

tanto, las unidades de O19 deben tener y = 0 y as es facil ver que O = {1, 1}.
19
Pero la acotaci

on de la norma que hicimos nos prueba ademas que todos los elementos
1+ 19
z = x+y 2 con y 6= 0 tienen norma mayor o igual que 5, mientras que cuando

y = 0, si z /O debemos tener | x | > 1, que implica que la norma es al menos 4. Es
19
decir, no hay elementos de norma 2 o 3.
Supongamos que u es un divisor universal en O19 . Por definicion, sabemos que u
debe dividir a 2 z para algun z {1, 0, 1}. Por lo tanto, u debe ser un divisor de 2 o
3 que ademas no es una unidad. Si escribimos 2 = , tomando norma, obtenemos que
N () N ( ) = 4. Pero como vimos que no hay elementos de norma 2, debemos tener que
o es una unidad. Pero las unidades son {1, 1}. Por lo tanto, solo podemos escribir
= 1 y = 2 o = 2 y = 1. De manera analoga, si escribimos 3 = , entonces
N () N ( ) = 9, y al no haber elementos de norma 3, debemos tener que o es una
unidad. En consecuencia, esto nos dice que u {2, 2, 3, 3}. Ahora,
si u fuera un

divisor
1+ 19 1+ 19 1+ 19
universal, deberamos tener que u divide a alguno de 2 , 2 1, 2 + 1.
Pero las normas de estos elementos son 5, 5 y 7 respectivamente, que no son divisibles
por 4 ni 9. Por lo tanto, tomando normas, se ve que u no puede dividir a ninguno de esos
tres elementos. Esto prueba que no existen divisores universales en O19 , y as no puede
ser un dominio euclideano.
R EFERENCIAS
[1] D. Dummit, R. Foote, Abstract Algebra, 3rd ed., Wiley, 2004.
[2] O. Campoli, A Principal Ideal Domain That is Not a Euclidean Domain, Amer. Math.
Monthly, vol. 95 no.9 (Nov. 1998), 868-871.
[3] K. Conrad, Remarks About Euclidean Domains,
http://www.math.uconn.edu/~kconrad/blurbs/ringtheory/euclideanrk.pdf