Documente Academic
Documente Profesional
Documente Cultură
Divisores.
Denicin. Un nmero entero m es divisor de un nmero entero a si hay un nmero entero q tal que o u u u a = mq. Se indica esta relacin escribiendo m | a, y su negacin se denota m | a. o o
Segn la denicin, si m es un divisor de a, entonces hay un entero q tal que a = mq; ntese que q es u o o tambin un divisor de a. e 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 comprendido entre a |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 ]
Lecciones de Algebra. Jaime Gutirrez Gutirrez y Carlos Ruiz de Velasco y Bellas e e Universidad de Cantabria. Santander, 27 de febrero de 2002
http://matsun1.matesco.unican.es/~velasco/algebra/
Proposicin. Para que un entero m sea divisor de un entero a es necesario y suciente que se cumpla una o de las dos condiciones siguientes: (a) m = 0 y a = 0, o (b) m = 0 y rm (a) = 0. Demostracin. Es inmediata. o
Ejemplos. Es 17 un divisor de 2096? Realizando la divisin de 2096 entre 17 se obtiene o 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 relacin de divisibilidad en el conjunto de los enteros cumple las siguientes propiedades: o Es reexiva (para todo entero a se tiene a | a). Es transitiva (si a | b y b | c, entonces a | c). No es antisimtrica (7 | 7, 7 | 7 y 7 = 7). e Por tanto la relacin de divisibilidad no es de orden el el conjunto Z de los enteros. o Denicin. Dos enteros a y b son asociados si a | b y b | a; en este caso se pone a b. o Lema. La relacin es asociado de () es de equivalencia en el conjunto Z de los enteros. o Demostracin. Es sencilla y se deja como ejercicio. o Veamos cmo son las clases de equivalencia de enteros mdulo la relacin de equivalencia . Se cumple o o o 0 0; si a 0, entonces a = 0, por tanto 0 es el unico 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 simplicacin en Z) o 1 = qq ; debe ser q = q = 1 o q = q = 1, de aqu se obtiene a = b a = b. Rec o procamente, si a = b o si a = b, entonces (obviamente) a b. Por tanto, para cualquier entero a, la clase de a mdulo es o [a] = {a, a} Ntese que el paso del conjunto Z al correspondiente conjunto cociente Z/ o 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 slo si, |a| = |b|, la aplicacin f induce una biyeccin o o o f : Z/ [a] N |a|
La relacin de divisibilidad en el conjunto de los enteros no negativos (esto es, en el conjunto de los o nmeros naturales) es de orden; ntese que esta relacin de orden no es lineal (hay elementos que no son u o o comparables, p. e. 8 | 12 y 12 | 8).
Lecciones de Algebra. Jaime Gutirrez Gutirrez y Carlos Ruiz de Velasco y Bellas e e Universidad de Cantabria. Santander, 27 de febrero de 2002
http://matsun1.matesco.unican.es/~velasco/algebra/
M ltiplos e ideales u
Denicin. Un entero a es m ltiplo de un entero m si m es un divisor de a. Se denota (m) al conjunto o u de los mltiplos de m: u (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).
Proposicin. Sean a y m enteros, las relaciones siguientes son equivalentes: o (1.) a es mltiplo de m, u (2.) m | a, (3.) a (m), (4.) (a) (m). Demostracin. Es elemental y se deja como ejercicio. o Proposicin. Sean a y b nmeros enteros. o u (a) = (b) si, y solamente si, a b; es decir, si, y slo si, a = b a = b. o o Si a > 0, entonces a es el menor entero positivo en (a). Demostracin. Es elemental y se deja como ejercicio. o En la gura adjunta se pretende ilustrar la equivalencia de la relacin m | a entre enteros del conjunto o {2, 3, 4, 5, 6, 8, 9, 10, 12, 24, 30, 60} y la relacin (a) (m) entre los respectivos conjuntos de mltiplos: o u
60 (2) (3) (5)
24
30
(4)
(6)
(10)
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).
Lecciones de Algebra. Jaime Gutirrez Gutirrez y Carlos Ruiz de Velasco y Bellas e e Universidad de Cantabria. Santander, 27 de febrero de 2002
http://matsun1.matesco.unican.es/~velasco/algebra/
El conjunto (m) de los mltiplos de un entero cualquiera m verica tres propiedades formales, espeu cialmente importantes, relacionadas con las operaciones de adicin y multiplicacin y que se exponen en la o o siguiente Proposicin. Para cualquier entero m se cumplen: o (1.) 0 (m). (2.) Si a, b (m), entonces a + b (m). (3.) Si z Z y a (m), entonces az (m). Demostracin. o (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 mltiplo de cualquier entero m. u (2.) La suma de dos mltiplos de un entero m es un mltiplo de m. u u (3.) Todo mltiplo de un mltiplo de un entero m es un mltiplo de m. u u u Como consecuencias se tienen: (m) = , porque 0 (m). Si a (m), entonces a = 1a (m); es decir, el opuesto de un mltiplo de m es tambin un u e mltiplo de m. u Si a, b (m), entonces a b = a + (b) (m); es decir, dos mltiplos de m dieren en un mltiplo u u de m. Denicin. Un ideal del anillo Z de los enteros es un subconjunto I de Z tal que: o (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 mltiplos de m es un ideal de Z. u 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 algn entero d; esto es, existe (al menos) un entero d tal que u 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:
Lecciones de Algebra. Jaime Gutirrez Gutirrez y Carlos Ruiz de Velasco y Bellas e e Universidad de Cantabria. Santander, 27 de febrero de 2002
http://matsun1.matesco.unican.es/~velasco/algebra/
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 observacin de la tabla parece desprenderse que S(8, 12) = (4); esta armacin, que es cierta, ser o o a comprobada ms adelante una vez que se estudie el algoritmo extendido de Euclides. De momento se probar a a la siguiente Proposicin: o Proposicin. Sea I un ideal del anillo Z de los enteros. Hay un unico entero m 0 tal que I = (m). o Adems, si I = {0}, entonces m es el menor entero positivo en I. a Demostracin. Si I = {0}, tomar m = 0. Suponer I = {0}, de modo que hay enteros no nulos a en I; o 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 probarn las dos inclusiones: (m) I y I (m). La primera, (m) I, es a consecuencia inmediata de que m pertenezca a I y de la condicin (3.) de la denicin de ideal. Para o o demostrar la segunda, I (m), hay que comprobar que todo elemento a I es mltiplo de m: por la u propiedad de la divisin existen enteros qm (a) y rm (a) tales que a = mqm (a) + rm (a) y 0 rm (a) < m. Se o o cumple rm (a) = a mqm (a) I [porque a, mqm (a) I]; por eleccin m es el menor entero positivo en I; en conclusin debe ser rm (a) = 0, de donde a I. o Ejemplo. Sean m1 , m2 , . . . , ms nmeros enteros. El conjunto u S(m1 , m2 , . . . , ms ) = m1 x1 + m2 x2 + . . . + ms xx | x1 , x2 , . . . , xs Z es un ideal de Z [comprubese esta armacin como ejercicio], luego hay un (nico) entero m 0 tal que e o u S(m1 , m2 , . . . , ms ) = (m).
Lecciones de Algebra. Jaime Gutirrez Gutirrez y Carlos Ruiz de Velasco y Bellas e e Universidad de Cantabria. Santander, 27 de febrero de 2002
http://matsun1.matesco.unican.es/~velasco/algebra/
El nmero 6 tambin cumple estas propiedades. u e Denicin. Un mximo com n divisor de dos enteros a y b no ambos nulos es un entero d que cumpla: o a u (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 mximo comn divisor de 12 y 30. Tambin 6 es un mximo comn divisor de a u e a u 12 y 30. Los enteros 1 y 1 son mximos comunes divisores de 25 y 18. a Se estudiarn los siguientes tpicos relativos al mximo comn divisor de dos enteros: Unicidad, exisa o a u tencia, propiedades y clculo efectivo. a Proposicin (Unicidad). Si d y d son ambos mximos comunes divisores de dos enteros a y b, entonces o a dd. Demostracin. Por ser d un mximo comn divisor de a y b, y d un divisor comn a a y a b, se tiene o a u u d | d; por simetr d | d . a Por tanto, si d y d son mximos comunes divisores de a y b, se tendr d = d o d = d . Reciprocamente, a a si d es un mximo comn divisor de a y b, entonces d tambin lo es. Se conviene en poner mcd(a, b) para a u e denotar el mximo comn divisor positivo de dos enteros a y b. Tambin por convenio se pone mcd(0, 0) = 0. a u e Ejemplos. mcd(12, 30) = 6. mcd(30, 12) = 6. mcd(25, 18) = 1. mcd(25, 18) = 1. Teorema. (Existencia del mximo comn divisor) Para dos enteros cualesquiera a y b se tienen; a u (1.) existe el mximo comn divisor d = mcd(a, b) de a y b, y a u (2.) existen enteros s y t tales que d = as + bt. Demostracin. Pongamos S(a, b) = {ax + by | x, y Z}. Dado que el conjunto S(a, b) es un ideal de Z, o 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 demostracin proporcionan un mtodo efectivo que permita calcular mcd(a, b) para o e dos enteros a y b. En las secciones siguientes se estudian, primero, un algoritmo (el algoritmo de Euclides) para el clculo del mximo comn divisor de dos enteros y, despus, una modicacin de dicho algoritmo (el a a u e o algoritmo extendido de Euclides) que permite calcular el mximo comn divisor d de dos enteros a y b as a u como enteros s y t tales que d = sa + tb.
Notas y ejemplos
El teorema asegura la existencia del mximo comn divisor d de dos enteros a y b, as como la existencia a u 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 unicos: 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)
Lecciones de Algebra. Jaime Gutirrez Gutirrez y Carlos Ruiz de Velasco y Bellas e e Universidad de Cantabria. Santander, 27 de febrero de 2002
http://matsun1.matesco.unican.es/~velasco/algebra/
Habitualmente se conoce con el nombre identidad de Bezout cualquier expresin del mximo comn o a u divisor d de dos enteros a y b como combinacin lineal de stos (sobre Z): o e 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 mximo comn divisor de a a u y b, por ejemplo 18 = 4 (3) + 6 5 Lo que si se puede asegurar, en estas condiciones, es que mcd(a, b) | h (demostracin?). o
Lecciones de Algebra. Jaime Gutirrez Gutirrez y Carlos Ruiz de Velasco y Bellas e e Universidad de Cantabria. Santander, 27 de febrero de 2002
http://matsun1.matesco.unican.es/~velasco/algebra/
Proposicin. Sean a y b enteros primos entre s y sea m un entero tal que a | m y b | m. Entonces ab | m. o , Demostracin. Existen enteros u y v tales que au + bv = 1, multiplicando ambos miembros por m se o 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.
Lecciones de Algebra. Jaime Gutirrez Gutirrez y Carlos Ruiz de Velasco y Bellas e e Universidad de Cantabria. Santander, 27 de febrero de 2002
http://matsun1.matesco.unican.es/~velasco/algebra/
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 mximo comn divisor (no negativo) de a y b. a u 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 clculos para el cmputo, con lpiz y papel, del mximo a o a a comn divisor de los nmeros 1127 y 354 segn el algoritmo mcd: u u u q 3 5 2 4 7 En consecuencia mcd(1127, 354) = 1. Ejercicio. Calcular mediante el algoritmo mcd el mximo comn divisor de 3757 y 5083 . a u r 1127 354 65 29 7 1 r 354 65 29 7 1 0
Notas de programacin o
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.
Lecciones de Algebra. Jaime Gutirrez Gutirrez y Carlos Ruiz de Velasco y Bellas e e Universidad de Cantabria. Santander, 27 de febrero de 2002
http://matsun1.matesco.unican.es/~velasco/algebra/
Sean pues a y b nmeros enteros; analicemos detalladamente el algoritmo de Euclides para el clculo de u a mcd(a, b). Pongamos r0 = a y r1 = b. Si b = 0, entonces el mximo comn divisor de a y b es |a|. Si b = 0, a u los pasos dados para el clculo de mcd(a, b) se pueden explicitar, simblicamente, en la forma: a o 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 mximo comn divisor d de a y b es rn . a u Proposicin. En la situacin anterior se cumple: Para todo i, (0 i n), existen enteros ui , vi tales que o o ri = aui + bvi Demostracin. Se expone una prueba constructiva; esto es, no slo se prueba la existencia de los ui , vi , o o sino que se proporciona un mtodo para calcularlos. Se tienen: e r0 r1 = a=a1+b0 = b=a0+b1
Por tanto pueden tomarse u0 = 1, v0 = 0 u1 = 0, v1 = 1 Suponer (hiptesis inductiva) que estn calculados enteros ui , vi , ui+1 , vi+1 tales que o a 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 versin constructiva del teorema de existencia del mximo comn o a u divisor: Teorema. Sea d el mximo comn divisor de dos enteros a y b. Existen enteros u y v tales que a u d = au + bv De las consideraciones anteriores se obtiene un mtodo para el clculo simultneo de d, u y v a partir e a a de a y b. Veamos un par de ejemplos.
Lecciones de Algebra. Jaime Gutirrez Gutirrez y Carlos Ruiz de Velasco y Bellas e e Universidad de Cantabria. Santander, 27 de febrero de 2002
http://matsun1.matesco.unican.es/~velasco/algebra/
10
Ejemplo. Calcular (a mano, con lpiz y papel) el mximo comn divisor d de 256 y 117, y enteros u y v a a u 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 lpiz y papel) el mximo comn divisor d de 8320 y -6591, y enteros u y a a u 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 programacin o
Un programa en Maple que implementa el algoritmo extendido de Euclides sobre Z
Lecciones de Algebra. Jaime Gutirrez Gutirrez y Carlos Ruiz de Velasco y Bellas e e Universidad de Cantabria. Santander, 27 de febrero de 2002
http://matsun1.matesco.unican.es/~velasco/algebra/
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.
Lecciones de Algebra. Jaime Gutirrez Gutirrez y Carlos Ruiz de Velasco y Bellas e e Universidad de Cantabria. Santander, 27 de febrero de 2002
http://matsun1.matesco.unican.es/~velasco/algebra/
12
Proposicin. Sean a y b nmeros enteros. Existe un m o u nimo comn mltiplo de a y b. Un entero m es un u u m nimo comn mltiplo de a y b si, y slo si, (m) = (a) (b). u u o
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 dems (si los hay) se denominan divisores propios. a Denicin. Un entero mayor que 1 es primo si sus unicos divisores son impropios. Un entero mayor que o 1 es compuesto si no es primo. Ntese que los conceptos de entero primo y de entero compuesto slo se denen para enteros > 1. Un o o entero p > 1 es primo si y slo si sus unicos divisores positivos son 1 y p. Un entero a > 1 es compuesto o si y slo si posee divisores positivos distintos de 1 y de a; esto es, si y slo si existen enteros b, c > 1 tales o o que a = bc. Se pueden interpretar los primos como los elementos minimales en el conjunto ordenado (por la relacin |) de los enteros mayores que 1. o 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. Proposicin. Todo entero n > 1 posee, al menos, un divisor primo. o Demostracin. Suponer que hay algn entero mayor que 1 que no posea divisores primos. Sea m el menor o u entero m > 1 que no posee divisores primos (aqu se usa la buena ordenacin de los enteros positivos). Como o 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 contradiccin proviene de suponer que hay o algn entero mayor que 1 que no posea divisores primos. En consecuencia se cumple el enunciado de la u proposicin. o Proposicin. El conjunto de los nmeros primos es innito. o u Demostracin. Se deja como ejercicio. [ Una forma de proceder: Suponer que el conjunto P de los primos o 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 en P . ] a Denicin. Una factorizacin de un entero es una expresin del entero dado como producto de factores. o o o Ejemplo. Las expresiones 2 6, 3 4, 2 2 3, 2 3 2, 6 2 1, y 12 son distintas factorizaciones del entero 12.
Lecciones de Algebra. Jaime Gutirrez Gutirrez y Carlos Ruiz de Velasco y Bellas e e Universidad de Cantabria. Santander, 27 de febrero de 2002
http://matsun1.matesco.unican.es/~velasco/algebra/
13
Teorema. (Existencia de una factorizacin en primos) Todo entero n 2 se puede factorizar en primos. o Demostracin. Por induccin sobre n. El entero 2 es primo, luego 2 es una factorizacin de 2 en primos. o o o Suponer el teorema probado para todo entero m, 2 m n. Si n + 1 es primo, ya est. Si n + 1 es a compuesto, entonces tiene una factorizacin de la forma n + 1 = ab; donde 2 b < n + 1 y 2 b < n + 1. o Por induccin, a y b se expresan como producto de primos, digamos a = p1 . . . pr y b = q1 . . . qs ; por tanto o ab = p1 . . . pr .q1 . . . qs . Antes de estudiar la unicidad de la factorizacin en primos, veamos un lema que tiene inters indepeno e diente (este resultado ya fue probado previamente y con mayor generalidad dnde?): o Lema. Si p es un primo y p | ab, entonces p | a p | b. (Si un primo divide a un producto de dos factores, o entonces divide al menos a uno de ellos). Demostracin. Suponer que p | ab y p | a. Como p | a y p es primo, el unico divisor positivo comn de a y o u 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 hiptesis p | ab, en consecuencia p | b. o Corolario. Sea p un primo. Si p | a1 a2 . . . an , entonces p | ai para algn i, 1 i n. u Teorema. (Unicidad de la factorizacin en primos) Todo entero n 2 se expresa de modo esencialmente o unico como producto de primos. Precisamente, si n = p1 . . . ps = q1 . . . qt , (con p1 , . . . , ps , q1 , . . . , qt primos), entonces s = t y existe una reordenacin de los q1 , . . . , qt tal que p1 = q1 , . . . , ps = qs . o Demostracin. Por induccin sobre n. Para n = 2 la armacin es trivialmente cierta (porque 2 es primo). o o o Suponer el teorema probado para cualquier m, 2 m n. Si n + 1 es primo, ya est. Si n + 1 es compuesto, a 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 algn j, 1 j t. Reordenando los qj , podemos u suponer que p1 | q1 . Como q1 es primo, slo posee un divisor > 1; luego p1 = q1 . Dividiendo n + 1 por o p1 (= q1 ) queda n+1 = p2 . . . ps = q2 . . . qt . p1 Ahora 2 n+1 n. Por hiptesis inductiva obtenemos s 1 = t 1 (por tanto s = t) y, mediante una o p1 reordenacin de q2 , . . . , qs , tenemos p2 = q2 , . . . , ps = qs . o Corolario. Todo entero n 2 posee una unica descomposicin en primos elevados a exponentes de la o forma n = pe1 pe2 . . . pes , (ei 1), s 1 2 donde los pi son los distintos divisores primos de n.
BIBLIOGRAFIA Childs, L., A Concrete Introduction to Higher Algebra. Springer (1.979). Pginas 19 a 36. a Lipson, J. D., Elements of Algebra and Algebraic Computing. Pginas 46 a 50, y 203 a 206. a
Lecciones de Algebra. Jaime Gutirrez Gutirrez y Carlos Ruiz de Velasco y Bellas e e Universidad de Cantabria. Santander, 27 de febrero de 2002
http://matsun1.matesco.unican.es/~velasco/algebra/
14
Rosen, K. H., Elementary Number Theory and its Applications. Pginas 70 a 104, incluyendo algunos a 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 puedes concluir con respecto a a y b? e 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 slo si ac | bc. o 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 mltiplo de 6. u 10. Probar que 5 |(n5 n) para todo entero n. 11. Sean a y b enteros positivos; pongamos a = pe1 pe2 . . . pen n 1 2 y b = pf1 pf2 . . . pfn ; (ei , fi 0); n 1 2
donde p1 , p2 , . . . , pn son los distintos divisores primos de a b. Sean o d = pd1 pd2 . . . pdn n 1 2 con di = min(ei , fi ) y mi = mx(ei , fi ), a Probar que d = mcd(a, b) y m = mcm(a, b). 12. Probar que 2 es irracional. y m = pm1 pm2 . . . pmn n 1 2
1 i n.
13. (Generalizacin del ejercicio anterior) Sea r una ra (esto es, un cero) de un polinomio mnico o z o 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 trmino de la sucesin de Fibonacci. e o 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 nmero de divisiones necesarias para calcular el mximo comn divisor de los enteros a y u a u b (a > b) utilizando el algoritmo de Euclides. (i) Calcular E(21, 13), ntese que 13 y 21 son trminos consecutivos de la sucesin de Fibonacci. o e o (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.
Lecciones de Algebra. Jaime Gutirrez Gutirrez y Carlos Ruiz de Velasco y Bellas e e Universidad de Cantabria. Santander, 27 de febrero de 2002
http://matsun1.matesco.unican.es/~velasco/algebra/
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) Cmo podr denir el mximo comn divisor , mcd(a1 , a2 , . . . , an1 , an ), de n enteros no todos nulos: o as a u 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 .
Lecciones de Algebra. Jaime Gutirrez Gutirrez y Carlos Ruiz de Velasco y Bellas e e Universidad de Cantabria. Santander, 27 de febrero de 2002
http://matsun1.matesco.unican.es/~velasco/algebra/
16