Divisibilidad 1

Divisibilidad
[1] M ultiplos y divisores
Divisores.
Denici on. Un n umero entero m es divisor de un n umero entero a si hay un n umero entero q tal que a = mq . Se indica esta relaci on escribiendo m | a, y su negaci on se denota m | a.
Notas y ejemplos. 8 | 24, 6 | 24, 8 | 12, 7 | 7, 1 | 7. 7 | 1, 18 | 6. 12 | 8, 6 | 15,
Seg un la denici on, si m es un divisor de a, entonces hay un entero q tal que a = mq ; n otese que q es tambi en un divisor de a. Para cualquier entero a se cumplen las igualdades a = a.1 = (a)(1) = 1.a = (1)(a), por tanto a, a, 1, 1 son divisores de a y, en particular, el conjunto de los divisores de un entero cualquiera es no vac o. Si m es un divisor de a y a = 0, digamos a = mq , entonces |a| = |mq | = |m| |q |; de donde |m| |a|, y |a| m |a| . Por tanto se tiene que todo divisor de un entero a (a = 0) est a comprendido entre |a| y |a|; en particular: el conjunto de los divisores de un entero a no nulo es nito. Para cualquier entero m se tiene 0 = m0; por tanto m | 0. En particular 0 | 0. Si a es un entero, a = 0, entonces a = 0q para todo entero q ; por tanto 0 | a, si a = 0. El conjunto de los divisores de 12 es {1, 1, 2, 2, 3, 3, 4, 4, 6, 6, 12, 12}. El conjunto de los divisores de 7 es {1, 1, 7, 7}. El conjunto de los divisores de 1 es {1, 1}. [ Se tiene 1 1 = (1) (1) = 1; y si u y v son enteros tales que uv = 1, entonces |u| |v | = |uv | = 1, de donde |u| = 1 = |v |, por tanto debe ser u = v = 1 o u = v = 1 ]
Un test efectivo de divisibilidad.

