ndice general

3. Los Nmeros Enteros 2

3.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
3.2. Construccin como un conjunto cociente . . . . . . . . . . . . . . . . . . . . . . . . . . 3
3.2.1. Operaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
3.2.2. Leyes de cancelacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
3.2.3. Representacin geomtrica y orden . . . . . . . . . . . . . . . . . . . . . . . . . 6
3.2.4. El valor absoluto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3.2.5. El principio del buen orden visto en Z . . . . . . . . . . . . . . . . . . . . . . . 8
3.2.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3.3. Divisibilidad en Z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
3.3.1. Mximo comn divisor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3.3.2. Nmeros primos y primos entre s . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.3.3. El mnimo comn mltiplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.3.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1
Captulo 3
Los Nmeros Enteros
3.1. Introduccin
En la enseanza secundaria se introducen los nmeros enteros a partir de los naturales, justicando
su existencia con ideas de la vida real, como debe ser. Por ejemplo se habla de que 5 representa una
deuda de 5 colones. La operacin suma aparece as de manera natural: 5 + 3 representa el estado
nanciero de una persona que debe 5 colones y tiene tres en la bolsa. Si hace un abono con esos tres
colones, quedar debiendo dos colones y esto signica que 5 + 3 = 2. Tambin se puede hacer
alusin aqu a la interpretacin geomtrica de los nmeros enteros como puntos en una recta, donde
n est ubicado a distancia n del origen, caminando hacia la derecha o hacia la izquierda, dependiendo
del signo de n:
El producto aparece un poco ms articiosamente, pues al estudiante no le parece muy natural la ley
de signos. Por qu, por ejemplo, es (2)(3) = 6 ?. En este caso se puede recurrir a la intuicin,
interpretando el signo menos como un cambio de direccin, o de situacin econmica, etc. Pero
en trminos matemticos, la razn es que queremos que se sigan cumpliendo todas las propiedades de
la suma y el producto, como la distributividad por ejemplo. As, debe tenerse
0 = (2 + 2) 3 = (2) 3 + 2 3 = (2) 3 + 6;
de donde el nico valor coherente de (2) 3 es 6: Luego, usando esto debe tenerse
0 = (2) (3 + 3) = (2) (3) + (2) 3 = 2 (3) +6;
y consecuentemente (2) (3) = 6: Este argumento se puede generalizar para justicar la ley de
signos.
Pero, cmo puede introducirse Z de una manera un poco ms rigurosa, sin restringirse a dibujar
puntos sobre una recta, o de hablar de deudas? Un intento por hacer esto es el siguiente:
Dado que los enteros son en realidad nmeros naturales antecedidos por un signo + ; podemos
pensar en stos como pares ordenados. Ms precisamente, podemos denir
Z = (AN

) ' 0 ;
donde A es un conjunto cualquiera de dos elementos, que denotaremos por + y : Esto es,
A = ; + :
2
Los nmeros enteros A. Duarte & S. Cambronero 3
Ahora, los elementos no nulos de Z tienen forma (; n) (+; n), con n N. Usamos la notacin
n = (; n) ; +n = (+; n). Identicando el natural n con el par ordenado (+; n), obtenemos N _ Z.
Haciendo uso de las operaciones en N, se denen las operaciones en Z. Por ejemplo:
3 + (5) = (3 + 5) = 8; 11 + 7 = (11 7) = 4:
En general se dene
(n) + (m) = (n + m) ; m + (n) =

mn si m _ n
(n m) si m < n:
Similarmente se procede con el producto. Luego debe demostrarse que las propiedades usuales (aso-
ciatividad, distributividad, etc.) son vlidas en Z.
Si bien es posible poner este mtodo en un marco bastante riguroso, el estar considerando diferentes
casos en cada paso, hace la exposicin un poco agotadora. El mtodo que expondremos a continuacin
es mucho ms gil en este sentido.
3.2. Construccin como un conjunto cociente
Intuitivamente, un nmero entero es una resta de dos nmeros naturales. Por ejemplo tenemos que
3 = 47; 5 = 813; etc. Es entonces natural pensar por ejemplo en 3 como el par ordenado (4; 7)
y similarmente, 5 como el par ordenado (8; 13); etc. Pero existe una innidad de pares ordenados de
naturales que funcionan en la misma forma que lo hace (4; 7): Por ejemplo, 1 4 = 9 12 = 3: Si
queremos una denicin consistente de nmero entero, debemos identicar todos esos pares ordenados
que representan a 3 y considerarlos como uno solo.
Siguiendo con la idea intuitiva, identicaremos (m; n) con (p; q) si mn = p q: Pero como todava
no podemos hablar de la resta, escribimos esto mejor como m + q = n + p:
Consideremos entonces la relacin denida en el conjunto N N por
(m; n)(p; q) =m + q = n + p: (3.1)
Dejamos al lector la tarea de demostrar que esta relacin es de equivalencia (se hizo en los ejemplos
del captulo ??). Se dene:
Z = (N N) =:
Los elemento de Z son entonces clases de equivalencia, que llamaremos nmeros enteros.
Ejemplo 3.2.1 Considere u = [(8; 3)] Z. Note que 8 + 0 = 3 + 5; de donde (8; 3) (5; 0): Esto
demuestra que
u = [(8; 3)] = [(5; 0)] :
Ejemplo 3.2.2 Considere z = [(3; 5)] Z y note que (3; 5) (0; 2): Entonces tambin z = [(0; 2)] :
Ejemplo 3.2.3 Si c = [(m; m)] Z, entonces se tiene c = [(0; 0)] :
Los ejemplos anteriores ilustran el hecho que todo nmero entero se puede representar en la forma
[(m; 0)] [(0; n)] : En efecto, si z = [(p; q)] Z, tenemos tres posibilidades:
Si p = q entonce z = [(p; p)] = [(0; 0)] :
Los nmeros enteros A. Duarte & S. Cambronero 4
Si p > q entonces existe un natural m = p q tal que q + m = p: Esto demuestra que
(p; q) (m; 0) ; as que z = [(m; 0)] :
Si p < q; existe un natural n = q p tal que q = n + p: Se tiene entonces (p; q) (0; n) ; con lo
que z = [(0; n)] :
Denotamos 0 = [(0; 0)] y para n N

