Dominios Euclídeos

En la proposición primera del libro VII de los Elementos, el primero de los tres dedicados a lo que hoy se llama teoría de números, Euclides presenta el hoy conocido como algoritmo de Euclides, que permite obtener el máximo común divisor de dos números.
En la proposición 30 del libro VII, Euclides deduce que si es primo y
divide a
, entonces
divide a
ó
divide a
, de donde se puede obtener el teorema de descomposición única en producto de factores primos, llamado teorema fundamental de la aritmética.
Siguiendo los pasos de Euclides, hoy se demuestra que un dominio de integridad que tenga un algoritmo de división es un dominio de factorización única.
A continuación está esbozada la demostración de ese hecho que dan Oscar Zariski y Pierre Samuel en su “Commutative Algebra” (Ch.I.$14,$15.):
Un elemento de un anillo R es llamado “unidad” si tiene inverso, y es llamado “irreducible” si no es una unidad y solo lo dividen sus asociados y las unidades. Dos elementos son asociados si uno es producto del otro por una unidad.
Definición. Un dominio de integridad R es un dominio de factorización única si satisface las siguientes condiciones:
UF1. Cada no unidad de R es un producto finito de factores irreducibles.
UF2. La anterior factorización es única, salvo por el orden de los factores y asociados diferentes.
Teorema. En un dominio de integridad en que se cumple UF1, la siguiente condición es equivalente a UF2:
UF3. Si es un elemento irreducible de R y si
divide a un producto
, entonces
divide al menos a uno de los factores
.
Definición. Un dominio euclídeo E es un dominio de integridad en el cual cada elemento tiene asociado un entero concreto
, y la función
satisface las siguientes condiciones:
E1. Si divide a
, entonces
.
E2. Para cada par de elementos de E, con
, existen elementos
y
de E tales que
con
.
Esta definición tiene las siguientes consecuencias:
a. Si , entonces
.
b. Si y
son asociados, entonces
.
c. Si divide a
y
, entonces
y
son asociados.
d. Si es una unidad, entonces
, y recíprocamente.
Teorema. Un dominio euclídeo es un dominio de factorización única.
Por el teorema anterior, basta verificar que un dominio euclídeo E cumple las condiciones UF1 y UF3. Zariski-Samuel demuestran por inducción respecto a que E cumple la condición UF1.
Y para verificar que se cumple la condición UF3 demuestran el siguiente
Lema. Dos elementos tienen un máximo común divisor
y
es una combinación lineal de
y
, es decir,
.
Sea I el conjunto de todos los elementos de E que son combinaciones lineales de
y
. Entre los elementos de I diferentes de cero, elegimos un elemento
para el que
es mínimo. Tenemos
, y por otro lado, por E2, podemos encontrar elementos
y
en E tales que
. Tenemos entonces
y
. Por consiguiente,
, es decir,
divide a
. Similarmente se demuestra que
divide a
, y por tanto
es un divisor común de
y
. Además, puesto que
es de la forma
, cada divisor comun de
y
es también un divisor de
. Por tanto
es un máximo común divisor de
y
. C.Q.D.
A partir del lema la verificación de UF3 es inmediata. Porque sea un elemento irreducible de E que divide a un producto
, y asumamos que
no divide a
. Entonces el máximo común divisor de
y
es
, y por tanto, por el lema, podemos escribir
. Por tanto
, y puesto que
, se sigue que
. Esto completa la prueba del teorema.
Deja una respuesta