C omo decidir si un entero m = 0 es divisor o no de un entero a? Recu erdese la propiedad de la divisi on: Dados a, m Z, m = 0, existen enteros qm (a) y rm (a) u nicos que cumplan a = mqm (a) + rm (a) y 0 rm (a) < |b| Esta propiedad proporciona un criterio eciente de divisiblidad:
Lecciones de Algebra. Jaime Guti errez Guti errez y Carlos Ruiz de Velasco y Bellas Universidad de Cantabria. Santander, 27 de febrero de 2002
http://matsun1.matesco.unican.es/~velasco/algebra/
Proposici on. Para que un entero m sea divisor de un entero a es necesario y suciente que se cumpla una de las dos condiciones siguientes: (a) m = 0 y a = 0, o (b) m = 0 y rm (a) = 0. Demostraci on. Es inmediata.
Ejemplos. Es 17 un divisor de 2096? Realizando la divisi on de 2096 entre 17 se obtiene 2096 = 17 123 + 5; con lo que r17 (2096) = 5 = 0 y, por tanto, 17 | 2096. 17 | 9809, porque r17 (9809) = 0.
Enteros asociados.
La relaci on de divisibilidad en el conjunto de los enteros cumple las siguientes propiedades: Es reexiva (para todo entero a se tiene a | a). Es transitiva (si a | b y b | c, entonces a | c). No es antisim etrica (7 | 7, 7 | 7 y 7 = 7). Por tanto la relaci on de divisibilidad no es de orden el el conjunto Z de los enteros. Denici on. Dos enteros a y b son asociados si a | b y b | a; en este caso se pone a b. Lema. La relaci on es asociado de () es de equivalencia en el conjunto Z de los enteros. Demostraci on. Es sencilla y se deja como ejercicio. Veamos c omo son las clases de equivalencia de enteros m odulo la relaci on de equivalencia . Se cumple 0 0; si a 0, entonces a = 0, por tanto 0 es el u nico asociado de 0. Si a b, y a = 0 o b = 0, entonces b = aq y a = bq , por tanto a = 0 y b = 0 y a = aqq , con lo que (por la propiedad de simplicaci on en Z) 1 = qq ; debe ser q = q = 1 o q = q = 1, de aqu se obtiene a = b o a = b. Rec procamente, si a = b o si a = b, entonces (obviamente) a b. Por tanto, para cualquier entero a, la clase de a m odulo es [a] = {a, a} N otese que el paso del conjunto Z al correspondiente conjunto cociente Z/ f : Z a Z/ [a] = {a, a}
consiste en identicar cualquier entero a con su opuesto a. Convendremos en escoger como representante de cualquier clase de equivalencia [a] al entero no negativo |a| de ese conjunto. Dado que, para enteros cualesquiera a y b, a b si, y s olo si, |a| = |b|, la aplicaci on f induce una biyecci on f : Z/ [a] N |a|
La relaci on de divisibilidad en el conjunto de los enteros no negativos (esto es, en el conjunto de los n umeros naturales) es de orden; n otese que esta relaci on de orden no es lineal (hay elementos que no son comparables, p. e. 8 | 12 y 12 | 8).
M ultiplos e ideales
Denici on. Un entero a es m ultiplo de un entero m si m es un divisor de a. Se denota (m) al conjunto de los m ultiplos de m: (m) = {a | a = mz, z Z} = {mz | z Z}. Ejemplos. (7) = (7) = {. . . , 7n, . . . , 21, 14, 7, 0, 7, 14, 21, . . . , 7n, . . .}, (n N) (12) = (12) = {. . . , 12t, . . . , 36, 24, 12, 0, 12, 24, 36, . . . , 12t, . . .}, (t N) (0) = {0}. (1) = Z = (1).
Proposici on. Sean a y m enteros, las relaciones siguientes son equivalentes: (1.) a es m ultiplo de m, (2.) m | a, (3.) a (m), (4.) (a) (m). Demostraci on. Es elemental y se deja como ejercicio. Proposici on. Sean a y b n umeros enteros. (a) = (b) si, y solamente si, a b; es decir, si, y s olo si, a = b o a = b. Si a > 0, entonces a es el menor entero positivo en (a). Demostraci on. Es elemental y se deja como ejercicio. En la gura adjunta se pretende ilustrar la equivalencia de la relaci on m | a entre enteros del conjunto {2, 3, 4, 5, 6, 8, 9, 10, 12, 24, 30, 60} y la relaci on (a) (m) entre los respectivos conjuntos de m ultiplos:
60 (2) (3) (5)
24
30
(4)
(6)
(10)
(9) 8 12 9 (8) (12)
10 (24)
(30)
5 (60)
En el diagrama de la izquierda un segmento ascendente desde a hasta b signica a | b, mientras que en el diagrama de la derecha un segmento ascendente desde (b) hasta (a) signica (b) (a).
El conjunto (m) de los m ultiplos de un entero cualquiera m verica tres propiedades formales, especialmente importantes, relacionadas con las operaciones de adici on y multiplicaci on y que se exponen en la siguiente Proposici on. Para cualquier entero m se cumplen: (1.) 0 (m). (2.) Si a, b (m), entonces a + b (m). (3.) Si z Z y a (m), entonces az (m). Demostraci on. (1.) 0 = m0. (2.) Si a = mza y b = mzb con za , zb Z, entonces a + b = mza + mzb = m(za + zb ) (m). (3.) Si a = mza , entonces az = m(za z ) (m).
Dicho en otra forma: (1.) El elemento neutro 0 es m ultiplo de cualquier entero m. (2.) La suma de dos m ultiplos de un entero m es un m ultiplo de m. (3.) Todo m ultiplo de un m ultiplo de un entero m es un m ultiplo de m. Como consecuencias se tienen: (m) = , porque 0 (m). Si a (m), entonces a = 1a (m); es decir, el opuesto de un m ultiplo de m es tambi en un m ultiplo de m. Si a, b (m), entonces a b = a + (b) (m); es decir, dos m ultiplos de m dieren en un m ultiplo de m. Denici on. Un ideal del anillo Z de los enteros es un subconjunto I de Z tal que: (1.) 0 I. (2.) Si a, b I , entonces a + b I. (3.) Si z Z y a I , entonces az I. Ejemplo. Para cada entero m, el conjunto (m) de los m ultiplos de m es un ideal de Z. Una propiedad crucial del anillo de los enteros es que si un subconjunto I de Z es un ideal de Z, entonces I debe ser de la forma (d) para alg un entero d; esto es, existe (al menos) un entero d tal que I = {dz | z Z} = (d). Ejemplo. El subconjunto S (8, 12) = {8x + 12y | x, y Z} de Z es un ideal de Z, en efecto: 0 = 8 0 + 12 0 S (8, 12) Si a, b son elementos de S (8, 12), digamos a = 8xa + 12ya y b = 8xb + 12yb , entonces a + b = 8(xa + xb ) + 12(ya + yb ) S (8, 12) Si z es un entero y a = 8xa + 12ya es un elemento de S (8, 12), entonces az = 8(xa z ) + 12(ya z ) S (8, 12) En el cuadro adjunto se escriben algunos elementos del conjunto S (8, 12) correspondientes a valores de x en el rango 3 x 3 y a valores de y en el rango 2 y 2:
... ... ... ... ... ... ... ...
3 ... 48 36 24 12 0 ...
2 ... 40 28 16 4 8 ...
1 ... 32 20 8 4 16 ...
0 ... 24 12 0 12 24 ...
1 . . .. . . 16 4 8 20 32 . . .. . .
2 ... 8 4 16 28 40 ...
3 ... 0 12 24 36 48 ...
... ... ... ... ... ... ... ...
... 2 1 0 1 2 ...
De la observaci on de la tabla parece desprenderse que S (8, 12) = (4); esta armaci on, que es cierta, ser a comprobada m as adelante una vez que se estudie el algoritmo extendido de Euclides. De momento se probar a la siguiente Proposici on: Proposici on. Sea I un ideal del anillo Z de los enteros. Hay un u nico entero m 0 tal que I = (m). Adem as, si I = {0}, entonces m es el menor entero positivo en I . Demostraci on. Si I = {0}, tomar m = 0. Suponer I = {0}, de modo que hay enteros no nulos a en I ; si a I , entonces a I , luego hay enteros positivos en I . Sea m el menor entero positivo en I . Veamos que I = (m), para ello se probar an las dos inclusiones: (m) I y I (m). La primera, (m) I , es consecuencia inmediata de que m pertenezca a I y de la condici on (3.) de la denici on de ideal. Para demostrar la segunda, I (m), hay que comprobar que todo elemento a I es m ultiplo de m: por la propiedad de la divisi on existen enteros qm (a) y rm (a) tales que a = mqm (a) + rm (a) y 0 rm (a) < m. Se on m es el menor entero positivo en I ; cumple rm (a) = a mqm (a) I [porque a, mqm (a) I ]; por elecci en conclusi on debe ser rm (a) = 0, de donde a I . Ejemplo. Sean m1 , m2 , . . . , ms n umeros enteros. El conjunto S (m1 , m2 , . . . , ms ) = m1 x1 + m2 x2 + . . . + ms xx | x1 , x2 , . . . , xs Z es un ideal de Z [compru ebese esta armaci on como ejercicio], luego hay un ( unico) entero m 0 tal que S (m1 , m2 , . . . , ms ) = (m).
[2] M aximo com un divisor

