ALGEBRA MODERNA

DOMINIOS EUCLIDIANOS Euklin Rodrguez Tejeda

Universidad Autnoma de Santo Domingo Facultad de Ciencias Escuela de Matemtica

29 de octubre de 2012

ALGEBRA MODERNA

I NTRODUCCIN
En lo que va de este curso hemos sealado varias veces la importancia de los algoritmos de divisin. Nuestro primer contacto con ellos fue el algoritmo de divisin para Z L EMA Sean D y d nmeros enteros con d no nulo. Entonces existen unos nicos enteros c y r tales que D = dc + r y 0 r | d |, donde | d | es igual a d si d es positivo y a d si es negativo. Esto no es mas que el algoritmo Euclidiano de la divisin, el que nos sirvi de base para la demostracin de algunos teoremas que utilizamos en este curso.

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

I NTRODUCCIN
En lo que va de este curso hemos sealado varias veces la importancia de los algoritmos de divisin. Nuestro primer contacto con ellos fue el algoritmo de divisin para Z L EMA Sean D y d nmeros enteros con d no nulo. Entonces existen unos nicos enteros c y r tales que D = dc + r y 0 r | d |, donde | d | es igual a d si d es positivo y a d si es negativo. Esto no es mas que el algoritmo Euclidiano de la divisin, el que nos sirvi de base para la demostracin de algunos teoremas que utilizamos en este curso.

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

I NTRODUCCIN
En lo que va de este curso hemos sealado varias veces la importancia de los algoritmos de divisin. Nuestro primer contacto con ellos fue el algoritmo de divisin para Z L EMA Sean D y d nmeros enteros con d no nulo. Entonces existen unos nicos enteros c y r tales que D = dc + r y 0 r | d |, donde | d | es igual a d si d es positivo y a d si es negativo. Esto no es mas que el algoritmo Euclidiano de la divisin, el que nos sirvi de base para la demostracin de algunos teoremas que utilizamos en este curso.

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

Euclides Matemtico griego. Poco se conoce a ciencia cierta de la biografa de Euclides, pese a ser el matemtico ms famoso de la Antiguedad. La tradicin ha conservado una imagen de Euclides como hombre de notable amabilidad y modestia Euclides fue autor de diversos tratados, pero su nombre se asocia principalmente a uno de ellos, los Elementos.

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

Euclides Matemtico griego. Poco se conoce a ciencia cierta de la biografa de Euclides, pese a ser el matemtico ms famoso de la Antiguedad. La tradicin ha conservado una imagen de Euclides como hombre de notable amabilidad y modestia Euclides fue autor de diversos tratados, pero su nombre se asocia principalmente a uno de ellos, los Elementos.

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

Antes de desarrollar lo que son los Dominios Euclidiano, veamos algunas deniciones, para recordar... Anillo Un anillo es por denicin un < R, +, > donde R es un conjunto no vaco y +, :RXR R son dos operaciones binarias sobre R, llamadas suma y multiplicasin, tales que:
1 2 3

(R, +) es un grupo abeliano; la multiplicacin es asociativa para a, b, c R vale la propiedad distributiva

Dominio Entero Un anillo con unidad, sin divisores de cero y conmutativo es llamado un dominio entero.

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

Antes de desarrollar lo que son los Dominios Euclidiano, veamos algunas deniciones, para recordar... Anillo Un anillo es por denicin un < R, +, > donde R es un conjunto no vaco y +, :RXR R son dos operaciones binarias sobre R, llamadas suma y multiplicasin, tales que:
1 2 3

(R, +) es un grupo abeliano; la multiplicacin es asociativa para a, b, c R vale la propiedad distributiva

Dominio Entero Un anillo con unidad, sin divisores de cero y conmutativo es llamado un dominio entero.

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

Antes de desarrollar lo que son los Dominios Euclidiano, veamos algunas deniciones, para recordar... Anillo Un anillo es por denicin un < R, +, > donde R es un conjunto no vaco y +, :RXR R son dos operaciones binarias sobre R, llamadas suma y multiplicasin, tales que:
1 2 3