denotamos +n = [(n; 0)] y n = [(0; n)] : Obtenemos as los

enteros en su notacin usual. Los elementos de la forma n se llaman enteros negativos y los de la
foma +n se llaman enteros positivos.
Ejemplo 3.2.4 El nmero entero [(6; 4)] = [(2; 0)] se denota por +2:
Ejemplo 3.2.5 El nmero entero [(5; 11)] = [(0; 6)] se denota por 6:
Note que [(m; 0)] = [(0; n)] implica m + n = 0 y como m; n N se sigue que m = n = 0: En otras
palabras, ningn entero es positivo y negativo a la vez.
El conjunto Z
+
= +n Z : n N

'0 se identica con N, obteniendo as N Z. En otras palabras,

identicamos al natural n con el entero [(n; 0)] : Esta identicacin tiene sentido puesto que la funcin
' : N Z
+
; '(m) = [(m; 0)] (3.2)
es biyectiva. Como veremos ms adelante, esta funcin preserva las operaciones suma y producto
(segn la denicin que daremos) y por lo tanto la identicacin tambin es consistente desde un
punto de vista algebraico.
3.2.1. Operaciones
Queremos ahora denir la suma y el producto. Recordemos que al escribir u = [(m; n)] realmente
estamos pensando en u = mn: Entonces, si v = [(p; q)], intuitivamente tendramos
u + v = (mn) + (p q) ;
y si las propiedades de la suma son lo que esperamos, esto nos lleva a u+v = (m + p) (n + q) : Esto
justica la siguiente denicin.
Denicin 3.2.1 Para u y v enteros, con u = [(m; n)] y v = [(p; q)] ; denimos
u + v = [(m + p; n + q)] :
Ntese que la denicin se hace usando cualesquiera representantes de las clases involucradas. Para
que esta denicin sea coherente, no debe depender de los representantes que se escojan. Antes de
pasar a vericar esto, trataremos de aclararlo un poco.
Supngase que decidimos denir una operacin por: u v = [(m + p; n)] : Resulta que tomando
u = [(3; 2)] y v = [(1; 0)] tenemos u v = [(4; 2)] : Pero note que tambin v se puede representar como
v = [(6; 5)] y entonces, usando (6; 5) como representante de v obtendramos u v = [(9; 2)] : Como
[(4; 2)] ,= [(9; 2)] ; esta denicin no sera coherente.
Para vericar que la operacin suma est bien denida en Z, debemos demostrar entonces que al
cambiar los representantes, esta permanece invariante. Supongamos entonces que
u = [(m; n)] = [(m
0
; n
0
)] ; v = [(p; q)] = [(p
0
; q
0
)] :
Los nmeros enteros A. Duarte & S. Cambronero 5
Esto quiere decir que m + n
0
= n + m
0
y p + q
0
= q + p
0
: Luego
m + n
0
+ p + q
0
= n + m+ q + p
0
;
lo que signica que
(m + p; n + q) (m
0
+ p
0
; n
0
+ q
0
) ;
o equivalentemente, [(m + p; n + q)] = [(m
0
+ p
0
; n
0
+ q
0
)] : Entonces, efectivamente tenemos que la
denicin es idependiente del representante elegido.
Es un buen ejercicio para el lector, demostrar que la suma as denida es conmutativa, asociativa,
tiene elemento neutro 0 y que cada a Z tiene un inverso denotado por a: Este inverso es nico y
si a = [(m; n)] entonces a = [(n; m)] : En efecto, note que
[(n; m)] + [(m; n)] = [(n + m; n + m)] = 0:
Note que en particular
[(m; 0)] + [(p; 0)] = [(m + p; 0)] ;
lo cual quiere decir que para nmeros naturales, la suma sigue siendo la misma suma de naturales que
conocamos. Ms precisamente:
'(m) + '(n) = '(m + n) ;
donde ' : N Z
+
es la biyeccin que denimos arriba y que identica a estos dos conjuntos.
La resta se dene por
a b = a + (b):
En otras palabras, a b es el nico entero x que satisface b + x = a: Note en particular que
a = b =a b = 0:
Ahora, si n; m N tenemos
[(m; n)] = [(m; 0)] + [(0; n)] = m + (n) = mn;
donde hemos usado la identicacin n = '(n): Esto da rigor a la idea intuitiva con la que iniciamos
nuestra presentacin de los nmeros enteros: como restas de nmeros naturales.
El producto se dene de una manera un poco menos evidente. Tratemos primero de deducir cul debe
ser la denicin. Dado que queremos distributividad, debemos pedir que se cumpla:
[(m; n)] [(p; q)] = (mn) (p q) = mp mq np + nq
= [(mp + nq; mq + np)] :
Denicin 3.2.2 Para u = [(m; n)] y v = [(p; q)] se dene el producto u v como
u v = [(m; n)] [(p; q)] = [(mp + nq; mq + np)] :
Al igual que en el caso de la suma, se verica que esta operacin est bien denida y que es asociativa,
conmutativa y tiene por neutro al +1 = [(1; 0)] : Adems, usando la distributividad de las operaciones
en N, no es difcil demostrar la distributividad en Z. Todas estas propiedades juntas hacen de Z un
anillo conmutativo con unidad.
Los nmeros enteros A. Duarte & S. Cambronero 6
3.2.2. Leyes de cancelacin
Para las siguientes propiedades, consideremos tres enteros a; b; c Z. La ley de cancelacin de la suma
es consecuencia directa de la estructura de anillo. Veamos:
Si a + c = b + c entonces a = b:
En efecto, si a + c = b + c tenemos
a = a + (c + (c)) = (a + c) + (c) = (b + c) + (c) = b + (c + (c)) = b:
La ley de cancelacin del producto no se deduce de la estructura de anillo, as que debemos usar
directamente la construccin de Z.
Si ab = 0 entonces a = 0 b = 0:
En efecto, supongamos que ab = 0 y a ,= 0. Hay dos posibilidades:
Caso 1. Si a = [(m; 0)] ; con m N

