(OPOSICIONES DE SECUNDARIA)
TEMA 4
NMEROS ENTEROS. DIVISILIBIDAD. NMEROS PRIMOS.
CONGRUENCIA.
1. Introduccin.
2. Los Nmeros Enteros.
2.1. Construccin de 9.
2.2. El Grupo Aditivo de los Nmeros Enteros.
2.3. El Semigrupo Multiplicativo de los Nmeros Enteros.
2.4. El Anillo de los Nmeros Enteros.
2.5. Ideales en el Anillo de los Nmeros Enteros.
3. Divisibilidad.
3.1. Divisibilidad de Nmeros Enteros.
3.2. Divisibilidad en el Anillo de los Nmeros Enteros.
3.3. Mximo Comn Divisor y Mnimo Comn Mltiplo.
4. Nmeros Primos.
5. Congruencias.
6. Criterios de Divisibilidad.
Bibliografa Recomendada.
1/3
5
TEMA 4
NMEROS ENTEROS. DIVISILIBIDAD. NMEROS PRIMOS. CONGRUENCIA.
1. INTRODUCCIN.
Este tema se divide en cinco partes fundamentales. La primera parte son Los
Nmeros Enteros. Comenzaremos definiendo el conjunto de los nmeros enteros.
Definiremos en l la operacin de suma, que lo convertir en grupo abeliano. Luego la
operacin producto, constituyendo un grupo multiplicativo abeliano con elemento
unidad. Ambas operaciones nos crearn el anillo de los nmeros enteros. Y al final
trataremos de los ideales en el anillo, que se caracterizan por ser subconjuntos formados
por los mltiplos de un nmero entero.
La segunda parte es la Divisibilidad. La divisibilidad en el anillo de los nmeros
enteros se define de forma precisa en trminos de ideales. Por ltimo veremos la
existencia y unicidad del Mximo Comn Divisor y Mnimo Comn Mltiplo.
En la tercera parte definiremos los nmeros primos y veremos sus propiedades. Aqu
hemos de resaltar el teorema fundamental de la aritmtica.
En la cuarta parte trataremos con congruencias y en la ltima veremos los criterios
de divisibilidad ms importantes.
2. LOS NMEROS ENTEROS.
En el tema 1 definimos el conjunto de los nmeros naturales, el cual tiene estructura
de Semianillo conmutativo. Ahora tenemos que ampliar dicho conjunto. El motivo es
que ecuaciones del tipo x+m=n donde se verifica que m>n no tendran solucin. Por
tanto, hemos de construir un nuevo conjunto en el cual esas ecuaciones siempre tengan
solucin. Ese conjunto ha de estar dotado de una operacin interna (suma) que sea
extensin de la operacin interna de y que verifique que todo elemento tiene
simtrico.
2.1. Construccin de 9.
DEF Sea el conjunto x={(a,b) / a, b}. Sobre este conjunto definimos la
relacin R
(a,b)R(c,d) a+d = b+c
PROP La relacin R es una relacin de equivalencia.
Dem.
Para que R sea una relacin de equivalencia, debe verificar las propiedades
reflexiva, simtrica y transitiva.
a) Reflexiva. a+b=b+aya que es conmutativo (a,b)R(a,b)
2/3
5
a+f=b+e (a,b)R(e,f)
3/3
5
3) a=b
Se verifica que (a,b)R(0,0). Todos los elementos de [(0,0)] son de la forma
[(0,0)]={(a,a) / a}.
Al representante de [(0,0)] lo denotaremos con el smbolo 0.
+
n-{0} [(n,0)]9 9
2.2. El Grupo Aditivo de los Nmeros Enteros.
Vamos a definir en 9 la suma para dotarlo de estructura de grupo.
DEF
2)
3)
4)
[(a,b)]
es
y por tanto
y ambos elementos son el mismo.
5/
35
[(a,b)(c,d)]=[(a,b)(c,d)]
(c,d)R(c,d)
((a,b)(c,d))R((a,b)(c,d))
ac+bd+ad+bc = ad+bc+ac+bd
(a,b)(c,d) R (a,b)(c,d)
que era lo que queramos comprobar.
PROP La multiplicacin de nmeros enteros cumple las siguientes propiedades:
1) Asociativa:
m,n,p9
(mn)p=m(np)
2) Conmutativa:
m,n9
mn=nm
3) Elemento Neutro:
e9 m9
Dem.
Sea m un representante de la clase [(a,b)], n de [(c,d)], p de [(e,f)] y e de [(e1,e2)]
1) (mn)p = ([(a,b)][(c,d)])[(e,f)] = [(ac+bd , ad+bc)][(e,f)] =
2)
1=
[((ac+bd)e+(ad+bc)f , (ac+bd)f+(ad+bc)e)] =
2=
[(ace+bde+adf+bcf , acf+bdf+ade+bce)] =
3=
[(a(ce+df)+b(de+cf) , a(cf+de)+b(df+ce))]
4=
ae1 be2 a
me=m [(a,b)][(e1,e2)]=[(a,b)]
ae2 be1 b
Para resolver el sistema de ecuaciones multiplicamos la primera por a y la segunda
por b
1 a2e1 abe2 a2
abe2 b2e1 b2
2
e=[(1,0)]=19
Por conmutatividad
me=em
m9m0=0
Dem:
A demostrar por el lector
OBS Teniendo en cuenta la definicin que hemos dado de nmeros enteros (tanto
positivos como negativos) y la definicin de producto, podemos obtener la Regla de los
Signos:
1) +m+n=[(m,0)][(n,0)]=[(mn,0)]=+(mn)
2) +m(-n)=[(m,0)][(0,n)]=[(0,mn)]= (mn)
3) -m+n=[(0,m)][(n,0)]=[(0,mn)]= (mn)
4) -m(-n)=[(0,m)][(0,n)]=[(mn,0)]=+(mn)
PROP Propiedad distributiva del producto respecto de la suma:
m, n, p 9 1) m(n+p)=mn+mp (por la izq.)
2) (m+n) p=mp+np (por la der.)
Dem
Como ambas demostraciones son anlogas, slo haremos una:
1) Sea m un representante de la clase [(a,b)], n de la clase [(c,d)] y p de [(e,f)]
m(n+p)=[(a,b)]([(c,d)]+[(e,f)])=[(a,b)][(c+e,d+f)]=
=[(a(c+e)+b(d+f), a(d+f)+b(c+e)]=[(ac+ae+bd+bf, ad+af+bc+be)]=
=[(ac+bd+ae+bf, ad+bc+af+be)]=[(ac+bd, ad+bc)]+[(ae+bf, af+be)]=
=[(a,b)][(c,d)]+[(a,b)][(e,f)]= mn+mp
PROP El conjunto 9, con las operaciones de suma y producto definidas es una
extensin de , con sus dos operaciones de suma y producto.
Dem
Definamos la aplicacin f: 9 con f(n)=+n
Es fcil comprobar que: f(m+n)=f(m)+f(n)
9/3
5
y f(mn)=f(m)f(n)
m,n
ab=a(b+0)=ab+a0
0=a0
0=0a
(-a)b=-(ab)
PROP a9 (-a)(-b)=ab
2.5 Ideales en el Anillo de los Nmeros Enteros.
Sabemos que 9 es un anillo conmutativo unitario y adems es un dominio de
integridad, ya que no posee divisores de cero.
Vamos a definir ahora el concepto de ideal.
10/
35
DEF
I(m)
con r<m
Falso
luego 0<r<m
rI
Los ideales (0) y (1) se llaman ideales impropios. Los restantes, si existen, se
llaman ideales propios.
DEF Sea I un ideal. Diremos que I es un ideal principal si est engendrado por un solo
elemento.
COROLARIO Todo ideal de 9 es un ideal principal.
DEF (a) es un subideal de (b) si (a)(b)
Con los ideales de 9 podemos definir las operaciones de suma e interseccin de
ideales, dando como resultado un nuevo ideal.
PROP 1) (a)+(b)=p9 / p=m+n, m(a), n(b) es un ideal
2) (a)(b)=p9 / z(a) y z(b) es un ideal
Dem
1) Sean m,n(a)+(b) m=a1+b1 y n=a2+b2 con
a1,a2(a) y b1,b2(b)
m-n=(a1+b1)-(a2+b2)=(a1-a2)+(b1-b2)
Como: a1-a2(a) y b1-b2(b) por ser (a) y (b) ideales se verifica que:
m-n(a)+(b)
(1)
ca1(a) y cb1(b)
c.n(a)+(b)
(2)
(1)
13/
35
3. DIVISIBILIDAD.
3.1. Divisibilidad de Nmeros Enteros.
DEF Sean a,b9, diremos que a divide a b o a es un divisor de b b es un
mltiplo de a y lo denotaremos por ser a/b b= a si:
c9 b=ac
OBS
a9
2) a/0
a9
Si b/c n2 c=bn2
a=a(n1n2)=0 a(1n1n2)=0
a=b a=b
Diremos que dos nmeros enteros, a y b, son asociados si verifican a/b y b/a.
OBS
Simtrica:
Transitiva:
ab a/b y b/a
bc b/c y c/b
ac
define clases de
equivalencia
donde y 9 es el
conjunto cociente.
Si: estamos en condiciones de
a0 generalizar la relacin de
divisibilidad definida en 9 al
conjunto 9
a
=a,
-a DEF Dados a, b 9,
diremos que a divide a b si
c9 tal que b = a c
Ya
la denotaremos a
La relacin de equivalencia ser
asociados a9 subclase de equivalencia
=
a
u
Si: a=0
0
=0
15/ 35
1)
2)
son equivalentes
Dem
1)
2)
2) 1)
Si a/b (b)(a) b(a) c9 b=ac por ser 9 un anillo principal.
PROP Dados a,b9, son asociados (a)=(b)
Dem
a/b
(b) (a)
(b)=(a)
(a) (b) ab a
b/a y b son
(a)=(b)
asociados.
(b) (a)
a/b
OBS Un ideal en 9 est engendrado por un elemento o por su opuesto (son los que
pertenecen a la misma clase segn la relacin de equivalencia ser asociado).
DEF
1) a/b con n
2) a/b
3) a/b
4) b0 ab
Dem
1) Como a/b n1 b=an1
n=1
trivial
como a/b
k-1
k-1
k-1
nk-1 b
k
b =b.b
Sea: nk= an1nk-19
2) Si b0 a/b por hiptesis
k-1
=ank-1
=an1ank-1
k
b =ank a/n
17/
35
a/b
3) y 4) Son anlogas.
3.3. Mximo Comn Divisor y Mnimo Comn Mltiplo.
DEF Sean a,b9. Llamaremos Mximo Comn Divisor de a y b a d9 verificando
las siguientes condiciones:
1) d/a y d/b
2) s9 s/a y s/b s/d
OBS
a (d) a d n1 d/a
b (d) b d n 2 d/b
s/a a=sm1
s/b b=sm2
como (a)+(b)=(d) d=an1+bn2=sm1n1+sm2 n2 d=s(m1n1+m2 n2) s/d
18/
35
Como d=m.c.d(a,b) d/a y d/b a(d) y b(d) (a)(d) y (b)(d)
(a)+(b)(d)
Para ver la inclusin al contrario:
como la suma de ideales es un nuevo ideal y en 9 los ideales son todos principales
s9 (a)+(b)=(s)
(a)+(b)=(d)=(d)
d (d' )
d d1 d'
d' (d)
d' d2 d
d=d1d2d
Dem
ExistenciaSean a,b9 con b>0
Construimos el conjunto S={a-bn / n9 y a-bn es un nmero Natural}
Es fcil comprobar que S no es vaco:
Si a=0
tomando n=-1
Si a0
tomando n=-a
a-b(-1)0
2
a-b(-a )=a+b.a 0
con r0.
r-b0
y
r-b<b ya que b>0
Pero sabemos que r=min S luego eso es imposible. Por tanto la
suposicin es falsa y r<b
Unicidad
Supongamos que existen q,r,q,r9 tales que a=b.q+r=b.q+r con 0r<b y
0r<b. Supongamos rr
Entonces tenemos que : b(q'-q) r - r'
pero como
y si q-q=0 r-r=0
q-q=0
r - r' b
y se obtiene que q=q y r=r.
DEF Dados a,b9, diremos que a y b son coprimos (o sea, son primos entre s) si
mcd(a,b)=1.
PROP Si mcd(a,b)=d para a,b9
mcd
a b 1
,
d d
Dem
Si mcd(a,b)=d d/a d/b
20/
35
,9 d=a+b
(1)
y como (1)
(1)
mcd d d
Si a/bc y
Teorema de EUCLIDES.
a b
(1)
mcd(a,b)=1 a/c
Dem
Como mcd(a,b)=1. Por el teorema de Bezout ,9 1=a+b
Al multiplicar la expresin por c c=ac+bc
aa
a ac
a ac bc a/c
Por hiptesis a bc a bc
DEF Sean a,b9. Llamaremos Mnimo Comn Mltiplo de a y b a m9 si se
verifican las siguientes condiciones:
1) a/m y b/m
2) n9 tal que a(n y b/n m/n
OBS
21/ 35
1) Como (a)(b)=(m)
a/m
n (a)
(n) (a)
Como b/n
(n)(a)(b)=(m)
Como m=mcm(a,b)
m(a) y m(b)
(m)(a)(b)
Veamos la inclusin al revs.
Como la interseccin de ideales es un nuevo ideal y en 9 todos los ideales son
principales, supongamos que t9.
(t) (a) t (a) a t
(a)(b)=(t)
(t) (b) t (b) b t
mcm(a,b)=b
Dem
mcm
a b
,
c c
m
c
Anloga a la anterior.
Veamos ahora la relacin que existe entre el mcd y el mcm de dos nmeros enteros.
22/
35
Teorema
Dados a,b9 mcd(a,b)mcm(a,b)=ab
Dem
Sea mcd(a,b)=d y mcm(a,b)=m
a a'.d
d/a
Si mcd(a,b)=d
mcd
verificando
b b'.d
d/b
que es lo mismo que mcd(a,b)=1
Si
a a'd.b'
b a'd.b'
a b
,
d d
y como
ad.r=bd.s ar=bs
Por tanto
k=b.s=b.at=bd.at k/bd.a
mcm(a,b)=d.ab
Dem
a,b son coprimos mcd(a,b)=1 mcm(a,b)=a.b
Vamos a ver ahora un teorema que nos va ha dar un mtodo prctico para calcular el
mcd de dos nmeros y, aplicando el teorema anterior, podremos calcular a su vez, el
mcm. Consiste en las divisiones sucesivas.
Teorema del Algoritmo de EUCLIDES.
Si r es el resto de la divisin entera de a por b, entonces mcd(a,b)=mcd(b,r)
Dem
23/ 35
q2,r2
DEF
OBS Los nmeros -1,0,19 no son nmeros primos ni son nmeros compuestos.
Veamos algunas propiedades de los Nmeros Primos.
PROP Sea p9 un nmero primo. Si p/a mcd(p,a)=p
Dem
Vamos a suponer que p>0 ya que no afecta.
Sea mcd(a,p)=d d es el mayor de los divisores comunes a a y p.
d/a por ser p primo d{1,-1,p,-p}
Como p/a tenemos que todos los divisores de p son divisores de a. Luego todos
los divisores de p y de a son {-1,1,-p,p}.
24/
35
c9 q=pi c
pi c=p1 p2pn+1
Entonces:
p1 p2 ... pn 1
pi
pi
c=
= p1pi-1pi+1 pn+ 1
pi
=c-p1pi-1pi+1 pn9
pi
pi/1 con pi primo, lo que es una contradiccin
q es primo
Dado un nmero entero, para comprobar si es nmero primo sin tener que realizar
la criba de Erasttenes, basta con comprobar si es divisible por los primeros nmeros
primos (2,3,5,7,) hasta que se llegue a un nmero cuadrado sea superior al propio
nmero dado.
Teorema
Dem
q/p
Sea u{-1,1}
q u (q) (u)
u p (p) (q)
Entonces (p) es ideal maximal al verificar las dos condiciones de la definicin.
Si (q)=9 q=u
(p)(u) u/p
entonces p es slo divisible por
p es primo
las unidades o por sus asociados
n
Ahora vamos a ver un resultado que nos va a permitir decir que todo nmero
compuesto admite una descomposicin en factores primarios y que dos
descomposiciones del mismo nmero son iguales salvo en el signo de los factores.
Si traducimos esto a ideales, es lo mismo que decir que todo ideal propio de 9
admite una descomposicin como interseccin finita de ideales primarios.
2
m=p1.p2.n2
m= p1.p2.p3.pn=q1.q2.q3.qk.
n<k
qn+1 qk=1
Luego:
qn+1qk=-1
con u{1,-1} y
j{n+1,,k}
y pi=qi.ui i:1nc.q.d.
COROLARIO
Si en la descomposicin de un nmero compuesto aparecen varios nmeros primos
repetidos, se pueden asociar y el nmero se escribe as:
a
Dem
Dado m9 nmero compuesto, como la descomposicin es nica, si ordenamos
los nmeros primos de menor a mayor, tenemos:
m p1..a1..p1.p2 ..a2..p2 ......pn ..an..pn p1a1 .pa22 .....pann
COROLARIO
Todo nmero compuesto se puede descomponer de manera nica como producto de
nmeros primos.
Dem
Igual que la demostracin anterior.
COROLARIO
Todo ideal propio de 9 se puede poner como interseccin finita de ideales primarios
28/
35
Dem
Dado m9 y aplicando el corolario anterior: m p1a1 .pa22 .....pann
Es evidente que
mcd(p 1a1 .pa22 .....pann ) mcm(p 1a1 .pa22 .....pann ) p1a1 .pa22 .....pann
mcm(p 1a1 .pa22 .....pann ) m
(m)= p1a1
Para ver que ab(mod n) basta comprobar que a-b(n)
q1,r9 a=q1.n+r0r<n
Por hiptesis
q29 b=q2.n+r
a-b=n(q1-q2) a-b(n)c.q.d.
i)
a a' (mod n)
n a - a'
n (a - a') (b - b')
b b' (mod n)
n b - b'
n (a b) (a'b' ) a+ba+b (mod n)
30/
35
ii)
a a' (mod n)
b b' (mod n)
n a - a'
n b - b'
n b.(a - a')
n a.(b - b' )
COROLARIO
Sean a,b,c,n9 con n>0. Se verifica:
1) ab(mod n)
c9 a+cb+c (mod n)
2) ab(mod n)
c9 acbc (mod n)
Dem
1)
c9 se verifica n/c-c
Aplicando
i) de la proposicin anterior a
a c b c(mod n)
a+cb+c(mod n)
c9
c c(mod n)
i) de la proposicin anterior a
a c b c(mod n)
2) c9 cc(mod n)
Aplicando
ab(mod n)
- c c(mod n)
ii) de la proposicin anterior a:
a b(mod n)
c c(mod n)
a.cb.c(mod n)
Dem
c y n son coprimos mcd(c,n)=1
aplicando el teorema de Bezaut
,9 1=.c+.n
b b(mod n)
De
De
1c(mod
n)
y
1c(mod
n)
y
a.c
b.c(mod
Por
hiptesis n)
como
Z
aa(mod n)
aca(mod
obtenemos
n)
bb(mod n)
bcb(mod
obtenemos
n)
acbc(m
od n)
(mod
n)
b cb (mod n) ab(mod n)
ca cb(mod n)
PROP Sean a,b,k,n9 con n>0.
a b mod (kn)
k0
ab(mod n)
Dem
ab(mod kn) kn/a-b
c9 a-b=ckn a-b=(c.k).n
n/a-b ab(mod n)
Anlogamente
ab(mod k)
6. CRITERIOS DE DIVISIBILIDAD.
Antes de poder tratar los criterios de divisibilidad, hemos de obtener unos resultados
previos,
DEF Sea p un nmero entero estrictamente positivo. Llamaremos restos potenciales de
p, mdulo n a los deferentes restos que se obtienen al dividir las sucesivas potencias de
p por n.
3 1 (mod 10)
1
3 3 (mod 10)
2
3 9 (mod 10)
4
3 7 (mod 10)
A partir de esta definicin podemos obtener las siguientes consecuencias:
1) El primero de los restos r0 es siempre r0=1
0
p rk(mod n)
k+1
PROP Sea
0 r0
... ak rk (mod n)
33/
35
Demostracin anloga.
Vamos a aplicar todo lo visto al sistema decimal, es decir: p=10
En la tabla siguiente aparecen los restos potenciales de 10 respecto de los mdulos
2,3,4,5,8,9 y 11.
n\ri
2
3
4
5
8
9
11
r0
1
1
1
1
1
1
1
r1
0
1
2
0
2
1
10
r2
0
1
0
0
4
1
1
r3
0
1
0
0
0
1
10
r4
0
1
0
0
0
1
1
r5
0
1
0
0
0
1
10
r6
0
1
0
0
0
1
1
m=a0+a1.10+a2.100+.+ak.10
BIBLIOGRAFA RECOMENDADA.
Anlisis Matemtico I. Aut. J.A. Fernndez Via. Ed. Tecnos
Curso de lgebra y Geometra. Aut. Juan de Burgos. Ed. Alhambra.
Algebra Moderna. Aut. A. Lentn, J. Rivaud, Ed. Aguilar.
35/
35