El conjunto de los divisores de 12 es: D12 = {12, 6, 4, 3, 2, 1, 1, 2, 3, 4, 6, 12}; el conjunto de los divisores de 30 es D30 = {30, 15, 10, 6, 5, 3, 2, 1, 1, 2, 3, 5, 6, 10, 15, 30}; el conjunto de los divisores comunes de 12 y 30 (la intersecci on de los dos conjuntos anteriores) es: D12 D30 = {6, 3, 2, 1, 1, 2, 3, 6}. N otese que D12 D30 = D6 , el conjunto de los divisores de 6; y que 6 cumple las siguientes propiedades (respecto de 12 y 30): (1.) 6 | 12 y 6 | 30; (esto es, 6 es un divisor com un de 12 y 30) (2.) para cualquier entero c que cumpla c | 12 y c | 30, se tiene c | 6; (esto es, cualquier divisor com un de 12 y 30 es un divisor de 6)
El n umero 6 tambi en cumple estas propiedades. Denici on. Un m aximo com un divisor de dos enteros a y b no ambos nulos es un entero d que cumpla: (1.) d | a y d | b, y (2.) si c es un entero tal que c | a y c | b, entoces c | d. Ejemplos. El entero 6 es un m aximo com un divisor de 12 y 30. Tambi en 6 es un m aximo com un divisor de 12 y 30. Los enteros 1 y 1 son m aximos comunes divisores de 25 y 18. Se estudiar an los siguientes t opicos relativos al m aximo com un divisor de dos enteros: Unicidad, existencia, propiedades y c alculo efectivo. Proposici on (Unicidad). Si d y d son ambos m aximos comunes divisores de dos enteros a y b, entonces dd. Demostraci on. Por ser d un m aximo com un divisor de a y b, y d un divisor com un a a y a b, se tiene d | d; por simetr a d | d . Por tanto, si d y d son m aximos comunes divisores de a y b, se tendr a d = d o d = d . Reciprocamente, si d es un m aximo com un divisor de a y b, entonces d tambi en lo es. Se conviene en poner mcd(a, b) para denotar el m aximo com un divisor positivo de dos enteros a y b. Tambi en por convenio se pone mcd(0, 0) = 0. Ejemplos. mcd(12, 30) = 6. mcd(30, 12) = 6. mcd(25, 18) = 1. mcd(25, 18) = 1. Teorema. (Existencia del m aximo com un divisor) Para dos enteros cualesquiera a y b se tienen; (1.) existe el m aximo com un divisor d = mcd(a, b) de a y b, y (2.) existen enteros s y t tales que d = as + bt. Demostraci on. Pongamos S (a, b) = {ax + by | x, y Z}. Dado que el conjunto S (a, b) es un ideal de Z, existe un entero d S (a, b), d 0, y tal que S (a, b) = (d); y existen enteros sd , td tales que d = asd + btd . Veamos que d = mcd(a, b): Como a, b S (a, b) = (d), se tiene a, b (d); esto es, d | a y d | b Si c | a y c | b , entonces c |(asd + btd ); esto es, c | d Ni el teorema ni su demostraci on proporcionan un m etodo efectivo que permita calcular mcd(a, b) para dos enteros a y b. En las secciones siguientes se estudian, primero, un algoritmo (el algoritmo de Euclides) para el c alculo del m aximo com un divisor de dos enteros y, despu es, una modicaci on de dicho algoritmo (el algoritmo extendido de Euclides) que permite calcular el m aximo com un divisor d de dos enteros a y b as como enteros s y t tales que d = sa + tb.
Notas y ejemplos
El teorema asegura la existencia del m aximo com un divisor d de dos enteros a y b, as como la existencia de enteros s y t tales que d = as + bt pero debe notarse que ni s ni t tienen las identidades 2 2 2 ... 2 son u nicos: pongamos a = 4 y b = 6, entonces d = mcd(4, 6) = 2 y se = = = ... = 4 (1) 4 (4) 42 ... 4(1 3t) + + + ... + 61 63 6 (1) ... 6(1 + 2t), (t Z)
Habitualmente se conoce con el nombre identidad de Bezout cualquier expresi on del m aximo com un divisor d de dos enteros a y b como combinaci on lineal de estos (sobre Z): d = as + bt con s, t Z. Debe notarse que de una identidad tal como h = as + bt donde a, b, h, s, t son enteros no se concluye que h sea (necesariamente) el m aximo com un divisor de a y b, por ejemplo 18 = 4 (3) + 6 5 Lo que si se puede asegurar, en estas condiciones, es que mcd(a, b) | h (demostraci on?).
Consecuencias de la identidad de Bezout

