Introduccin al algebra superior

Unidad 2
Actividad 4. Divisibilidad y congruencia
Apoyndote en las fuentes de consulta de la unidad, responde las preguntas
siguientes.
1. Sean a,b Z con a 0, enuncie formalmente qu signica a|b.
En el tema de la divisibilidad significa que a es factor de b.
Se dice que a divide a b o que a es factor de b en Z tal que b=ac. En
este caso se dice que b es mltiplo de a o que b es divisible por a.
2.como parte del tema de divisibilidad y congruencia se pide Demostrar
Para toda a, b, c Z
a) 1|a y a|0 entonces 1|0
Si 1|a a|0 a = k11 0 = k2a, con k1, k2 Z. Luego sustituimos el valor de la
incgnita a en la segunda expresin y obtenemos que 0 = k 2(k11) y ya que el
producto de dos constantes k1 y k2 es otra constante, por lo tanto 1|0

b) [(a|b) y (b|a)] a = +b
Si a|b b|a a = k1b b = k2a, con k1, k2 Z.
Luego sustituimos el valor de a en la segunda expresin y obtenemos que b = k 2
k1b entonces por la propiedad de identidad tenemos que |k2(k1)|=1
Por lo tanto [(a|b) y (b|a)] a = +b

c) (a|b) a|bx para todo x Z

Ya que la definicin de la expresin es que a es factor de b, encontramos la
expresin b= ax donde x representa a la constante que multiplica a la incognita a y
pertentece a nmeros enteros

d) Si x = y + z, para algunos x, y, z Z y a divide a dos de los tres enteros x, y, z,

entonces a divide al entero restante
Tenemos que (a|x a|y) x = k1a y = k2a, con k1, k2 Z. Luego sustituimos en
la ecuacin k1a = k2a + z, despejamos z z= k 1a- k2a y factorizamos z=a(k1- k2),
por lo tanto a|z

e) [(a|b) y (a|c)] a|(bx + cy), para todo x,y Z. La expresin bx + cy es llamada

combinacin lineal de b,c.
Si a|b a|c b = k1a c = k2a, con k1, k2 Z. enteros
Mediante el mtodo regresivo sustituimos a y b en la expresin bx + cy y
factorizamos
bx+cy = k1a x+c k2ay bx+cy =a(k1 x+ k2y) =a k3 a|(bx + cy),

f) Para 1 i n, sea ci Z. Si a divide a cada ci entonces a|(c1x1 + c2x2 + +

cnxn), donde xi Z para todo 1 i n.
Factorizamos la expresin a|(c1x1 + c2x2 + + cnxn) y obtenemos a|[c (1x1 + 2x2
+ + nxn)] = a|ci donde i= 1x1 + 2x2 + + nxn

3. Existen enteros x,y,z (positivos, negativos o cero) tales que 6x + 9y + 15z =

107? Justique.
Del enunciado se concluye que 3|6, 3|9 y 3|15 esto implica que 3|107 lo que
evidentemente es falso, por lo que no existen enteros x, y y z que cumplan con los
requisitos de la ecuacin.

4. Sean a, b Z tales que 2a + 3b es un mltiplo de 17. (Por ejemplo, podramos

tener a = 7,b = 1 o a = 4,b = 3.) Demuestre que 17 divide a 9a + 5b.
Dado que 17|(2a+3b) entonces 17|(-4)(2a+3b) y tambin se sabe que 17|
(17a+17b), si sumamos tenemos 17|[(-8a-12b)+( 17a+17b)]= 17|(9a + 5b)

5. Enuncie el Teorema del Algoritmo de la divisin.

Sean a, b Z, > 0. Entonces: Existen enteros y tales que = + con 0
< , y son nicos, a y a se les denomina cociente y residuo
respectivamente de la divisin de entre .
6. Aplicando el Teorema anterior, escriba el cociente y el residuo de las siguientes
divisiones donde a es el dividendo y b el divisor:
a) a = 170, b = 11
170/11; 170=11q+r donde q=15 y r=5, 170=15(11)+5 en que 0 5 < 11
b) a = 98,b = 7
98/7; 98=7q+r donde q=14 y r=0, 98=7(14)+0 en que 0 0 < 7

c) a = 45,b = 8
-45/8; -45=8q+r donde q=-6 y r=3, -45=8(-6)+3 en que 0 3 < 8

7. Encuentre el mcd (mximo comn divisor) de 250 y 111 y exprese el resultado

como una combinacin lineal de los mismos.
El mximo comn divisor es 1
250=2(111)+28

0 28 < 111

111=3(28)+27

0 22 < 28

28=1(27)+1

0 1 < 27

27=27(1)+0
Algoritmo de Euclides

250

2
111
28

3
28
27

1
27
1

27
1
0

8. Demuestre que la congruencia mdulo m es una relacin de equivalencia.

m Z , m 1; ademsa ,b Z son congruentes modulo m m( ab ) , es decir , a b ( mod m ) ; mes modulo de l

para todo a Z se tiene que [ a ] =[ r ] en Z m ,
donde r es elresto de dividir a entre m .

Asi , el conjunto Z m es finito

y tiene melementos : Z m={[ 0 ]m , [ 1 ]m , , [ m1 ] m } , en que [ i ]m
representa al conjunto de los enteros congruentes con imod m .