(R, +) es un grupo abeliano; la multiplicacin es asociativa para a, b, c R vale la propiedad distributiva

Dominio Entero Un anillo con unidad, sin divisores de cero y conmutativo es llamado un dominio entero.

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

Antes de desarrollar lo que son los Dominios Euclidiano, veamos algunas deniciones, para recordar... Anillo Un anillo es por denicin un < R, +, > donde R es un conjunto no vaco y +, :RXR R son dos operaciones binarias sobre R, llamadas suma y multiplicasin, tales que:
1 2 3

(R, +) es un grupo abeliano; la multiplicacin es asociativa para a, b, c R vale la propiedad distributiva

Dominio Entero Un anillo con unidad, sin divisores de cero y conmutativo es llamado un dominio entero.

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

Antes de desarrollar lo que son los Dominios Euclidiano, veamos algunas deniciones, para recordar... Anillo Un anillo es por denicin un < R, +, > donde R es un conjunto no vaco y +, :RXR R son dos operaciones binarias sobre R, llamadas suma y multiplicasin, tales que:
1 2 3

(R, +) es un grupo abeliano; la multiplicacin es asociativa para a, b, c R vale la propiedad distributiva

Dominio Entero Un anillo con unidad, sin divisores de cero y conmutativo es llamado un dominio entero.

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

Antes de desarrollar lo que son los Dominios Euclidiano, veamos algunas deniciones, para recordar... Anillo Un anillo es por denicin un < R, +, > donde R es un conjunto no vaco y +, :RXR R son dos operaciones binarias sobre R, llamadas suma y multiplicasin, tales que:
1 2 3

(R, +) es un grupo abeliano; la multiplicacin es asociativa para a, b, c R vale la propiedad distributiva

Dominio Entero Un anillo con unidad, sin divisores de cero y conmutativo es llamado un dominio entero.

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

Veamos que podemos desarrollar, comenzando con la existencia de un algoritmo de la division bastante general en un dominio entero. U NA EVOLUACIN EUCLIDIANA EN UN DOMINIO ENTERO D Es una funcin v que transforma a los elementos distintos de cero de D, en los enteros no negativos tal que se satisfacen las condiciones siguientes: v1 Para cada par a, b D, b = 0, existen s, r D tales que a = sb + r donde r = 0 bin v (r) < v (b). El valor r es llamado el resto de dividir a por b v2 Para cada par a, b D {0}, se tiene que v (a) v (ab).
Euklin Rodrguez ALGEBRA MODERNA

ALGEBRA MODERNA

Veamos que podemos desarrollar, comenzando con la existencia de un algoritmo de la division bastante general en un dominio entero. U NA EVOLUACIN EUCLIDIANA EN UN DOMINIO ENTERO D Es una funcin v que transforma a los elementos distintos de cero de D, en los enteros no negativos tal que se satisfacen las condiciones siguientes: v1 Para cada par a, b D, b = 0, existen s, r D tales que a = sb + r donde r = 0 bin v (r) < v (b). El valor r es llamado el resto de dividir a por b v2 Para cada par a, b D {0}, se tiene que v (a) v (ab).
Euklin Rodrguez ALGEBRA MODERNA

ALGEBRA MODERNA

Veamos que podemos desarrollar, comenzando con la existencia de un algoritmo de la division bastante general en un dominio entero. U NA EVOLUACIN EUCLIDIANA EN UN DOMINIO ENTERO D Es una funcin v que transforma a los elementos distintos de cero de D, en los enteros no negativos tal que se satisfacen las condiciones siguientes: v1 Para cada par a, b D, b = 0, existen s, r D tales que a = sb + r donde r = 0 bin v (r) < v (b). El valor r es llamado el resto de dividir a por b v2 Para cada par a, b D {0}, se tiene que v (a) v (ab).
Euklin Rodrguez ALGEBRA MODERNA

ALGEBRA MODERNA

