DIVISIBILIDAD EN (Z,+,,)

DEFINICIN Dados a y b enteros ,

b Z+

a b r q

a = bq + r 0r<b

Teorema
a, b Z H) b>0
1) q, r Z ; a = bq + r 0 r < b T) 2) q y r son nicos

Dem1): Consideramos M = {m N ; m = a bx con x Z } i) M N Lo cual es cierto por la definicin dada del conjunto M. ii) M Para demostrar esta proposicin discutiremos dos casos. Si a 0 Tomando x=0 tenemos que m = a bx = a b0 = a M Si a <0 a > 0 como b>0 aplicando Arqumedes tenemos que n N ; nb > a nb < a Llamando x = n entonces xb<a a bx N a bx M
i) mn M ,min M = r ii)

Aplicando buena ordenacin de

r = min M r M r N q Z ; r = a bq a = bq + r Falta demostrar 0 r < b . Como r N r 0 ; por lo tanto lo que nos falta probar es que r < b lo que haremos por absurdo. Supongamos que r b a bq b a b + bq = b(1 + q ) a b(1 + q ) N k = a b(1 + q ) M Pero k < r = a bq = min M Lo cual es contradictorio. Por lo tanto r < b . La demostracin de la unicidad queda a cargo del lector.
Nota: Puede definirse la divisin entera para cualquier entero b no nulo ( no solamente para los positivos ) sustituyendo la segunda condicin por: 0 r < b
Ejemplos 12 -5 2 -2

- 12 3

-5 3

-12 3

5 -3

En caso de que r=0 la divisin se dice exacta, tambin que a es divisible entre b, que b divide a, que a es mltiplo de b. (Anotamos b/a a = b )

Independizando la definicin de divisores (mltiplos) de la divisin entera tenemos:

b/a ( a = b ) q Z ; a = bq

El lector habr observado que no solamente utilizamos la misma notacin sino tambin la misma definicin que en naturales. De manera anloga se demuestra que:
x / a x / b x / a + b , Z

En ( N ,+,, ) vimos que: a / b b / a a = b Ocurrir lo mismo en ( Z,+,, ) ? Teorema

a, b Z a/b b/a a = b

Dem. ()
a / b h Z ; b = ah b = a . h a / b b / a k Z ; a = bk a = b . k b / a a = b como a , b Z a , b N
()

a = (1).b b / a a = b a =b b = (1).a a / b

Definicin
a , b Z * Decimos que a y b son

asociados a / b b / a

Como consecuencia del teorema anterior los asociados de a son nicamente el propio a y su opuesto a . En los naturales el nico asociado de a es el propio a.

Definicin
Sean a, b Z ; a 2 + b 2 0 Decimos que D es mximo comn divisor de a y b si y solo si: i) D / a D / b

ii)

x Z ; x / a x / b x / D

Existencia del mximo comn divisor de nmeros enteros

TEOREMA

H) a, b Z a2 +b2 0

T) Existe D Z; D/a D/b x Z, x/a x/b x/D Demostracin: Sea I = {xZ; x = pa + sb, siendo p, s Z} Si p = 1, s = 0, se demuestra que a I Si p = - 1, s = 0, se demuestra que a I Si p = 0, s = 1, se demuestra que b I Si p = 0, s = -1, se demuestra que b I Considero el conjunto IZ+ y usando el principio de buena ordenacin voy a demostrar que tiene mnimo 1) IZ+ N porque IZ+ Z+ N 2) IZ+ porque si a 0, a - a Z+ y ambos pertenecen a I. (Si a =0, b 0) De 1 y 2, por el principio de buena ordenacin, existe D = mn(IZ+ ) Ahora debo demostrar que D cumple las condiciones de la tesis. D Z, por definicin de D, D IZ+ y Z+ Z Para demostrar que D/a, considero la divisin entera a D r q
a = D.q

+ r , 0 r < D (D > 0)