Sea d el m aximo com un divisor de dos enteros a = 0 y b = 0, pongamos d = as + bt para adecuados enteros s, t. Dado que d | a y d | b, existen enteros a y b tales que a=ad y b=bd substituyendo en () d = a ds + b dt = d(a s + b t) Dado que d = 0, se puede cancelar el factor d y se obtiene 1=as+bt De donde se deduce que mcd(a , b ) = 1. Denici on. Dos enteros a = 0 y b = 0 son primos entre s o primos relativos si mcd(a, b) = 1. De las consideraciones previas a la denici on se concluye Proposici on. Sea d el m aximo com un divisor de dos enteros a = 0 y b = 0. Pongamos a = a d y b = b d. Los enteros a y b son primos entre s . Proposici on. Sean a = 0 y b = 0 dos enteros. Las condiciones siguientes son equivalentes (i) a y b son primos entre s (ii) Existen enteros s y t tales que as + bt = 1 Proposici on. Si un entero divide a un producto de otros dos y es primo relativo con uno de ellos, entonces divide al otro. Demostraci on. Suponer que un entero m divide a un producto ab de dos enteros a y b, y que m y a son primos entre s , probaremos que m | b. Existen enteros z , s y t tales que ab = mz y 1 = ms + at; multiplicando los dos miembros de la u ltima igualdad por b, se obtiene b = msb + abt = msb + mzt = m(sb + zt) ()
Proposici on. Sean a y b enteros primos entre s , y sea m un entero tal que a | m y b | m. Entonces ab | m. Demostraci on. Existen enteros u y v tales que au + bv = 1, multiplicando ambos miembros por m se obtiene amu + bmv = m. Por otra parte, dado que a | m, se cumple ab | bm; y dado que b | m, se cumple ab | am. En consecuencia ab |(amu + bmv ) = m.
Notas, ejemplos y contraejemplos

Los siguientes pares de enteros son primos entre s : 3 y 7, 12 y 25, 33 y 32, -35 y 18, 12 y 1 Los siguientes pares de enteros no son primos entre s : 35 y 49, 4 y 2, -81 y 39, -12 y -8, 2925 y 2002 El entero 6 divide al producto 8 9, pero 6 | 8 y 6 | 9 Se tiene: 2 | 12 y 4 | 12, pero 2 4 = 8 | 12. Puesto que 2925 461 + 1694 (796) = 1 (compru ebese), se concluye que (1) mcd(2925, 1694) = 1, (2) mcd(2925, 796) = 1, (3) mcd(461, 1694) = 1 y (4) mcd(461, 796) = 1
C alculo del m aximo com un divisor