Veamos que podemos desarrollar, comenzando con la existencia de un algoritmo de la division bastante general en un dominio entero. U NA EVOLUACIN EUCLIDIANA EN UN DOMINIO ENTERO D Es una funcin v que transforma a los elementos distintos de cero de D, en los enteros no negativos tal que se satisfacen las condiciones siguientes: v1 Para cada par a, b D, b = 0, existen s, r D tales que a = sb + r donde r = 0 bin v (r) < v (b). El valor r es llamado el resto de dividir a por b v2 Para cada par a, b D {0}, se tiene que v (a) v (ab).
Euklin Rodrguez ALGEBRA MODERNA

ALGEBRA MODERNA

Veamos que podemos desarrollar, comenzando con la existencia de un algoritmo de la division bastante general en un dominio entero. U NA EVOLUACIN EUCLIDIANA EN UN DOMINIO ENTERO D Es una funcin v que transforma a los elementos distintos de cero de D, en los enteros no negativos tal que se satisfacen las condiciones siguientes: v1 Para cada par a, b D, b = 0, existen s, r D tales que a = sb + r donde r = 0 bin v (r) < v (b). El valor r es llamado el resto de dividir a por b v2 Para cada par a, b D {0}, se tiene que v (a) v (ab).
Euklin Rodrguez ALGEBRA MODERNA

ALGEBRA MODERNA

Veamos que podemos desarrollar, comenzando con la existencia de un algoritmo de la division bastante general en un dominio entero. U NA EVOLUACIN EUCLIDIANA EN UN DOMINIO ENTERO D Es una funcin v que transforma a los elementos distintos de cero de D, en los enteros no negativos tal que se satisfacen las condiciones siguientes: v1 Para cada par a, b D, b = 0, existen s, r D tales que a = sb + r donde r = 0 bin v (r) < v (b). El valor r es llamado el resto de dividir a por b v2 Para cada par a, b D {0}, se tiene que v (a) v (ab).
Euklin Rodrguez ALGEBRA MODERNA

ALGEBRA MODERNA

D OMINIO E UCLIDIANO Un dominio entero D es un Dominio Euclidiano si existe una evaluacin Euclidiana en D E XAMPLE El dominio D = Z con la valuacin usual v (n) = |n| es un dominio Euclidiano. En efecto, si tomamos dos enteros a, b Z, donde b = 0, entonces se puede ver que existen enteros r, s tales que a [sb, s(b + 1)]. Si a = sb, entonces r = 0. Si a = sb, entonces r = a sb y es claro en este caso que |r| < |b|. Tambin es claro que si a, b Z {0}, entonces |a| |ab|

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

D OMINIO E UCLIDIANO Un dominio entero D es un Dominio Euclidiano si existe una evaluacin Euclidiana en D E XAMPLE El dominio D = Z con la valuacin usual v (n) = |n| es un dominio Euclidiano. En efecto, si tomamos dos enteros a, b Z, donde b = 0, entonces se puede ver que existen enteros r, s tales que a [sb, s(b + 1)]. Si a = sb, entonces r = 0. Si a = sb, entonces r = a sb y es claro en este caso que |r| < |b|. Tambin es claro que si a, b Z {0}, entonces |a| |ab|

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

D EFINICIN Un dominio eucldeo es un dominio ntegro A tal que existe una funcin : A {0} N que cumpla lo siguiente:
1 2

Si a, b son elementos de A no nulos (a) (ab). Si B y d son elementos de A con d = 0 entonces existen c y r en A de manera que B = dc + r con r = 0 o bien 0 (r) < (d). La funcin se llama norma eucldea.

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

D EFINICIN Un dominio eucldeo es un dominio ntegro A tal que existe una funcin : A {0} N que cumpla lo siguiente:
1 2

Si a, b son elementos de A no nulos (a) (ab). Si B y d son elementos de A con d = 0 entonces existen c y r en A de manera que B = dc + r con r = 0 o bien 0 (r) < (d). La funcin se llama norma eucldea.

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

D EFINICIN Un dominio eucldeo es un dominio ntegro A tal que existe una funcin : A {0} N que cumpla lo siguiente:
1 2

Si a, b son elementos de A no nulos (a) (ab). Si B y d son elementos de A con d = 0 entonces existen c y r en A de manera que B = dc + r con r = 0 o bien 0 (r) < (d). La funcin se llama norma eucldea.

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