r = a Dq y como D I, existen enteros p0 y s0 tales que D = p0.a + s0.b, r = a (p0.a + s0.b)q = (1- qp0).a + qs0.b, por lo tanto r es una combinacin lineal de a y b, entonces r I, y r < D = mn(IZ+ ) r IZ+ r Z+ r = 0, por lo tanto D/ a Anlogamente se demuestra que D/b Por ltimo x Z, x/a x/b x/ CL de a y b y como D I, D es una CL de a y b. Nota En el teorema anterior demostramos que existe D = MCD(a, b) siendo a, b Z ; a 2 + b 2 0 pero veremos a continuacin que no es nico. Si D Z es mximo comn divisor de a y b
(1) D/a D/b x Z ; x / a x / b x / D
D' / a D' / b (3)

( 2)

Si D Z es mximo comn divisor de a y b x Z ; x / a x / b x / D' De (1) y (4) se deduce que D / D' Y a partir de (2) y (3) D' / D

(4)

Por lo tanto si a y b admiten dos mximos comn divisor D y D estos son asociados (D= - D). Adems podemos afirmar que los mximos comn divisor de dos enteros a y b siempre pueden escribirse como combinacin lineal de a y b.

Definicin Sean a y b dos enteros no nulos. Decimos que m (m Z) es mnimo comn mltiplo de a y b si y solo si cumple:
i) m = a m = b ii) x Z ; x = a x = b

x=m

Existencia del mnimo comn mltiplo de nmeros enteros Teorema

H) a , b Z
*

i) m = a m = b T) m Z tal que ii) x Z ; x = a x = b x = m

Sea H = {x Z / x = a y x = b } ( H Z + ) N y ( ab H -ab H ) H Z + Entonces por buena ordenacin existe el mnimo de H Z + y lo denominamos m Como m es el mnimo de H Z + , m H entonces m = a y m = b Para justificar que x Z, x = a y x = b x = m Si divido x m r q como 0 r < m

Suponiendo 0< r resulta que x = m q +r como x = b y x = a y m tambin entonces r = a y r = b por lo que r H y r 0 r H Z + lo que es absurdo pues r < m, as que r = 0 y eso prueba que x es mltiplo de m

Probar que si a y b son dos enteros no nulos aceptan dos y solo dos m.c.m. y que adems son asociados entre si.

Definicin 1) a , b Z decimos que a y b son primos entre si 1 es M.C.D. de a y b. 2) p Z p 0 , p 1 decimos que p es primo d (p) = {1,1, p,p } Teorema de Euclides
c / a.b c/b a y c primos entre si

Dem. Como a y c son primos entre si 1 es M.C.D. de a y c p, s Z ; 1 = pa + sc multiplicando ambos miembros por b tenemos que: b = pba + sbc Por hiptesis c/ab y por definicin c/c ; entonces c / pba + scb y como pba+sbc=b c / b
Corolario
1)

a y b primos entre si a.b / c a/c b/c

2)

p Z p primo p/a p/b p / ab

Demostracin a cargo del lector.

Ejercicios Demostrar:
a b
1-

r q D es M.C.D. de b y r D es M.C.D. de a y b

2- Que el procedimiento identificado en divisibilidad en ( N,+,, ) como algoritmo de Euclides tambin es vlido en ( Z,+,, ) 3- D = max d (a ) d(b) D es M.C.D. de a y b. Es cierto el recproco? Ocurre algo similar con el m.c.m.? 4- D es M.C.D de a y b Dx es M.C.D. de ax y bx
D es M.C.D. de a y b 5x/a x/b D a b es M.C.D. de y x x x

 a = Da ' 6- D es M.C.D. de a y b b = Db' a ' y b' primos entre si

7- D es M.C.D. de a y b D es M.C.D. de a y b 8- m es m.c.m. de a y b

m es m.c.m. de a y b m es m.c.m. de a y b

D es M.C.D. de a y b

9- Si D es M.C.D. de a ,b y m es m.c.m. de a,b

m.D = a.b

10- Todo entero compuesto puede expresarse como el producto de (1) por factores primos positivos. Esta expresin es nica, salvo el orden en que los factores se consideren. (sic. lgebra moderna- Birkhoff Mc. Lane)