Recordemos la propiedad de la divisi on en Z: Dados dos enteros a y b con b = 0, existen enteros qb (a) y rb (a) ( unicos) tales que a = bqb (a) + rb (a), 0 rb (a) < |b| y hay un algoritmo que calcula qb (a) y rb (a). El algoritmo que se expondr a para el c alculo del m aximo com un divisor de dos enteros se basa en la siguiente Proposici on. Sean a y b enteros. Se tiene (1.) mcd(a, 0) = |a| , y (2.) mcd(a, b) = mcd(b, rb (a)), si b = 0. Demostraci on. La primera armaci on se obtiene directamente de la denici on de m aximo com un divisor y del convenio relativo al signo. Para probar la segunda armaci on pongamos a = bqb (a) + rb (a). Si c | a y c | b, entonces c | b y c | rb (a) = a bqb (a); reciprocamente, si c | b y c | rb (a), entonces c | a = bqb (a) + rb (a) y c | b. Por tanto el conjunto de los divisores comunes de a y b coincide con el conjunto de los divisores comunes de b y rb (a). El inter es de esta proposici on radica en el hecho de que permite calcular efectiva y ecientemente el m aximo com un divisor de dos enteros cualesquiera. Antes de justicar esta armaci on veamos algunos ejemplos sencillos. Ejemplos. mcd(747, 0) = 747 mcd(0, 16) = mcd(16, 0) = 16 mcd(12, 8) = mcd(8, 4) = mcd(4, 0) = 4 mcd(9, 15) = mcd(15, 9) = mcd(9, 6) = mcd(6, 3) = mcd(3, 0) = 3
mcd(121393, 17711) = mcd(17711, 15127) = mcd(15127, 2584) = = mcd(2584, 2207) = mcd(2207, 377) = mcd(377, 322) = mcd(322, 55) = = mcd(55, 47) = mcd(47, 8) = mcd(8, 7) = mcd(7, 1) = mcd(1, 0) = 1
Algoritmo mcd (El algoritmo de Euclides sobre Z) Entrada: a, b Z, dos enteros. Salida: mcd(a, b), el m aximo com un divisor (no negativo) de a y b. mcd(a, b) 1 2 3 4 (r, r ) (a, b) mientras r = 0 hacer (r, r ) (r , resto(r, r )) devolver |r|
Ejemplo. Se muestra una forma de disponer los c alculos para el c omputo, con l apiz y papel, del m aximo com un divisor de los n umeros 1127 y 354 seg un el algoritmo mcd: q 3 5 2 4 7 En consecuencia mcd(1127, 354) = 1. Ejercicio. Calcular mediante el algoritmo mcd el m aximo com un divisor de 3757 y 5083 . r 1127 354 65 29 7 1 r 354 65 29 7 1 0
Notas de programaci on
Un programa en Maple que implementa el algoritmo de Euclides sobre Z mcd := proc(a::integer, b::integer) local r, rp ; r, rp := a, b; while rp <> 0 do r, rp := rp, irem(r, rp) od; abs(r) end; La primitiva igcd (integer greatest common divisor) de Maple hace, esencialmente, lo mismo.
El Algoritmo extendido de Euclides