D EFINICIN Un dominio eucldeo es un dominio ntegro A tal que existe una funcin : A {0} N que cumpla lo siguiente:
1 2

Si a, b son elementos de A no nulos (a) (ab). Si B y d son elementos de A con d = 0 entonces existen c y r en A de manera que B = dc + r con r = 0 o bien 0 (r) < (d). La funcin se llama norma eucldea.

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

Veamos dos terminos de cierta relevancia para este tema: D OMINIO DE I DEALES P RINCIPALES DIP Un dominio entero para el cual todo ideal es principal es llamado un dominio de ideales principales. E XAMPLE Todo cuerpo F es un dominio de ideales principales. Este hecho se debe a que los nicos ideales de un cuerpo son {0} y F =< 1 > D OMINIOS DE FACTORIZACIN NICA DFU Sea D un dominio entero y a D {0}. Diremos que que a es un elemento irreducible si no es invertible y no puede escribirse como producto de dos elementos ambos no invertibles.
Euklin Rodrguez ALGEBRA MODERNA

ALGEBRA MODERNA

Veamos dos terminos de cierta relevancia para este tema: D OMINIO DE I DEALES P RINCIPALES DIP Un dominio entero para el cual todo ideal es principal es llamado un dominio de ideales principales. E XAMPLE Todo cuerpo F es un dominio de ideales principales. Este hecho se debe a que los nicos ideales de un cuerpo son {0} y F =< 1 > D OMINIOS DE FACTORIZACIN NICA DFU Sea D un dominio entero y a D {0}. Diremos que que a es un elemento irreducible si no es invertible y no puede escribirse como producto de dos elementos ambos no invertibles.
Euklin Rodrguez ALGEBRA MODERNA

ALGEBRA MODERNA

Veamos dos terminos de cierta relevancia para este tema: D OMINIO DE I DEALES P RINCIPALES DIP Un dominio entero para el cual todo ideal es principal es llamado un dominio de ideales principales. E XAMPLE Todo cuerpo F es un dominio de ideales principales. Este hecho se debe a que los nicos ideales de un cuerpo son {0} y F =< 1 > D OMINIOS DE FACTORIZACIN NICA DFU Sea D un dominio entero y a D {0}. Diremos que que a es un elemento irreducible si no es invertible y no puede escribirse como producto de dos elementos ambos no invertibles.
Euklin Rodrguez ALGEBRA MODERNA

ALGEBRA MODERNA

Veamos dos terminos de cierta relevancia para este tema: D OMINIO DE I DEALES P RINCIPALES DIP Un dominio entero para el cual todo ideal es principal es llamado un dominio de ideales principales. E XAMPLE Todo cuerpo F es un dominio de ideales principales. Este hecho se debe a que los nicos ideales de un cuerpo son {0} y F =< 1 > D OMINIOS DE FACTORIZACIN NICA DFU Sea D un dominio entero y a D {0}. Diremos que que a es un elemento irreducible si no es invertible y no puede escribirse como producto de dos elementos ambos no invertibles.
Euklin Rodrguez ALGEBRA MODERNA

ALGEBRA MODERNA

Ejemplo DFU Consideremos un dominio Euclidiano D con valuacin v : D {0} {0, 1, 2, ...}. Se puede vericar que los elementos invertibles de D es exactamente el conjunto: {a D : a invertible} = {a D : v (a) = v (1)} = {a D {0} : v (b) = v (ab) para todos b D {0}} En efecto, si a D es invertible, entonces v (b) v (ab) v (a1 ab) = v (b), es decir, v (b) = v (ab). En particular, para b = 1 lo anterior asegura que v (a) = v (1).

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

Recprocamente, si a es tal que v (b) = v (ab) para algn b D {0}, entonces al dividir b por ab obtenemos que b = s(ab) + r donde r = 0 v (r) < v (ab) = v (b). Ahora, r = b s(ab) = (1 sa)b de donde v (b) v (r) < v (b), una contradiccin si r = 0. As, r = 0 y b = s(ab), es decir, (1 sa)b = 0. Como D es dominio entero y b = 0, debemos tener sa = 1, es decir, a invertible.

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