; denotando b = [(p; q)] se obtiene ab = [(mp; mq)] : Dado

que ab = 0 tenemos mp = mq y por la ley de cancelacin en N se sigue que p = q: Esto signica
b = 0:
Caso 2. Si a = [(0; n)] ; con n N

; usamos que (a)b = 0 y como a = [(n; 0)] aplicamos el

caso 1.
(Ley de cancelacin del producto) Si ac = bc y c ,= 0 entonces a = b:
En efecto, dado que
ac = bc =(a b) c = 0;
se sigue de la propiedad anterior que a b = 0 y entonces a = b:
Nota: Las propiedades que acabamos de vericar, hacen de (Z; +; ) un dominio de integridad.
3.2.3. Representacin geomtrica y orden
El entero n N

se puede representar en la recta numrica como un punto ubicado a distancia n; a

la derecha del origen, mientras que n (con n N

) lo representamos como un punto a distancia n

hacia la izquierda del origen.
0
- n
n
distancia n
distancia n
Con esta idea geomtrica, podemos darle estructura de orden al anillo de los enteros. En efecto, diremos
que a es menor que b si a est ubicado a la izquierda de b, en la recta numrica. Rigurosamente:
Denicin 3.2.3 Si a; b Z, decimos que a es menor que b si b a N

: En tal caso escribimos

a < b: Cuando b a N escribimos a _ b (a es menor que o igual a b). Las relaciones a _ b y a < b
se escriben tambin b _ a y b > a; respectivamente.
Ntese que la relacin _ es una relacin de orden. Ms precisamente, esta relacin tiene las siguientes
propiedades:
Los nmeros enteros A. Duarte & S. Cambronero 7
1. Reexividad: Para todo a Z se tiene a _ a, dado que a a = 0 N.
2. Antisimetra: Si a _ b y b _ a; entonces a = b: En efecto, si b a N y a b N, dado que
(b a) + (a b) = 0; obtenemos a b = 0 (recuerde que en N no hay inversos).
3. Transitividad: Si a _ b y b _ c; entonces a _ c: Esto es claro del hecho que la suma de naturales
es un natural. Esto es, dado que b a N y c b N, se sigue que c a = (b a) +(c b) N.
Cuando n N

tenemos por denicin que n > 0 y viceversa. En tal caso decimos que n es un entero
positivo. Cuando n < 0; decimos que n es negativo. Ntese que por denicin del orden, esto signica
que n es positivo.
Dados m; n Z, hay tres posibilidades:
1. Si mn N

, entonces n < m:
2. Si (mn) N