El m aximo com un divisor d de dos enteros a y b se puede expresar en la forma d = as + bt para adecuados enteros s y t. Nos ocupamos del desarrollo de un algoritmo eciente que permita computar, simultaneamente, d, s y t. El algoritmo que discutiremos ser a una extensi on del Algoritmo de Euclides.
Sean pues a y b n umeros enteros; analicemos detalladamente el algoritmo de Euclides para el c alculo de mcd(a, b). Pongamos r0 = a y r1 = b. Si b = 0, entonces el m aximo com un divisor de a y b es |a|. Si b = 0, los pasos dados para el c alculo de mcd(a, b) se pueden explicitar, simb olicamente, en la forma: r0 r1 ... ri ri+1 ... rn2 rn1 = = = = = = r1 q 1 + r2 , r2 q 2 + r3 , 0 r2 < |r1 | 0 r3 < r2 ... (r2 es no negativo)
... ...
ri+1 qi+1 + ri+2 , 0 ri+2 < ri+1 ri+2 qi+2 + ri+3 , 0 ri+3 < ri+2 ... 0 rn < rn1 rn1 qn1 + rn , rn qn + 0,
... ...
de donde se concluye que el m aximo com un divisor d de a y b es rn . Proposici on. En la situaci on anterior se cumple: Para todo i, (0 i n), existen enteros ui , vi tales que ri = aui + bvi Demostraci on. Se expone una prueba constructiva; esto es, no s olo se prueba la existencia de los ui , vi , sino que se proporciona un m etodo para calcularlos. Se tienen: r0 r1 = a=a1+b0 = b=a0+b1
Por tanto pueden tomarse u0 = 1, v0 = 0 u1 = 0, v1 = 1 Suponer (hip otesis inductiva) que est an calculados enteros ui , vi , ui+1 , vi+1 tales que ri ri+1 entonces ri+2 = ri ri+1 qi+1 = aui + bvi (aui+1 + bvi+1 )qi+1 = = a(ui ui+1 qi+1 ) + b(vi vi+1 qi+1 ) Por tanto pueden tomarse ui+2 = ui ui+1 qi+1 , vi+2 = vi vi+1 qi+1
.
= aui + bvi
= aui+1 + bvi+1
Como caso particular se obtiene la versi on constructiva del teorema de existencia del m aximo com un divisor: Teorema. Sea d el m aximo com un divisor de dos enteros a y b. Existen enteros u y v tales que d = au + bv De las consideraciones anteriores se obtiene un m etodo para el c alculo simult aneo de d, u y v a partir de a y b. Veamos un par de ejemplos.
10
Ejemplo. Calcular (a mano, con l apiz y papel) el m aximo com un divisor d de 256 y 117, y enteros u y v tales que d = 256u + 117v . i 0 1 2 3 4 qi 2 5 3 7 ri 256 117 22 7 1 ri+1 117 22 7 1 0 ui 1 0 1 -5 16 ui+1 0 1 -5 16 -117 vi 0 1 -2 11 -35 vi+1 1 -2 11 -35 256
En consecuencia, mcd(256, 117) = 1 = 256 16 + 117 (35) . Ejemplo. Calcular (a mano, con l apiz y papel) el m aximo com un divisor d de 8320 y -6591, y enteros u y v tales que d = 8320u + (6591)v . i 0 1 2 3 4 5 -1 -4 5 3 8 qi ri 8320 -6591 1729 325 104 13 ri+1 -6591 1729 325 104 13 0 ui 1 0 1 4 -19 61 ui+1 0 1 4 -19 61 -507 vi 0 1 1 5 -24 77 vi+1 1 1 5 -24 77 -640
En consecuencia, mcd(8320, 6591) = 13 = 8320 61 + (6591) 77 . Se tiene as el Algoritmo Extendido de Euclides: Algoritmo mcdex (El Algoritmo Extendido de Euclides sobre Z) Entrada: Salida: a, b Z, dos enteros. (d, u, v ) Z3 tal que d = mcd(a, b) y u, v cumplen d = au + bv .
mcdex(a, b) 1 2 3 4 5 6 7 8 9 (r, r ) (a, b) (u, u ) (1, 0) (v, v ) (0, 1) mientras r = 0 hacer q coct(r, r ) (r, r ) (r , r r q ) (u, u ) (u , u u q ) (v, v ) (v , v v q ) devolver sign(r) (r, u, v )
Notas de programaci on
Un programa en Maple que implementa el algoritmo extendido de Euclides sobre Z
11
mcdex := proc(a::integer, b::integer) local r, rp, u, up, v, vp, q; r, rp := a, b; u, up := 1, 0; v, vp := 0, 1; while rp <> 0 do q := iquo(r, rp); r, rp := rp, r rp*q; u, up := up, u up*q; v, vp := vp, v vp*q; od; signum(r)*[r, u, v] end; La primitiva igcdex (integer greatest common divisor extended) de Maple hace, esencialmente, lo mismo.
[3] M nimo com un m ultiplo

El concepto de m nimo com un m ultiplo es dual del concepto de m aximo com un divisor. Denici on. Un m nimo com un m ultiplo de dos enteros a = 0 y b = 0 es un entero m que cumpla: (1.) a | m y b | m, y (2.) si c es un entero tal que a | c y b | c, entonces m | c. Ejemplos. El entero 24 es un m nimo com un m ultiplo de 12 y 8. Tambi en -24 es un m nimo com un m ultiplo de 12 y 8. El entero 6 es un m nimo com un m ultiplo de 2 y -3. El entero -6 tambi en es un m nimo com un m ultiplo de 2 y -3. Proposici on (Unicidad). Si m y m son m nimos comunes m ultiplos de dos enteros a = 0 y b = 0, entonces mm. Demostraci on. Es trivial y se deja como ejercicio simple. Veamos que existe el m nimo com un m ultiplo de dos enteros a y b cualesquiera. Para ello usaremos la siguiente Proposici on. La intersecci on I1 I2 de dos ideales I1 e I2 de Z es un ideal de Z. Demostraci on. Es trivial y se deja como ejercicio simple. Sean a y b enteros. La intersecci on (a) (b) de los ideales (a) y (b) es un ideal de Z, por tanto existe un entero m 0 tal que (a) (b) = (m). Veamos que m es un m nimo com un m ultiplo de a y b: como (m) (a), se tiene a | m; como (m) (b), se tiene b | m; si c es un entero tal que a | c y b | c, entonces (c) (a) y (c) (b); por tanto (c) (a) (b) = (m); de donde se concluye que m | c. En consecuencia se puede enunciar el siguiente resultado.
12
Proposici on. Sean a y b n umeros enteros. Existe un m nimo com un m ultiplo de a y b. Un entero m es un m nimo com un m ultiplo de a y b si, y s olo si, (m) = (a) (b).
[4] N umeros Primos