D EFINICIN Un dominio entero D es llamado un dominio de factorizacin nica si todo elemento a D {0} que no es invertible puede escribirse de manera nica como producto de elementos irreducibles, es decir, si a D {0} no es invertible, entonces existen irreducibles p1 , ..., pn D tales que a = p1 pn . Ms an, si existe otra descomposicin en irreducibles, digamos a = q1 qm , entonces n = m y qj = tj pj , donde t, j D es invertible.

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

R ELACIONES ENTRE D OMINIOS

T EOREMA Todo dominio Euclidiano es de ideales principales Antes de la demostracin veamos la siguiente denicin: D EFINICIN Sea (P, ) un conjunto parcialmente ordenado; m P es un elemento maximal de P si el nico x P tal que m x es x = m. La denicin de elemento minimal se obtiene reemplazando por .

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

R ELACIONES ENTRE D OMINIOS

T EOREMA Todo dominio Euclidiano es de ideales principales Antes de la demostracin veamos la siguiente denicin: D EFINICIN Sea (P, ) un conjunto parcialmente ordenado; m P es un elemento maximal de P si el nico x P tal que m x es x = m. La denicin de elemento minimal se obtiene reemplazando por .

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

R ELACIONES ENTRE D OMINIOS

T EOREMA Todo dominio Euclidiano es de ideales principales Antes de la demostracin veamos la siguiente denicin: D EFINICIN Sea (P, ) un conjunto parcialmente ordenado; m P es un elemento maximal de P si el nico x P tal que m x es x = m. La denicin de elemento minimal se obtiene reemplazando por .

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

Demostracin Consideremos un ideal I = {0} de D. Queremos ver que este es principal. Consideremos el conjunto v (I ) = {v (x) : x I {0}} {0, 1, 2, 3, ...} Consideremos a I tal que v (a) = Mnimo (v (I )), el cual existe al ser {0, 1, 2, 3, ..} discreto y bin ordenado. Podemos considerar el ideal principal generado por a, es decir, < a >, el cual esta contenido en I . Supongamos que podemos escoger x I < a >. Sabemos que existen valores r, t D tales que x = ta + r, donde r = 0 v (r) < v (a). Pero como x / < a >, r = 0. As, tenemos que r D {0} es tal que v (r) < v (a). pero, r = x ta I , lo cual contradice la minimalidad de v (a). Luego, I =< a >.

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

Demostracin Consideremos un ideal I = {0} de D. Queremos ver que este es principal. Consideremos el conjunto v (I ) = {v (x) : x I {0}} {0, 1, 2, 3, ...} Consideremos a I tal que v (a) = Mnimo (v (I )), el cual existe al ser {0, 1, 2, 3, ..} discreto y bin ordenado. Podemos considerar el ideal principal generado por a, es decir, < a >, el cual esta contenido en I . Supongamos que podemos escoger x I < a >. Sabemos que existen valores r, t D tales que x = ta + r, donde r = 0 v (r) < v (a). Pero como x / < a >, r = 0. As, tenemos que r D {0} es tal que v (r) < v (a). pero, r = x ta I , lo cual contradice la minimalidad de v (a). Luego, I =< a >.

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

T EOREMA Para un dominio euclidiano con evaluacin euclidiana v, v (1) es minimal entre todas las v (a) para a D distinta de cero y u D es unidad si y solo si v (u) = v (1). Demostracin La condicin 2 para v , nos dice que para a = 0 v (1) v (1a) = V (a) Por otro lado, si u es unidad en D, entonces v (u) v (u1 u) = v (1) As; v (u) = v (1) para una unidad u en D.

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

T EOREMA Para un dominio euclidiano con evaluacin euclidiana v, v (1) es minimal entre todas las v (a) para a D distinta de cero y u D es unidad si y solo si v (u) = v (1). Demostracin La condicin 2 para v , nos dice que para a = 0 v (1) v (1a) = V (a) Por otro lado, si u es unidad en D, entonces v (u) v (u1 u) = v (1) As; v (u) = v (1) para una unidad u en D.