, entonces m < n:
3. Si mn = 0; entonces m = n:
Esto demuestra la llamada ley de tricotoma: Para n; m Z se tiene:
n < m; n > m; n = m:
En otras palabras, la relacin de orden de Z es un orden total.
3.2.4. El valor absoluto
Para n Z, denimos el valor absoluto de n de la siguiente manera:
[n[ =

n si n _ 0
n si n < 0:
Ntese que [n[ es la distancia del origen al punto representado por n en la recta numrica. Ms
generalmente, si a; b Z entonces [a b[ es la distancia entre los puntos correspondientes.
a
b
b -- a
Por ejemplo, la distancia entre los puntos correspondientes a 9 y 17 es
[17 9[ = [9 17[ = 8:
La distancia entre 4 y 5 es [5 (4)[ = [4 5[ = 9:
Los nmeros enteros A. Duarte & S. Cambronero 8
3.2.5. El principio del buen orden visto en Z
El principio del buen orden se puede extender a subconjunto de Z acotados inferiormente.
Lema 3.2.1 (Generalizacin del principio del buen orden) Si A es subconjunto no vaco de Z, acotado
inferiormente, entonces A tiene primer elemento (i.e. elemento mnimo).
Demostracin
Si m es una cota inferior de A; el conjunto
B = Am = n m : n A
es subconjunto no vaco de N y, por el principio del buen orden, tiene primer elemento. Si n
0
es el
primer elemento de B; se sigue que m + n
0
es el primer elemento de A:
3.2.6. Ejercicios
1. Demuestre que la relacin denida por (3.1), es de equivalencia en N N.
2. Demuestre la buena denicin del producto en Z.
3. Demuestre las propiedades de anillo en Z.
4. Demuestre con todo detalle que la funcin denida por (3.2) satisface:
'(m + n) = '(m) + '(n) ; '(mn) = '(m) '(n) :
5. Demuestre que para todo n Z se tiene n
2
_ 0:
6. Demuestre que para n Z no existe m Z tal que n < m < n + 1: Recuerde que no existe un
natural entre 0 y 1 (ver el apndice).
7. Si a; b Z son tales que ab = 1; demuestre que a = b = 1:
8. En Z se dene la relacin por:
nm =n m es mltiplo de 5:
a. Demuestre que esta es una relacin de equivalencia.
b. Demuestre que Z
5
= Z= tiene exactamente 5 elementos.
c. En Z
5
dena las operaciones por
[n] + [m] = [n + m] ; [n] [m] = [n m] :
Demuestre que estn bien denidas.
d. Demuestre que Z
5
es un campo con estas operaciones: la suma y el producto son asociativas,
conmutativas, tienen neutro e inversos (con excepcin de a = [0] que no tiene inverso
multiplicativo) y satisfacen la ley de distributividad.
9. En Z se dene la relacin por:
nm =n m es mltiplo de 6:
Los nmeros enteros A. Duarte & S. Cambronero 9
a. Demuestre que esta es una relacin de equivalencia.
b. Demuestre que Z
6
= Z= tiene exactamente 6 elementos.
c. En Z
6
dena las operaciones por
[n] + [m] = [n + m] ; [n] [m] = [n m] :
Demuestre que estn bien denidas.
d. Demuestre que Z
6
es un anillo conmutativo con unidad, pero no es un campo con estas
operaciones.
10. Demuestre que para a; b Z se tiene:
a) Si a _ 0 y b _ 0 entonces ab _ 0:
b) Si a < 0 y b < 0 entonces ab > 0:
c) Si a < 0 y b > 0 entonces ab < 0:
11. Sean a; b Z. Demuestre que:
a) a _ b =b _ a:
b) a _ b =ac _ bc para c > 0:
c) a _ b =bc _ ac para c < 0:
12. Para a; b Z, con b > 0; demuestre que existe n N tal que a < bn (Arquimedianidad de Z).
13. (Algoritmo de la divisin en Z) Para a; b Z, con b > 0; demuestre que existen q; r Z
nicos, tales que
a = bq + r; 0 _ r < b:
14. Demuestre que para n; m Z se tiene
a) n = [n[ =n _ 0
b) [n[ _ m =m _ n _ m
c) [n[ _ n _ [n[
d) [n m[ = [n[ [m[
e) [n[
2
= n
2
15. Si n
2
= m y n _ 0; decimos que n es la raz cuadrada de m y escribimos n =
_
m:
a) Demuestre que la raz cuadrada es nica, cuando existe.
b) Para todo n Z se tiene
_
n
2
= [n[ :
c) Si n; m N entonces
n _ m =n
2
_ m
2
:
En otras palabras, la funcin denida por f(n) = n
2
es creciente en N.
d) Para a; b Z se tiene
[a[ _ [b[ =a
2
_ b
2
:
Los nmeros enteros A. Duarte & S. Cambronero 10
16. Para n; m N demuestre que
[n + m[
2
= [n[
2
+ 2nm +[m[
2
:
Concluya que [n + m[
2
_ ([n[ +[m[)
2
y que por lo tanto [n + m[ _ [n[ + [m[ : Esta es la de-
sigualdad triangular. Demustrela tambin directamente, considerando diferentes casos.
17. Demuestre que todo conjunto no vaco A _ Z, acotado superiormente, tiene mximo.
3.3. Divisibilidad en Z
Comenzaremos esta seccin enunciando el algoritmo de la divisin en Z. Su demostracin se hizo como
ejercicio en la seccin anterior, para el caso b > 0: Si b < 0 se aplica ese resultado a b.
Teorema 1 (Algoritmo de la divisin) Sean a; b Z, con b ,= 0: Entonces existen q; r Z nicos, tales
que
a = bq + r; 0 _ r < [b[ :
Cuando el resto es nulo (r = 0) decimos que b es divisor de a: Dicho de otra forma:
Denicin 3.3.1 Dados m; n Z, decimos que n es divisor de m si existe k Z tal que n k = m:
En tal caso se escribe n m y el nmero k se denota tambin por
m
n
: Si n es divisor de m; tambin
se dice que m es mltiplo de n (o divisible por n).
Ejemplo 3.3.1 El nmero 42 es mltiplo de 7; pues para k = 6 se tiene 7 k = 42:
Ejemplo 3.3.2 El nmero 0 es mltiplo de todo nmero a Z, pues k = 0 satisface a k = 0: Por
otro lado, 0 no es divisor de ningn entero b ,= 0:
Veamos algunas propiedades de la divisibilidad:
Propiedad 1 Todo a Z es mltiplo de s mismo, pues a 1 = a: Esto es, la relacin es reexiva.
Propiedad 2 Para a = 3 y b = 3 tenemos ab y ba; pero a ,= b: Entonces la relacin no es
antisimtrica en Z.
Propiedad 3 La relacin es transitiva. Esto es, si ab y bc, entonces ac:
En efecto, si b = ak y c = bl; entonces c = a(kl):
Propiedad 4 Supongamos que a divide a b: Entonces a divide a b; a divide a b y b. Tambin
[a[ divide a [b[ :
En efecto, como a es divisor de b; existe k Z tal que a k = b: Luego
a (k) = b; (a) (k) = b; (a) k = b; [a[ [k[ = [b[ :
Propiedad 5 Si a es divisor de b ,= 0; entonces [a[ _ [b[ : En particular, si a1 se sigue que a = 1:
Para ver esto, observemos que por la propiedad anterior se tiene [a[ k = [b[ ; donde k _ 1: Luego
[b[ = [a[ k _ [a[ :
Los nmeros enteros A. Duarte & S. Cambronero 11
Propiedad 6 Si a es divisor de b y c; entonces a es divisor de b + c y b c: Ms generalmente, a es
divisor de bx + cy, para todo par x; y Z.
En efecto, como a es divisor de b y c; existen k; l Z tales que b = ak; c = al: Luego
bx + cy = a (kx + ly) ;
de donde bx + cy es mltiplo de a: Tomando x = y = 1 se obtiene que a(b + c) y similarmente
a(b c):
Propiedad 7 Si a es divisor de b y b + c; entonces a es divisor de c:
Esto es consecuencia de la propiedad anterior, dado que c = (b + c) b:
3.3.1. Mximo comn divisor
Sean a y b enteros, no ambos nulos y consideremos el conjunto de todos los divisores comunes de a y
b: Este conjunto es nito por la propiedad 5. Entonces hay un divisor comn que es mayor que todos
los dems. A tal divisor lo llamaremos el mximo comn divisor de a y b y lo denotaremos por (a; b) :
Note que como 1 es siempre divisor de a y b; se tiene (a; b) _ 1: Es comn usar la abreviacin MCD
para mximo comn divisor.
El smbolo (0; 0) no tiene sentido en este contexto, puesto que todo entero es divisor de 0: Por este
motivo, cuando escribimos (a; b) ; implcitamente estaremos suponiendo que a y b no son ambos nulos.
Ejemplo 3.3.3 El mximo comn divisor de 18 y 12 es 6; esto es (18; 12) = 6: Esto es evidente del
hecho que los dos divisores ms grandes de 12 son 6 y 12 y, de ellos, solo el 6 es divisor de 18:
Ejemplo 3.3.4 Para calcular (45; 108) podemos proceder de dos formas:
Aplicamos el algoritmo de la divisin reiteradamente
108 = 45 2 + 18;
45 = 18 2 + 9;
18 = 9 2 + 0:
El MCD es el ltimo resto no nulo. Entonces (45; 108) = 9:
Se escribe 45 = 3
2
5; 108 = 2
2
3
3
: Como p = 3 es el nico divisor comn que es primo, se
toma la potencia menor que aparece, esto es 3
2
= 9:
Ms adelante justicaremos estos mtodos. Por ahora veamos otras propiedades.
Propiedad 8 Para a; b enteros (no ambos nulos) tenemos (a; b) = (b; a) :
Propiedad 9 Para a; b Z tenemos:
(a; b) = (a; b) = (a; b) = (a; b) = ([a[ ; [b[) :
Esto es consecuencia de las propiedades de divisibilidad. Por ejemplo, los divisores comunes de a y
b; son los divisores comunes de a y b y entonces el mayor de los divisores comunes de a y b; es el
mayor de los divisores comunes de a y b:
Los nmeros enteros A. Duarte & S. Cambronero 12
Propiedad 10 Si a es divisor de b; entonces (a; b) = [a[ : En particular (a; 0) = [a[ :
En efecto, por transitividad tenemos que todo divisor de a es divisor de b; as que los divisores comunes
de a y b son precisamente los divisores de a: Luego, el mayor de ellos es [a[ ; por la propiedad 5 de
divisibilidad.
Propiedad 11 Si a = bq + r; entonces (a; b) = (b; r) :
Para ver esto, note que por la propiedad 6 de divisibilidad, todo divisor de a y b; es divisor de abq = r
y por lo tanto divisor comn de b y r: Recprocamente, todo divisor comn de b y r; es divisor comn
de a y b:
Esta propiedad nos da un algoritmo para hallar el mximo comn divisor de dos nmeros. Primero,
por las propiedades podemos suponer a > b > 0: Si a es mltiplo de b obtenemos (a; b) = b: En caso
contrario, aplicamos el algoritmo de la divisin repetidas veces hasta obtener resto cero, de la siguiente
manera:
a = bq
0
+ r
0
; 0 < r
0
< b
b = r
0
q
1
+ r
1
0 < r
1
< r
0
.
.
.
.
.
.
.
.
.
r
n2
= r
n1
q
n
+ r
n
0 < r
n
_ r
n1
r
n1
= r
n
q
n+1
+ 0;
(3.3)
Note que el resto debe anularse eventualmente, pues b > r
0
> r
1
> : : : _ 0: Por la propiedad 11 se
tiene
(a; b) = (b; r
0
) = (r
0
; r
1
) = = (r
n2
; r
n1
) = (r
n1
; r
n
) = r
n
;
la ltima igualdad por ser r
n
divisor de r
n1
. Entonces (a; b) es el ltimo resto que no es cero.
Ejemplo 3.3.5 Hallar (434; 163)
434 = 163 2 + 108
163 = 108 1 + 55
108 = 55 1 + 53
55 = 53 1 + 2
53 = 2 26 + 1
2 = 1 2 + 0
Entonces (434; 163) = 1:
Ejemplo 3.3.6 Hallar (345; 715) : Primero usamos que (345; 715) = (715; 345) : Luego:
715 = 345 2 + 25
345 = 25 13 + 20
25 = 20 1 + 5
20 = 5 4 + 0
Finalmente (715; 345) = 5:
Los nmeros enteros A. Duarte & S. Cambronero 13
Este mtodo nos permite adems resolver ecuaciones diofnticas. Estas ecuaciones tienen la forma
ax+by = c; donde a; b; c son enteros y se buscan soluciones enteras. Por ejemplo, si queremos resolver
la ecuacin
715x + 345y = 5;
despejamos sucesivamente en el algoritmo del ejemplo anterior para obtener:
5 = 25 20 1 = 25 (345 25 13)
= 25 14 345 = (715 345 2) 14 345
= 715 (14) + 345 (29)
= 715x + 345y;
donde x = 14, y = 29: En general, el mismo procedimiento demuestra que:
Lema 3.3.1 Si d = (a; b), existen x; y Z tales que ax + by = d:
Este lema nos permite demostrar la siguiente caracterizacin del mximo comn divisor:
Lema 3.3.2 El entero d = (a; b) satisface:
1. da y db:
2. Si d
0
Z es tal que d
0
a y d
0
b; entonces d
0
d:
Demostracin
La propiedad 1 se obtiene por denicin. Por otro lado, si d
0
a y d
0
b; entonces d
0
divide a cualquier
entero de la forma ax + by: En particular d
0
d por el lema anterior.
El siguiente resultado es una ampliacin del lema 3.3.1.
Lema 3.3.3 Sean a; b Z no ambos nulos. Entonces la ecuacin ax + by = c tiene soluciones si y
solo si c es mltiplo de d = (a; b) :
Demostracin
Suponga que existen x; y Z tales que ax+by = c: Como d es divisor de a y b; se sigue que es divisor
de ax + by = c:
Recprocamente, si c es mtiplo de d tenemos c = dk; para algn k Z. Por el lema 3.3.1 existen
x
0
; y
0
Z tales que ax
0
+ by
0
= d: Con x = x
0
k, y = y
0
k se obtiene ax + by = c.
Ejemplo 3.3.7 Hallar una solucin x; y de la ecuacin 434x + 163y = 3: Del ejemplo 3.3.5 tenemos
1 = 53 2 26 = 53 (55 53) 26 = 53 27 55 26
= (108 55 1) 27 55 26 = 108 27 55 53
= 108 27 (163 108 1) 53 = 108 80 163 53
= (434 163 2) 80 163 53 = 434 80 + 163 (213) :
Multiplicando por 3; obtenemos que una solucin est dada por x = 240; y = 639:
Los nmeros enteros A. Duarte & S. Cambronero 14
3.3.2. Nmeros primos y primos entre s
Denicin 3.3.2 Dos nmeros enteros a y b se llaman primos entre s (o primos relativos) si (a; b) =
1:
Por ejemplo, 9 y 8 son primos entre s, lo mismo que 11 y 20: De acuerdo con el lema 3.3.3, a y b son
primos relativos si y solo si se puede resolver la ecuacin ax + by = 1: Una aplicacin de este hecho
nos da el siguiente lema.
Lema 3.3.4 Si a y b son primos relativos y si abc; entonces ac:
Demostracin
Dado que existen x; y Z tales que ax + by = 1; tenemos acx + bcy = c: Ahora, como a divide a ac
y, por hiptesis, tambin divide a bc; se sigue que divide a acx + bcy = c:
Denicin 3.3.3 Un nmero natural se llama primo si tiene exactamente dos divisores positivos. En
otras palabras, p N es primo si p > 1 y sus nicos divisores positivos son 1 y p:
Por ejemplo, son primos:
2; 3; 5; 7; 11; 13; 17; 19; 23; 29; 31; 37; 41; 43:
Note que si p es primo entonces
(p; b) =

p si pb
1 si no.
En lo que sigue preparamos la demostracin del teorema fundamental de la aritmtica.
Lema 3.3.5 Todo entero n _ 2 es primo o producto de primos.
Demostracin
Procedemos por induccin completa: Para n = 2 el resultado es cierto, pues es primo.
Asumiendo el resultado para k = 2; 3; : : : ; n; lo demostraremos para n + 1: Hay dos posibilidades:
Si n + 1 es primo, no hay nada que demostrar.
Si n + 1 no es primo, entonces por denicin existe k tal que 2 _ k _ n y k(n + 1): Esto es
n + 1 = kl; donde tambin se tiene 2 _ l _ n (por qu?). Por hiptesis de induccin, k y l son
primos o producto de primos y consecuentemente n + 1 es producto de primos.
Lema 3.3.6 Si p es primo y pbc; entonces pb pc:
Demostracin
En efecto, si p no divide a b entonces (p; b) = 1 y, por el lema 3.3.4, se obtiene pc:
Nota: Si p y q son primos y si pq; entonces p = q: De este hecho y el lema anterior obtenemos el
siguiente:
Lema 3.3.7 Sean p; p
1
; : : : ; p
n
nmeros primos, tales que p es divisor de p
1
p
2
: : : p
n
: Entonces
p = p
i
para algn i 1; : : : ; n :
Los nmeros enteros A. Duarte & S. Cambronero 15
Demostracin
Haremos la demostracin por induccin en n: Para n = 1 tenemos que pp
1
y, como ambos son primos,
obtenemos p = p
1
: Ahora, si el resultado es cierto para n; supongamos que p divide a
p
1
p
2
: : : p
n+1
= (p
1
p
2
: : : p
n
) p
n+1
:
Por el lema anterior tenemos que p (p
1
p
2
: : : p
n
) pp
n+1
:
Si pp
n+1
entonces p = p
n+1
; pues ambos son primos.
Si p (p
1
p
2
: : : p
n
) ; entonces por hiptesis de induccin se sigue que p = p
i
para algn
i 1; : : : ; n :
En cualquier caso obtenemos que p = p
i
para algn i 1; : : : ; n + 1 :
Ahora podemos demostrar el Teorema Fundamental de la Aritmtica.
Teorema 2 Para todo natural n _ 2; existe un natural k _ 1 nico y k primos p
1
; : : : ; p
k
nicos tales
que n = p
1
: : : p
k
y p
1
_ p
2
_ : : : _ p
k
:
Demostracin
Para la existencia usamos induccin completa:
Para n = 2 tome k = 1 y p
1
= 2:
Para el paso inductivo, sea p
1
el menor primo que divide a n; el cual existe por el lema 3.3.5
y el principio del buen orden. Tenemos n = p
1
m; donde m < n: Por hiptesis de induccin
completa, existen l N y q
1
; : : : ; q
l
primos tales m = q
1
: : : q
l
y q
1
_ : : : _ q
l
: Deniendo
k = l + 1, p
2
= q
1
; : : : ; p
l+1
= q
l
; obtenemos
n = p
1
m = p
1
: : : p
k
y p
1
_ p
2
_ : : : _ p
k
:
La unicidad es consecuencia del lema anterior y se deja como ejercicio.
El lema siguiente permite explotar el teorema anterior a la hora de calcular el MCD de dos nmeros
enteros.
Lema 3.3.8 Si m > 0 se tiene (am; bm) = (a; b) m: Si adems m es divisor de a y b, entonces

a
m
;
b
m

=
(a; b)
m
:
Demostracin
Para la primera parte, una forma es multiplicar por m el algoritmo (3.3) para hallar (a; b): Recordemos
que d = (a; b) es el ltimo resto que no es 0: Luego dm es el ltimo resto que no es cero en el algoritmo
aplicado a am y bm; con lo que dm = (am; bm) : Otra forma es usar los lemas 3.3.2 y 3.3.3 (hgalo
como ejercicio).
Para la segunda parte, aplicamos la primera cambiando a por
a
m
y b por
b
m
:
(a; b) =

a
m
m;
b
m
m

=

a
m
;
b
m

m;
Los nmeros enteros A. Duarte & S. Cambronero 16
y luego dividimos a ambos lados por m:
Nota: En particular, si d = (a; b) se tiene:

a
d
;
b
d

= 1:
Note adems que por el lema 3.3.5, (a; b) = 1 si y solo si a y b no tienen divisores primos en comn.
Ejemplo 3.3.8 Observe que 2520 = 2
3
3
2
5 7; mientras que 1950 = 2 3 5
2
13. Entonces
(2520; 1950) = 2 3 5

2
2
3 7; 5 13

= 2 3 5 = 30;
dado que 2
2
3 7 y 5 13 no tienen divisores primos en comn.
Ejemplo 3.3.9 En el caso de 1145 375 = 5
3
7
2
11 17 y 359 975 = 5
2
7 11
2
17, tenemos
(1145 375; 359 975) = 5
2
7 11 17 = 32725:
En general, (m; n) es el producto de los primos que dividen a ambos nmeros m y n; elevados a la
menor potencia con la que aparecen en la descomposicin de m n:
3.3.3. El mnimo comn mltiplo
Sean a; b N

y sea m N

un mltiplo comn de a y b: Tenemos entonces

m = ak = bl; donde k; l N

.
Si d = (a; b) tenemos a = pd; b = qd; donde por el lema 3.3.8 se tiene (p; q) =
(a; b)
d
= 1: Luego
pdk = ak = m = bl = dql;
y por la ley de cancelacin se tiene pk = ql: Entonces q divide a pk y como (p; q) = 1 obtenemos que
qk: Escribamos entonces k = qt: Tenemos
m = ak = aqt =
ab
d
t:
Esto demuestra que todo mltiplo comn de a y b es mltiplo del nmero
[a; b] =
ab
d
= aq = bp:
Entonces [a; b] es el mltiplo comn positivo ms pequeo de a y b y es llamado el mnimo comn
mltiplo de a y b:
En general, para a; b Z

, el menor mltiplo comn positivo de a y b es

[a; b] =
[ab[
d
= [[a[ ; [b[] :
Note que si a y b son primos relativos, entonces [a; b] = [ab[ : A veces se usa la abreviacin MCM para
mnimo comn mltiplo.
Los nmeros enteros A. Duarte & S. Cambronero 17
Ejemplo 3.3.10 Para hallar el MCM de 48 y 360; primero observamos que 48 = 2
4
3; 360 = 2
3
3
2
5;
de donde (48; 360) = 2
3
3 = 24: Luego
[48; 360] =
48 360
24
= 2
4
3
2
5 = 720:
Note que equivalentemente, se toman todos los primos que dividen a 48 360; elevados a la potencia
mayor con la que aparecen.
Ejemplo 3.3.11 Tomando a = 82798848 = 2
8
3
5
11
3
y b = 81 057 226 635 000 = 2
3
3
3
5
4
7
3
11
2
172337
; tenemos que
(a; b) = 2
3
3
3
11
2
= 26 136; [a; b] =
ab
26136
= 256 789 293 979 680 000:
3.3.4. Ejercicios
1. Sean a; b; c Z tales que ab + c y ab c: Demuestre que a2b:
2. Complete los detalles de la demostracin del teorema 2.
3. Para n _ 2 demuestre que el menor divisor de n; mayor que 1; es un primo.
4. Demuestre que para un nmero compuesto n N, el menor divisor primo de n satisface p
2
_ n:
Demuestre que 787 es primo.
5. Use el ejercicio anterior para hallar todos los primos entre 300 y 400:
6. Sean a; b Z no ambos nulos. Demuestre que (a; b) es el menor entero positivo de la forma
ax + by; con x; y Z.
7. Sea f : N N N denida por f(m; n) = 2
m
3
n
: Demuestre que f es inyectiva, pero no
sobreyectiva.
8. Sean a; b N primos relativos.
a) Demuestre que a
2
y b
2
son primos relativos. Recuerde que si un primo divide a a
2
; entonces
tambin divide a a:
b) En general, demuestre que a
k
y b
k
son primos relativos, para k _ 1:
9. Demuestre que existe una cantidad innita de nmeros primos. Sug. Dados p
1
; : : : ; p
n
fueran
todos los primos, demuestre que entonces
N = 1 +
n
Y
i=1
p
i
no tendra divisor primo alguno.
10. Demuestre que:
a) Todo nmero impar tiene la forma 4m + 1 4m + 3.
b) El producto de nmeros de la forma 4m + 1 es de la forma 4m + 1:
Los nmeros enteros A. Duarte & S. Cambronero 18
c) Si p
1
; : : : ; p
k
son primos de la forma 4m + 3; entonces 4p
1
p
k
1 tiene un divisor primo
de la forma 4m + 3; el cual es distinto de p
1
; : : : ; p
k
:
d) Existe una cantidad innita de primos de la forma 4m + 3:
11. Demuestre que:
a) Los primos mayores que 3 tienen la forma 6m + 1 6m + 5.
b) El producto de nmeros de la forma 6m + 1 es de la forma 6m + 1:
c) Si p
1
; : : : ; p
k
son primos de la forma 6m + 5; entonces 6p
1
p
k
1 tiene un divisor primo
de la forma 6m + 5; el cual es distinto de p
1
; : : : ; p
k
:
d) Existe una cantidad innita de primos de la forma 6m + 5:
12. Halle (6188; 4709) de dos formas: usando el algoritmo de la divisin y usando la descomposicin
en factores primos.
13. Para a
1
; : : : ; a
n
enteros, no todos nulos, se dene el mximo comn divisor (a
1
; : : : ; a
n
) ; como
el mayor divisor comn de todos los a
i
: Halle (81719; 52003; 33649; 30107) :
14. Si a; b Z

y m > 0; demuestre que [am; bm] = [a; b] m: Si adems m es divisor comn de a y

b; entonces

a
m
;
b
m

=
[a; b]
m
:
15. Para c ,= 0 demuestre que (ac; bc) = (a; b) [c[ :
16. Si (a; b) = 1 y si a y b son divisores de c; entonces ab es divisor de c:
17. Sean a; b Z

: Demuestre que
a) [a; b] = [b; a] = [a; b] = [a; b]
b) Si a > 0 entonces [a; b] = a =ba
c) [a; b] = (a; b) =[a[ = [b[ :
18. Para a; b; c Z

, demuestre que [[a; b] ; c] = [a; [b; c]] :

19. Halle el MCD y el MCM de las siguientes parejas de nmeros
a) 300 y 396
b) 10780 y 7280
c) 715 y 3215
20. Halle soluciones (x; y) Z
2
si existen, para las siguientes ecuaciones
a) 125x + 80y = 5,
b) 77x + 49y = 11,
c) 39x 52y = 13;
d) 134x + 1256y = 18.
Los nmeros enteros A. Duarte & S. Cambronero 19
21. Si (x
0
; y
0
) es una solucin de la ecuacin Diofntica ax+by = c y g = [a; b] ; demuestre que toda
solucin a esta ecuacin tiene la forma x = x
0

g
a
t; y = y
0
+
g
b
t; con t Z. Use esto para hallar
todas las soluciones en cada una de las ecuaciones del ejercicio anterior.
22. Demuestre que si a un nmero natural de dos cifras, se le resta el nmero que resulta de invertir
el orden de estas, la diferencia es divisible por 9:
23. Demuestre que si a un nmero natural de tres cifras, se le resta el nmero que resulta de invertir
el orden de estas, entonces la diferencia es divisible por 99:
24. Demuestre que si a un nmero natural de cuatro cifras se le resta el nmero que resulta de
invertir el orden de estas, la diferencia es divisible por 999 si y solo si las dos cifras intermedias
son iguales.
25. Sea n un nmero natural y sea m el nmero que resulta de invertir el orden de todas las cifras
de n en base b: Demuestre que n m es divisible por b 1:
26. Encuentre todos los naturales n tales que n
2
+ 1 sea mltiplo de n + 1:
27. Demuestre que la suma de los cuadrados de tres nmeros enteros impares consecutivos, aumen-
tada en 1; es divisible por 12 pero no por 24:
28. En Z se dene la relacin por:
nm =n m es mltiplo de p;
donde p es un entero, p _ 2:
a. Demuestre que esta es una relacin de equivalencia.
b. Demuestre que Z
p
= Z= tiene exactamente p elementos.
c. En Z
p
se denen las operaciones por
[n] + [m] = [n + m] ; [n] [m] = [n m] :
Demuestre que estn bien denidas.
d. Demuestre que Z
p
es un anillo conmutativo con unidad.
a) Demuestre que Z
p
es un campo si y solo si p es primo.