Para todo entero a = 0 se tienen las relaciones 1 | a, 1 | a, a|a y a | a;
porque a = 1a = a1 y a = (1)(a) = (a)(1). Los divisores 1, 1, a, a de un entero no nulo a se denominan divisores impropios, los dem as (si los hay) se denominan divisores propios. Denici on. Un entero mayor que 1 es primo si sus u nicos divisores son impropios. Un entero mayor que 1 es compuesto si no es primo. N otese que los conceptos de entero primo y de entero compuesto s olo se denen para enteros > 1. Un entero p > 1 es primo si y s olo si sus u nicos divisores positivos son 1 y p. Un entero a > 1 es compuesto si y s olo si posee divisores positivos distintos de 1 y de a; esto es, si y s olo si existen enteros b, c > 1 tales que a = bc. Se pueden interpretar los primos como los elementos minimales en el conjunto ordenado (por la relaci on |) de los enteros mayores que 1. Ejemplos. Los enteros 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 1997, 1999 son primos. Los enteros 4, 6, 8, 9, 10, 12, 14, 15, 16, 18, 20, 21, 22, 24, 25, 221, 3992003 son compuestos. Los enteros 1, -1, -3, -6, -12 no son ni primos ni compuestos. Proposici on. Todo entero n > 1 posee, al menos, un divisor primo. Demostraci on. Suponer que hay alg un entero mayor que 1 que no posea divisores primos. Sea m el menor entero m > 1 que no posee divisores primos (aqu se usa la buena ordenaci on de los enteros positivos). Como m es un divisor de m y m no posee divisores primos, se sigue que m no es primo. Por tanto hay enteros a y b tales que m = ab, 1 < a < m, 1 < b < m Dado que a < m, se sigue que a tiene, al menos, un divisor primo (que puede ser el propio a); y todo divisor de a es divisor de m, con lo que m posee divisores primos. Esta contradicci on proviene de suponer que hay alg un entero mayor que 1 que no posea divisores primos. En consecuencia se cumple el enunciado de la proposici on. Proposici on. El conjunto de los n umeros primos es innito. Demostraci on. Se deja como ejercicio. [ Una forma de proceder: Suponer que el conjunto P de los primos es nito, digamos P = {p1 , p2 , . . . , ps }. Considerar el entero z = p1 p2 . . . ps + 1. Probar que z posee un divisor primo que no est a en P . ] Denici on. Una factorizaci on de un entero es una expresi on del entero dado como producto de factores. Ejemplo. Las expresiones 2 6, 3 4, 2 2 3, 2 3 2, 6 2 1, y 12 son distintas factorizaciones del entero 12.
13
Teorema. (Existencia de una factorizaci on en primos) Todo entero n 2 se puede factorizar en primos. Demostraci on. Por inducci on sobre n. El entero 2 es primo, luego 2 es una factorizaci on de 2 en primos. Suponer el teorema probado para todo entero m, 2 m n. Si n + 1 es primo, ya est a. Si n + 1 es compuesto, entonces tiene una factorizaci on de la forma n + 1 = ab; donde 2 b < n + 1 y 2 b < n + 1. Por inducci on, a y b se expresan como producto de primos, digamos a = p1 . . . pr y b = q1 . . . qs ; por tanto ab = p1 . . . pr .q1 . . . qs . Antes de estudiar la unicidad de la factorizaci on en primos, veamos un lema que tiene inter es independiente (este resultado ya fue probado previamente y con mayor generalidad d onde?): Lema. Si p es un primo y p | ab, entonces p | a o p | b. (Si un primo divide a un producto de dos factores, entonces divide al menos a uno de ellos). Demostraci on. Suponer que p | ab y p | a. Como p | a y p es primo, el u nico divisor positivo com un de a y p es 1; esto es, mcd(a, p) = 1. Luego existen enteros s y t tales que 1 = sa + tp; entonces b = sab + tpb; por hip otesis p | ab, en consecuencia p | b. Corolario. Sea p un primo. Si p | a1 a2 . . . an , entonces p | ai para alg un i, 1 i n. Teorema. (Unicidad de la factorizaci on en primos) Todo entero n 2 se expresa de modo esencialmente u nico como producto de primos. Precisamente, si n = p1 . . . ps = q1 . . . qt , (con p1 , . . . , ps , q1 , . . . , qt primos), entonces s = t y existe una reordenaci on de los q1 , . . . , qt tal que p1 = q1 , . . . , ps = qs . Demostraci on. Por inducci on sobre n. Para n = 2 la armaci on es trivialmente cierta (porque 2 es primo). Suponer el teorema probado para cualquier m, 2 m n. Si n + 1 es primo, ya est a. Si n + 1 es compuesto, se puede expresar en producto de primos, digamos de dos formas: n + 1 = p1 p2 . . . ps = q1 q2 . . . qt , (s, t 2). Como p1 | n + 1, se tiene p1 | q1 q2 . . . qt , luego p1 | qj para alg un j, 1 j t. Reordenando los qj , podemos suponer que p1 | q1 . Como q1 es primo, s olo posee un divisor > 1; luego p1 = q1 . Dividiendo n + 1 por p1 (= q1 ) queda n+1 = p2 . . . ps = q2 . . . qt . p1
+1 Ahora 2 np n. Por hip otesis inductiva obtenemos s 1 = t 1 (por tanto s = t) y, mediante una 1 reordenaci on de q2 , . . . , qs , tenemos p2 = q2 , . . . , ps = qs .
Corolario. Todo entero n 2 posee una u nica descomposici on en primos elevados a exponentes de la forma es 1 e2 n = pe 1 p2 . . . ps , (ei 1), donde los pi son los distintos divisores primos de n.
BIBLIOGRAFIA Childs, L., A Concrete Introduction to Higher Algebra. Springer (1.979). P aginas 19 a 36. Lipson, J. D., Elements of Algebra and Algebraic Computing. P aginas 46 a 50, y 203 a 206.
14
Rosen, K. H., Elementary Number Theory and its Applications. P aginas 70 a 104, incluyendo algunos ejercicios.
EJERCICIOS. 1. Probar que si a, b y c son enteros tales que a | b y b | c, entonces a | c. 2. Mostrar que si a, b y c son enteros tales que c | a y c | b, entonces c |(ma + nb) para todo m, n Z. 3. Si a y b son enteros no nulos tales que a | b y b | a, qu e puedes concluir con respecto a a y b? 4. Existen enteros a, b y c tales que a | bc, pero a | b y a | c? 5. Probar que si a, b y c son enteros, c = 0, se tiene a | b si y s olo si ac | bc. 6. Probar que si a y b son enteros positivos y a | b, entonces a b. 7. Demostrar que si a y b son enteros y a | b, entonces an | bn, para todo entero positivo n. 8. Probar que 3 |(n3 n) para todo entero n. 9. Probar que el producto de tres enteros consecutivos cualesquiera es m ultiplo de 6. 10. Probar que 5 |(n5 n) para todo entero n. 11. Sean a y b enteros positivos; pongamos
en 1 e2 a = pe 1 p2 . . . pn
fn 1 f2 b = pf 1 p2 . . . pn ; (ei , fi 0);
donde p1 , p2 , . . . , pn son los distintos divisores primos de a o b. Sean