Euklin Rodrguez

ALGEBRA MODERNA

ALGEBRA MODERNA

En forma reciproca, supngase que u D distinto de cero es tal que v (u) = v (1). Entonces, por el algoritmo de la division, existen q y r en D tales que 1 = qu + r donde r = 0 o v (r) < v (u). Pero como v (u) = v (1) es minimal entre todas las v (d) para d D distinto de cero, es imposible que v (r) < v (u). De aqui, r = 0 y 1 = u , de modo que u es unidad. E XAMPLE Para Z con v (n) = |n|, el minimo de v (n) para n Z distinto de cero, es 1. Es claro que 1 y 1 son los unicos elementos de Z con v (n) = 1. Po supuesto, el 1 y el 1 son las unidades de Z.
Euklin Rodrguez ALGEBRA MODERNA

ALGEBRA MODERNA

En forma reciproca, supngase que u D distinto de cero es tal que v (u) = v (1). Entonces, por el algoritmo de la division, existen q y r en D tales que 1 = qu + r donde r = 0 o v (r) < v (u). Pero como v (u) = v (1) es minimal entre todas las v (d) para d D distinto de cero, es imposible que v (r) < v (u). De aqui, r = 0 y 1 = u , de modo que u es unidad. E XAMPLE Para Z con v (n) = |n|, el minimo de v (n) para n Z distinto de cero, es 1. Es claro que 1 y 1 son los unicos elementos de Z con v (n) = 1. Po supuesto, el 1 y el 1 son las unidades de Z.
Euklin Rodrguez ALGEBRA MODERNA

ALGEBRA MODERNA

D EFINICIN Sea D un DFU. Un elemento d D es un mximo comn divisor (MCD) de los elementos a y b en D si d | a, d | b y adems, c | d para todos los c que dividen a y b E XAMPLE En Z, un mcd de 18 y 48 es 6. Otro es 6. T EOREMA Si D es un DIP y a y b son elementos distintos de cero de D, entonces existe algn mcd de a y b. Ms an cada mcd de a y b puede expresarse en la forma a + b para algunos a + D La demostracin del teorema anterior es un poco incomoda por lo que nos vamos a uxiliar del siguiente teorema:
Euklin Rodrguez ALGEBRA MODERNA

ALGEBRA MODERNA

D EFINICIN Sea D un DFU. Un elemento d D es un mximo comn divisor (MCD) de los elementos a y b en D si d | a, d | b y adems, c | d para todos los c que dividen a y b E XAMPLE En Z, un mcd de 18 y 48 es 6. Otro es 6. T EOREMA Si D es un DIP y a y b son elementos distintos de cero de D, entonces existe algn mcd de a y b. Ms an cada mcd de a y b puede expresarse en la forma a + b para algunos a + D La demostracin del teorema anterior es un poco incomoda por lo que nos vamos a uxiliar del siguiente teorema:
Euklin Rodrguez ALGEBRA MODERNA

ALGEBRA MODERNA

D EFINICIN Sea D un DFU. Un elemento d D es un mximo comn divisor (MCD) de los elementos a y b en D si d | a, d | b y adems, c | d para todos los c que dividen a y b E XAMPLE En Z, un mcd de 18 y 48 es 6. Otro es 6. T EOREMA Si D es un DIP y a y b son elementos distintos de cero de D, entonces existe algn mcd de a y b. Ms an cada mcd de a y b puede expresarse en la forma a + b para algunos a + D La demostracin del teorema anterior es un poco incomoda por lo que nos vamos a uxiliar del siguiente teorema:
Euklin Rodrguez ALGEBRA MODERNA

T EOREMA Algoritmo Euclidiono Sea D un dominio euclidiano con una evaluacibn euclidiana v y sean a y b elementos de D distinros de cero. Sea r1 , como en la condicin 1 para una evaluacin euclidiana, esto es, a = bq1 + r1 , donde r1 = 0 o v (r1 ) < v (b). Si r1 = 0, sea r2 tal que b = r1 q2 + r2 , donde r2 = 0 o v (r2 ) < v (r1 ). En general, sea ri+1 tal que ri1 = ri qi+1 + ri+1 , donde ri+1 = 0 o v (ri+1 ) < v (ri ). Entonces, la sucesin r1 , r2 , ... debe rerminar con algn rs = 0. Si r1 = 0, entonces b es un mcd de a y b. Si r1 = 0 y rs , es el primer ri = 0, entonces, rs1 es un mcd de a y b.

T EOREMA Algoritmo Euclidiono Sea D un dominio euclidiano con una evaluacibn euclidiana v y sean a y b elementos de D distinros de cero. Sea r1 , como en la condicin 1 para una evaluacin euclidiana, esto es, a = bq1 + r1 , donde r1 = 0 o v (r1 ) < v (b). Si r1 = 0, sea r2 tal que b = r1 q2 + r2 , donde r2 = 0 o v (r2 ) < v (r1 ). En general, sea ri+1 tal que ri1 = ri qi+1 + ri+1 , donde ri+1 = 0 o v (ri+1 ) < v (ri ). Entonces, la sucesin r1 , r2 , ... debe rerminar con algn rs = 0. Si r1 = 0, entonces b es un mcd de a y b. Si r1 = 0 y rs , es el primer ri = 0, entonces, rs1 es un mcd de a y b.

ALGEBRA MODERNA

E XAMPLE Ilustremos el algoritmo euclidiano para la evaluacibn euclidiana || en 2, calculando un mcd de 22471 y 3266. Tan solo hay que aplicar una y otra vez el algoritmo de la division y el ultimo residuo distinto de cero es un mcd. Denominamos los numeros obtenidos de la misma manera que en el teorema anterior para ilustrar el enunciado. Es facil corroborar los calculos a = 22471 22471 = (3266)6 + 2875 3266 = (2875)1 + 391 2875 = (391)7 + 138 391 = (138)2 + 115 138 = (115)1 + 23 115 = (23)5 + 0
Euklin Rodrguez

b = 3266 r1 = 2875 r2 = 391 r3 = 138 r4 = 115 r5 = 23 r6 = 0

ALGEBRA MODERNA

ALGEBRA MODERNA

E XAMPLE Ilustremos el algoritmo euclidiano para la evaluacibn euclidiana || en 2, calculando un mcd de 22471 y 3266. Tan solo hay que aplicar una y otra vez el algoritmo de la division y el ultimo residuo distinto de cero es un mcd. Denominamos los numeros obtenidos de la misma manera que en el teorema anterior para ilustrar el enunciado. Es facil corroborar los calculos a = 22471 22471 = (3266)6 + 2875 3266 = (2875)1 + 391 2875 = (391)7 + 138 391 = (138)2 + 115 138 = (115)1 + 23 115 = (23)5 + 0
Euklin Rodrguez

b = 3266 r1 = 2875 r2 = 391 r3 = 138 r4 = 115 r5 = 23 r6 = 0

ALGEBRA MODERNA

ALGEBRA MODERNA

E XAMPLE Ilustremos el algoritmo euclidiano para la evaluacibn euclidiana || en 2, calculando un mcd de 22471 y 3266. Tan solo hay que aplicar una y otra vez el algoritmo de la division y el ultimo residuo distinto de cero es un mcd. Denominamos los numeros obtenidos de la misma manera que en el teorema anterior para ilustrar el enunciado. Es facil corroborar los calculos a = 22471 22471 = (3266)6 + 2875 3266 = (2875)1 + 391 2875 = (391)7 + 138 391 = (138)2 + 115 138 = (115)1 + 23 115 = (23)5 + 0
Euklin Rodrguez

b = 3266 r1 = 2875 r2 = 391 r3 = 138 r4 = 115 r5 = 23 r6 = 0

ALGEBRA MODERNA

ALGEBRA MODERNA