dn 1 d2 d = pd 1 p2 . . . pn
mn 1 m2 m = pm 1 p2 . . . pn
con di = min(ei , fi ) y mi = m ax(ei , fi ), Probar que d = mcd(a, b) y m = mcm(a, b). 12. Probar que 2 es irracional.
1 i n.
13. (Generalizaci on del ejercicio anterior) Sea r una ra z (esto es, un cero) de un polinomio m onico xn + an1 xn1 + + a1 x + a0 con coecientes enteros y a0 = 0. Probar que r es entero o irracional. 14. Para cada entero positivo n sea fn el correspondiente t ermino de la sucesi on de Fibonacci. 2 (i) Probar que fn+1 fn1 fn = (1)n ; (ii) Como consecuencia de (i) calcular mcd(fn , fn+1 ). 15. Sea E (a, b) el n umero de divisiones necesarias para calcular el m aximo com un divisor de los enteros a y b (a > b) utilizando el algoritmo de Euclides. (i) Calcular E (21, 13), n otese que 13 y 21 son t erminos consecutivos de la sucesi on de Fibonacci. (ii) Calcular E (fn+1 , fn ); (iii) Sea b un entero b < fn+1 . Probar que E (a, b) E (fn+1 , fn ) para cualquier a > b.
15
16. Sean a, b y c enteros, a = 0 o b = 0; pongamos d = mcd(a, b). Probar: (i) mcd(a/d, b/d) = 1; (ii) mcd(a, b) = mcd(a + bc, b). 17. Sea n un entero positivo. (i) C omo podr as denir el m aximo com un divisor , mcd(a1 , a2 , . . . , an1 , an ), de n enteros no todos nulos: a1 , a2 , . . . , an1 , an ?. (ii) Demuestra que mcd(a1 , a2 , . . . , an1 , an ) = mcd(a1 , a2 , . . . , mcd(an1 , an )). (iii) Encontrar tres enteros a1 , a2 , a3 tales que mcd(a1 , a2 , a3 ) = 1 pero dos a dos no sean primos entre s .
16

Divisibilidad 1

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Divisibilidad 1

Cargado por

Copyright:

Formatos disponibles

Divisibilidad

[1] M ultiplos y divisores

Notas y ejemplos. 8 | 24, 6 | 24, 8 | 12, 7 | 7, 1 | 7. 7 | 1, 18 | 6. 12 | 8, 6 | 15,

Un test efectivo de divisibilidad.

(9) 8 12 9 (8) (12)

... ... ... ... ... ... ... ...

... ... ... ... ... ... ... ...

[2] M aximo com un divisor

Consecuencias de la identidad de Bezout

Notas, ejemplos y contraejemplos

C alculo del m aximo com un divisor

El Algoritmo extendido de Euclides

[3] M nimo com un m ultiplo

[4] N umeros Primos

donde p1 , p2 , . . . , pn son los distintos divisores primos de a o b. Sean

También podría gustarte