E XAMPLE Ilustremos el algoritmo euclidiano para la evaluacibn euclidiana || en 2, calculando un mcd de 22471 y 3266. Tan solo hay que aplicar una y otra vez el algoritmo de la division y el ultimo residuo distinto de cero es un mcd. Denominamos los numeros obtenidos de la misma manera que en el teorema anterior para ilustrar el enunciado. Es facil corroborar los calculos a = 22471 22471 = (3266)6 + 2875 3266 = (2875)1 + 391 2875 = (391)7 + 138 391 = (138)2 + 115 138 = (115)1 + 23 115 = (23)5 + 0
Euklin Rodrguez

b = 3266 r1 = 2875 r2 = 391 r3 = 138 r4 = 115 r5 = 23 r6 = 0

ALGEBRA MODERNA

ALGEBRA MODERNA

E XAMPLE Ilustremos el algoritmo euclidiano para la evaluacibn euclidiana || en 2, calculando un mcd de 22471 y 3266. Tan solo hay que aplicar una y otra vez el algoritmo de la division y el ultimo residuo distinto de cero es un mcd. Denominamos los numeros obtenidos de la misma manera que en el teorema anterior para ilustrar el enunciado. Es facil corroborar los calculos a = 22471 22471 = (3266)6 + 2875 3266 = (2875)1 + 391 2875 = (391)7 + 138 391 = (138)2 + 115 138 = (115)1 + 23 115 = (23)5 + 0
Euklin Rodrguez

b = 3266 r1 = 2875 r2 = 391 r3 = 138 r4 = 115 r5 = 23 r6 = 0

ALGEBRA MODERNA

ALGEBRA MODERNA

E XAMPLE Ilustremos el algoritmo euclidiano para la evaluacibn euclidiana || en 2, calculando un mcd de 22471 y 3266. Tan solo hay que aplicar una y otra vez el algoritmo de la division y el ultimo residuo distinto de cero es un mcd. Denominamos los numeros obtenidos de la misma manera que en el teorema anterior para ilustrar el enunciado. Es facil corroborar los calculos a = 22471 22471 = (3266)6 + 2875 3266 = (2875)1 + 391 2875 = (391)7 + 138 391 = (138)2 + 115 138 = (115)1 + 23 115 = (23)5 + 0
Euklin Rodrguez

b = 3266 r1 = 2875 r2 = 391 r3 = 138 r4 = 115 r5 = 23 r6 = 0

ALGEBRA MODERNA

ALGEBRA MODERNA

E XAMPLE Ilustremos el algoritmo euclidiano para la evaluacibn euclidiana || en 2, calculando un mcd de 22471 y 3266. Tan solo hay que aplicar una y otra vez el algoritmo de la division y el ultimo residuo distinto de cero es un mcd. Denominamos los numeros obtenidos de la misma manera que en el teorema anterior para ilustrar el enunciado. Es facil corroborar los calculos a = 22471 22471 = (3266)6 + 2875 3266 = (2875)1 + 391 2875 = (391)7 + 138 391 = (138)2 + 115 138 = (115)1 + 23 115 = (23)5 + 0
Euklin Rodrguez

b = 3266 r1 = 2875 r2 = 391 r3 = 138 r4 = 115 r5 = 23 r6 = 0

ALGEBRA MODERNA

ALGEBRA MODERNA

E XAMPLE Ilustremos el algoritmo euclidiano para la evaluacibn euclidiana || en 2, calculando un mcd de 22471 y 3266. Tan solo hay que aplicar una y otra vez el algoritmo de la division y el ultimo residuo distinto de cero es un mcd. Denominamos los numeros obtenidos de la misma manera que en el teorema anterior para ilustrar el enunciado. Es facil corroborar los calculos a = 22471 22471 = (3266)6 + 2875 3266 = (2875)1 + 391 2875 = (391)7 + 138 391 = (138)2 + 115 138 = (115)1 + 23 115 = (23)5 + 0
Euklin Rodrguez

b = 3266 r1 = 2875 r2 = 391 r3 = 138 r4 = 115 r5 = 23 r6 = 0

ALGEBRA MODERNA

ALGEBRA MODERNA

Euklin Rodrguez

ALGEBRA MODERNA