APUNTES PARA UN CURSO DE

TEORA DE NMEROS









Jat-edacc|a:: :t-acta-a de


Las propiedades de los nmeros enteros, que desarrollaremos en este tema,
devienen de la estructura de anillo conmutativo, totalmente ordenado y
arquimedeano que tiene
En estas primeras lneas aclararemos el significado de la expresin
es un anillo conmutativo, totalmente ordenado y arquimedeano
Para ello, consideremos de inicio:
= 0, 1, -1, 2, -2, ...
+ y , operaciones definidas en
A, relacin de orden en
A es un grupo conmutativo totalmente ordenado
significa
11 , ) es un grupo conmutativo Es decir:
+ es asociativa
tiene elemento neutro (el cero) para +
2


%odo elemento x de tiene opuesto (-x) para +, tal que,
x+(-x) = 0 = -x + x
+ es conmutativa
1 , ) A es un conjunto totalmente ordenado, es decir,
) ) Z Z x A y o, bien, y A x
1 ) ) ) : x A y x + z A y + z

e
s
A es un n anillo conmutativo
significa:
1 , ) es un grupo conmutativo
es asociativa
es conmutativa
distribuye +
El anillo , , ) satisface las reglas de los signos:
Si aZ y bZ
Entonces (i) (-a)b = -(ab) = a(-b)
(ii) (-a)(-b) = ab




Una parte no vaca S de es un sub grupo de
ssi
S es grupo para la ley inducida sobre S por la ley + de
$ubgrupo de :
3


A , , , ) es un anillo conmutativo totalmente ordenado
significa:
1 , , ) es un anillo conmutativo,
, , ) A es un grupo conmutativo totalmente ordenado, y
) ) Z Z : 0 A x y 0 A y 0 A xy

A es un anillo conmutativo, totalmente ordenado y
arquimedeano
significa:
1 , , , ) A es un anillo conmutativo, totalmente ordenado
y
Si aZ y o<bZ
entonces ) ) 6 7 Z Z : a = bq + r, con 0 A r < b



















4



Sa/q-ape: de

,+


PARTE$ DE , E$TABLE$ PARA LA ADICION
PARTE$ DE , E$TABLE$ PARA LA $&$TRACCION
Definicin 1
1. Una parte P de es estable para la adicion
ssi
) ) ! ! Z Z . a b Z P
2. Una parte P de es estable para la sustraccion
ssi
) ) ! ! Z Z . a - b Z P

Ejemplos de partes de estables para la adicin
onsideremos W =

= {O, 1, , , , }
a) 1 + W = {1+n / n Z W} = {1, , , , }
b) + w = {+n / n Z W} = {, , 5, }
c) W = {n / n Z W} = {O, , , 6, }
d) 15W = {15n / n Z W} = {0, 15, 0, 5, }
e) ( + W) = {(+n) / n Z W} = {6, 9, 1, }
f) -W = {O, -1, -, -, -, }
5


g) -W
0
= {-1, -, -, -, }
h) - 5 - W = {- 5, - 6, -7, }
i) 5(- - W) = 5{-, -, -5, -6, } = {-15, -0, -5, -0, }
Algunas de estas partes de , estables para la adicin, son tambin estables
para la sustraccin?
Existen partes de que, siendo estables para la adicin, no lo son para la
sustraccin?
Puedes dar partes de estables para la adicin y la sustraccin?
Ejemplos de partes de estables para la adicin y la sustraccin
= {0, 1, - 1, , - , }
= {0, , -, , -, 6, -6, }
18 = {18z / z Z } = {0, 18, -18, 6, -6, 5, -5, }
0 = {0z / z Z } = {0}
%odas estas partes de son subgrupos de , ) ?
Prueba que X es una parte de estable para la adicin y la sustraccin
Puedes dar una parte de estable para la sustraccin y no estable para la
adicin?
- Has dado ms arriba algunas partes de estables 5ara la adicin y no
estables 5ara la sustraccin
- Quisieras dar una parte de estable para la sustraccin, pero que no sea un
sub grupo de , ) ?
Prueba que X no es un subgrupo de , )
Quisieras dar parte de estable para la sustraccin pero que no sea un
subgrupo de , ) ?
6


!74548icin 1 (Otra caracterizacion de los subgrupos de , )
$i P
Entonces P es un subgrupo de , )
ssi
P X y P es estable para la sustraccion
Dem4897,cin
()
Si P es un subgrupo de , ) , 0 Z P ( P X
Adems, a, b Z P a, - b Z P a+(-b) = a - b Z P
( P es estable para - (lqqd) (*)
( )
omo P es no vaco, tomamos a en P Adems, como P es estable para la
sustraccin, a-a = 0 Z P
( P tiene al elemento neutro para +
Ahora, si x Z P, entonces como 0ZP, se tiene que 0-x = -xZP
( P tiene al opuesto de cada uno de sus miembros (**)
Finalmente, si xZP e yZP
Entonces xZP y -yZP (Por **)
x - (-y) Z P (Por *)
x+y Z P
( P es estable para + (lqqd)




7


EJERCICIOS
1 D, si es posible, partes de que no sean estables para la adicin
%oda parte de no estable para + es no estable para -
Son estables para la adicin las partes de siguientes?
a) {-1, 0, 1, , , } d) {-, 0, }
b) {, , 7} e) {- , O, , 6, 9, 1, }
c) {0} f) { 1 }
Asuma que cada uno de los conjuntos siguientes es parte estable de para
la adicin. Escriba, de menor a mayor, en cada conjunto siete nmeros ms
a) {, 5, 6, 8, 9, }
b) {, 8, 9, 1, }
c) {, , 5, }
d) {5, 7, 10, }
e) {5, 6, }
5 Si S es un subgrupo de , ) y a,b Z S, Entonces:
a) a + b Z S d) a - b Z $
b) a + b Z S e) a - b Z S
c) (-)a + b Z S f) (-57)a + 6b Z S
6 Si S es un subgrupo de , ) a, b Z S a', b' Z
Entonces a'a + b'b Z S
7 Si S es un subgrupo de , ) a,b,c Z S a',b',cZ
Entonces a'a + b'b + cc Z S
8


Si a , b , c Z P
Entonces a , b , c Z S
a , b , c Z S
0
) 3 Z : n a , n b , n c Z S
0 = 0 a = 0 b = 0 c Z S
- a , - b , - c Z S
- a , - b , - c Z S
0
) 3 Z : -n a , -n b , -n c Z S
) Z : z a , z b , z c Z S
, , ) Z a b c : a' a , b' b , c' c Z S
, , ) Z a b c a' a + b' b + c' c Z S
(sumas de productos)
8 Si S es un subgrupo de , ) n Z W
0

1 n
a ,,a ZS
n
a a ' , , ' Z
Entonces a a a a a a
1 1 n n
' , ' ,, ' Z
9 La parte P de es estable para + ssi P + P P
10 La parte P de es estable para - ssi P - P P

$&BGR&PO DE , ) ENGENDRADO POR &NA PARTE P DE
Introduccin
Sean: P una parte P no vaca de y S un subgrupo de , ) que
contiene a P
! $ X











!
$

9



En particular, los elementos de P pueden ser escritos como estas sumas de
productos, es decir: a=1a+0b+0c b=0a+1b+0c c=0a+0b+1c
O, tambin : a=1a b=1b c=1c
Definicin 2
1) $i
n
a a ,, Z P,
n
a a ' ,, ' Z
Entonces
1 n
aa + a a + + a a

1 2 3
es una combinacion lineal de los
elementos
n
a a ,, con coeficientes enteros
n
a a ' ,, '
2) Para toda parte no vacia P de Z se llama modulo de P y se anota mod P el
confunto de las combinaciones lineales con coeficientes enteros de los
elementos de P.
Ademas. mod X ]0}
-8e7;,ci4ne8
1 Un resultado obtenido hasta aqu se expresa diciendo que
Si el subgrupo S de , ) contiene P
Entonces md P S
%odo pZP es combinacin lineal, con coeficientes enteros, de
elementos de P, puesto que p = 1p
Luego p Z P p
Z md P
Es decir, P md P
on los resultados de las
observaciones 1 y podemos
construir el grfico siguiente:
!
$

2O/!
10


Es decir,
Si el subgrupo S de , ) contiene P
Entonces P md P S

!roposicin 2
Para toda parte ! de mod !
es
el menor subgrupo de , ) 6ue contiene a !
02ostracin
En virtud de la proposicin que acompaa a la figura de la pgina 9 slo falta
probar que md P es un subgrupo de , ) :
Para todo P : md P X
En virtud de la proposicin 1, para establecer que md P es un subgrupo de
, ) basta probar que la diferencia de toda cupla de elementos de md P
pertenece a md P, lo cual resulta de la frmula
, , , ,
1 1 n n 1 1 n n
(a a + + a a )-(b b + + b b )
=
, , , ,
1 1 n n 1 1 n n
a a + + a a + (-b )b + + (-b )b
Definicin 3
Para toda parte P de . el menor subgrupo de , ) 6ue contiene a P
se l/ama tambien
el subgrupo de , ) engendrado por P




11


!74548icin 3
Para toda parte ! de mod !
es
el subgrupo de , ) engendrado por !

01inicin 4
$i. kZ y P
Entonces. k P ]kp / pZP}
!roposicin 4
$i kZ y P
Entonces mod kP k mod P
02ostracin
md P = {a
1
p
1
+ + a
n
p
n
/ nZW
0
p
1
p
n
ZP a
1
, ,

a
n
Z }
md kP = {a
1
kp
1
+ + a
n
kp
n
/ }
= {k(a
1
p
1
+ + a
n
p
n
) / }
= k {a
1
p
1
+ + a
n
p
n
/ }
= k md P lqqd


EJERCICIOS
1 D elementos de md {- , 8 }
D 7 elementos de md {- 15, 1, 0 }
D un elemento de que no pertenece a md {- 15, 1, 0 }
18c {- , 5, 7, 5, 0, 00} = {- 6, 90, 16, 95, 0, 6 70}
12


5 md W = md W = = md {} = md {- }
6 md {7} = md {1} = md {7} = 7 = 1
7 md X = md {0} = {0} = 0

$&BGR&PO DE , ) ENGENDRADO POR &N ENTERO
Definicin 5
Para todo k Z . mod k mod ]k}
$e dice 6ue mod k es el subgrupo de , ) engendrado por k
Es claro que para todo kZ : md k = k = {kz / z Z }
!74548icin 5
Para todo a b Z . a b a I b
02ostracin
i) La implicacin es evidente
ii) Demostracin de
Sean a,b Z tales que a = b
1) Si a = b = {0}
Entonces a = b = 0, de donde a = I b
) Si a = b {0}
Entonces a es el menor natural no nulo de a
b es el menor natural no nulo de b
Luego a = b y a = I b
lqqd
13


La proposicin 5 tambin puede formularse as:
!ara todo a, b Z : 2d a 2d b a I b
En particular:
!ara todo a, b Z : 2d a 2d b a b

EJERCICIOS
l md = = md 1 = md (-1)
md 0 = {0} = md X = 0
md = {zc / zZ } = c
md = md 7 = 7 md 5 = 5
5 md (-6) = md 6 = 6
6 Para todo n Z: md (-n) = md n
7 Para todo z Z : md z = z = z c
8 md { , } = md 1 =
9 md { , 8} = md =
10 md { 1, 18} = md 6 = 6
11 md { 8, - 8} = md 1 = 1
1 md { , -7, 1} =
1 md { 8, 1, 8} =
1 md { 10, 8, 70} =
15 Si S es un subgrupo de , ) y s Z
14


Entonces s ZS s S
16 Si P
Entonces md P = { 0 } (P = X P = {0})
17 Si a, b, c Z
Entonces md {a, b, e} = { a' a + b' b + c' c / a', b', e' Z }
18 1Z! md P =
19 Para todo ! : P es un subgrupo de , ) ! md P
0 Para todo ! : md md P = md P
1 En particular, ! : md mod P md P
Dicho de otro modo: %oda combinacin lineal (con coeficientes en ) de
combinaciones lineales de elementos de P es una combinacin lineal de
elementos de P

$&BGR&PO$ DE
'imos que para todo kZ
md k = md (-k) = k = (-k)
es el subgrupo de engendrado por k
Probaremos que los subgrupos k son los nicos subgrupos de , )
!74548icin 6
%odo subgrupo de , ) esta engendrado por uno y solo uno de sus naturales.
Esto debe entenderse como:
$i $ es un subgrupo de , )
Entonces existe uno y solo un natural nZ$ tal 6ue $ mod n
15


Dem4897,cin
1 Probemos primero que todo subgrupo de , ) est engendrado por uno
de sus naturales
Supongamos S un subgrupo cualquiera de Entonces 0 Z S
Caso1: Si S = { 0 } Entonces S = 0 y el teorema
est demostrado
Caso 2: Si S { 0 }
Entonces sea s un entero no nulo, s Z S
S tiene a los enteros no nulos s y -s
Lo que significa que S contiene por lo menos un natural no nulo
Llamemos n al menor natural no nulo que pertenece a S
Probaremos que n = S
{n} S luego n = md { n} S (prop )
Falta establecer que S n , es decir,
si aZS, entonces a Z n
En virtud de la proposicin de la pgina , existe una y slo una
cupla de enteros racionales b, r tales que
a = bn + r y 0 A r < n
o an r = a - bn y 0 A a - bn < n








0
0n
1n
2n
n
bn
(b+1)n
a
bn+r
0 A r < n
16


aZS nZS
Luego: r = 1a - bn Z S y 0 A r < n
Estas frmulas muestran que r es un natural de S estrictamente menor
que n

Pero n es el menor natural no nulo perteneciente a S
Luego r = 0 y a = bn Z n
Falta probar que todo subgrupo de , ) est engendrado por slo
uno de sus elementos
Si cada uno de los naturales n y m engendra el subgrupo S de
, )
Entonces S = n , S=m y se tiene
n = m
n = I m (Prop 5)
n = m (puesto que n, m Z W)
l q q d
!74548icin 7
Para toda parte P de existe uno y solo un natural denotado P tal 6ue
mod P mod P
El numero natural P es combinacion lineal con coeficientes enteros de elementos de P
Dem4897,cin
Sea P Entonces md P es un subgrupo de , ) enteramente definido por
P
En virtud de la proposicin 6, el subgrupo md P est engendrado por uno y slo
un nmero natural Luego, este nmero est enteramente definido por P y se
anotar P
P es el nico natural tal que md P = md P
omo P Z md P, el natural P es combinacin lineal con coeficientes enteros
de elementos de P l q q d
!74548icin 8
$i kZ y P
17


Entonces kP k P
Dem4897,cin

d kP = md kP (Prop 8)
= k md P (Prop )
= k md P (Prop 8)
= md k P (Prop )
= md |k| P (Prop 9)
Luego md kP = md lkl P
omo kP ZW y |k|P ZW se deduce, por la proposicin 5
kP = lkl P l q q d
Los resultados de toda esta seccin han demostrado el

10or02a 1
%odo subgrupo de , ) esta engendrado por uno y solo uno de sus numeros
naturales.
Para toda parte P de existe uno y solo un natural denotado P tal 6ue
mod P mod P
El natural P es combinacion lineal con coeficientes enteros de elementos de P y
Para todo : Z . : P z P



EJERCICIOS

1 { } = 11 { -18,1,0 } =
{ - } = 1 W =
18


{, } = 1 (-W) =
{6, 10} = 1 {0} =
5 { -, } = 15 =
6 X = 0 16 { 8, -5} =
7 W = 17 { , -7, 1 }=
8 = 18 { 8, 1, -5} =
9 = 19 { 10, 5, 70} =
10 { -,5 } =











E'ALUA

1 (1/ pto) Una parte P de es estable para la sustraccin si y slo si:
A ) ) , ! - ! Z Z : a - b Z P B ) ) , ! - ! Z Z : a - bZ P
) ) , ! - ! Z Z : a - b Z P D ) ) , ! - ! Z Z : a - b Z P
E A
(1/ pto) Los subgrupos de , ) tienen la forma:
19


A n , donde nZ B n , donde nZ
- n , donde nZ D %odas las anteriores
E inguna de las anteriores
(1 pto) Escribe verdadero o falso junto a cada proposicin:
A ( ) %oda parte no vaca de que es estable para la adicin es sub grupo de
, )
B ( ) Existen partes de estables para la adicin que son sub grupos de , )
( ) %oda parte no vaca de que es estable para la sustraccin es sub grupo de
, )
D ( ) %oda parte de que es estable para la sustraccin es estable para la adicin
E ( ) Existen partes no vacas de estables para la adicin que no son estables
para la sustraccin
(1 pto) 'erifique si el conjunto 5(- - ) es estable para la adicin, sustraccin,
ambas adicin y sustraccin, o ninguna
A Slo para la adicin B Slo para la sustraccin Para ambas
D Para ninguna E o se puede determinar
5 (1/ pto) Pruebe que si S es un subgrupo de , ) y a, b Z S, entonces
a + b Z S
6 (1/ pto) Si S es subgrupo de , ) , P y P S, entonces: (Seale las
proposiciones falsas)
A md P S B %odo pZP es combinacin lineal, con
coeficientes enteros, de elementos de P

P md P D md P P
E P = md P
7 (1/ pto) Para toda parte P de : El subgrupo de , ) engendrado por P es:
md P El menor subgrupo de , ) que contiene a P
Es verdadera:
A Slo B Slo y D i ni E A
20


8 (1/ pto) onsidere: md P cuando P = {- , -6, 8 } y md Q, cuando Q = {- 15,
1, 0 } Encierre la relacin cierta
A md P md Q B md Q md P md P = md Q
D md P = md Q E md P = md Q
9 (1/ pto) Sea P = { -, - }, Q = , R = X y % = { 8, -5}
Hallar el resultado de: [(8P - 6 Q)(1/ % + 7 P)] / -10 R
A 10 B -10 1 D o existe E 0
10 (1/ pto) Si a divide a b, entonces: (Seale la proposicin verdadera):
A b a B a no puede ser cero Existe qZ tal que a = bq
D b = aq, para todo qZ E b no puede ser cero
11 (1/ pto) Asuma que cada uno de los conjuntos siguientes es parte estable de para
la adicin. Escriba en cada conjunto los cinco nmeros que siguen, de menor a
mayor
a) {, 5, 6, }
b) {5, 7, 10, }
1 (1/ pto) Si S es un subgrupo de , ) y a,b Z S, escriba ' o F en los
parntesis Entonces:
a) ( ) a + b Z S b) ( ) a (b + ) Z S
c) ( ) (-)a b Z S d) ( ) %odas
e) ( ) (a+b)(x-y), cuando x, y Z
1 (1/ pto) Si S es un subgrupo de , ) a, b Z S a', b' Z , encierre la
proposicin falsa
a) a'a + b'b Z S b) a'a - b'b Z S
c) a'b a + b'b b Z S d) (a'b) a + (b'a) b Z S, donde a, b 0
e) (a'+b)a + (b+b) Z S
1 (1/ pto) Seala la proposicin verdadera:
a md P S (S, subgrupo de , ) P )
b md X = 0 c md P P
d md X = {0} e md P es el mayor subgrupo de , ) que
21


contiene a a P
15 (1 pto) Seale la proposicin falsa:
a md = md = = md {} = md {- }
b md {7} = md {1} = md {7} = 7 md {} = 7 = 1
b md X = md {0} = {0} = 0
d md P es el subgrupo de , ) engendrado por P (P )
e md {-} 6
16 (1/ pto) alifique cada proposicin con ' o F, segn corresponda:
a ( ) a = b a = b (a,b Z )
b ( ) md a = md b a = b (a, b Z )
c ( ) md = md (-1)
d ( ) md { , -7, 1} = md (-)
e ( ) s ZS S s (S, subgrupo de s Z )
17 (1 pto) Si ) md P = md P , ) kP = |k| P y
) md P = md P, cules son verdaderas?
a Slo b Slo c y d y e
inguna
18 (1/ pto) Si se sabe que a es ms bajo que b y c es ms alto que b, seale la
proposicin verdadera
a c es ms alto que a b b es ms bajo que c, o que a
c b es mas bajo que c y ms alto que a
d b es ms bajo que c y a e a es ms bajo que b y c
19 (1 pto) omplete: div (16 + 8 ) =
0 Pruebe que:
a (1 ps) es subgrupo de , )
b (1 ps) X es una parte de estable para la sustraccin pero no es un
subgrupo de , )
c ( ps) La relacin | definida en no es simtrica
d ( ps) a | b div a div b (a, b Z )
22


e ( ps) Qu significa la expresin " es el ms alto elemento de Y div ?














a|me cema d||:e-
ta|me cema m|t|p|e


LA RELACION DIVIDE EN
Definicin 6
Para todo a b Z . a divide a b (O a divide b si no hay lugar a
23


confusion)
ssi
Existe 6 Z tal 6ue b a6
Expresiones sinnimas:
a divide b a|b
a es divisor de b a es ms bajo que b
b es mltiplo de a b =
o
a
b es ms alto que a
Se indica que a no divide b, escribiendo a b
Ejemplos

1 |18 5 | -65 -7 | 56 -1 | -8
1 | 7 1 | - 100 -1 | 8 -1 | -6
) Z : 1 | z y -1 | z
18 |18 -189 | -189 15 | 15 0 | 0
) Z :
a relacin | definida en es reflexiva
6 El nmero 1 es ms bajo que todo entero
El nmero -1 es ms bajo que todo entero
7 1 | -1 y -1 | 1
8 La relacin | definida en no es antisimtrica
9 15 | -15 0|-0 -0|0 -15|15
10 ) Z : z | z ; -z | -z ; z |-z ; -z | z
11 6 | 0 puesto que 0 = 0 x 6
1 18 | 0 (- 1965) | 0 0 | 0
13 ) Z : z | 0
1 0 es ms alto que todo entero
24


1 Si 0 | z Z
Entonces existe z' Z tal que 0 z' = z y z= 0
16 0 es el nico entero ms alto que todo entero
17 5 1 1 | 5
18 a relacin | definida en no es simtrica
19
0 La relacin | definida en no es orden total
21 , ) , - Z : a | b a | -b -a | b -a | -b |a|||-b|
onfeccione un esquema de la relacin divide en el conjunto {0, 1, , -,
5, -6, 1}






!74548icin 9
Para todo a b Z . a , b b Z a b a
Dem4897,cin
i) a | b b Z a

a | b existe a' Z tal que b = a' a
b Z a
ii) b Z a b a
Si b Z a
Entonces a es un subgrupo de , ) que tiene a b
25


Pero b es el menor subgrupo de , ) que tiene a b
Luego b a
iii) b a a | b
b a b Z a b = a a para algn a en
a | b l q q d

!74548icin 10
a relacion , definida en es reflexiva y transitiva.
No es ni simetrica ni antisimetrica.
Para todo a b Z . (a , b y b , a) a I b

Dem4897,cin

Ya fue establecida la reflexividad de | Adems, se observ que esta relacin
no es ni simtrica, ni antisimtrica


Demostracin de Demostracin de
la transitividad de la relacin | a | b y b | a) a = I b

a | b y b | c a | b y b | a
b a y c b b a y a b
c b a b = a
c b a b = +a
a | c l q q d l q q d
Analizando la proposicin 10 en relacin al conjunto , podemos decir que la
relacin | definida en es de orden
!robl02a:
"ue se puede decir de zZ sabiendo 6ue z 1?
26


$olucin:
z | 1 y 1 | z z = + 1

C o n s e c u e n c i a s
1 1 y - 1 son los nicos enteros ms bajos que todo nmero entero
{1, -1} es el conjunto de divisores de 1
{1, -1} es el conjunto de divisores de - 1


EJERCICIOS

1 Si 0 a Z y b Z
Entonces a l b
b
a
Z

Demostracin de Demostracin de
a l b
b
a
Z
b = a'a y a' Z
b
a
= a' Z

b
a
=
a'a
a
= a' Z b =



b
a
a
= a'a y aZ

b
a
Z a l b l q q d
( a, b Z ) : (a l b y b l a) |a| = |-b|

27


CONJ&NTO DE DIVI$ORE$ DE &NA PARTE DE
Definicin 7
$ea P una parte de
$e llaman divisores de P a los numeros enteros 6ue dividen a todos los elementos de
P.
Al confunto de los divisores de P se designa con div P.
$e tiene entonces 6ue
div P ]:Z / p Z P . :,p}
$i P es un confunto unitario se simplifica la notacion escribiendo .
Para todo : Z . div ] : } div :

Ejemplos
1 div { , -, , -6 } = { 1, -1, , - } = div = div (-)
div { 1, -18 } = { 1, -1, , -, , -, 6, -6 } = div 6 = div (-6)
div 1 = { 1, -1, , -, 7,-7, 1, -1} = div (-1)
div 5 = { 1, -1, 5, -5 } = div (-5)
5 div 0 = = div X
6 div = { 1, - 1 }
7 div { 8,-15 } = { 1, -1 }
8 div 1 = { 1, -1 } = div (-1)
9 ( P ) : {1, -1} div P
10 ( zZ ) : {1, -1, z, -z} div z
11 ( zZ ) : div z = div (-z) = div |z|
1 ( nZ ) : Ydiv n es el conjunto de divisores naturales de
n
1 ( a, b Z ) : a | b a Z div b

28



!74548icin 11
Para todo a b Z .
a , b a Z div b div a div b
Dem4897,cin

Se deja la demostracin al lector


















Significados de la expresin a divide a b


b Z md a md b md a






a|b






a Zdlv b dlv a dlv b

29




Z b = a


Consecuencia
Para todo a, b Z :
div a = div b a b y b a b = +a
En particular:
Para todo m, n Z : div m = div n m = n


EJERCICIOS

1 div =
div =
div (- ) =
div (16 + 8 ) =
5 La relacin | definida en no es un orden
6 Si a, b Z , entonces (div a = div b lal = lbl)
7 Si A, B entonces div (AB) = div A Y div B
8 Si a, b Z etonces div {a, b} = div a Y div b
9 Si A, B, entonces div (AB) = div AYdiv BYdiv
10 Si a, b, c Z entonces div {a, b, c} = div a Y div b Y div c
11 n Z : n es el ms alto elemento de Ydiv n
1 n Z
0
: n es el ms alto elemento y el elemento ms grande de
Ydiv n
1 0 es el menor elemento de Ydiv 0
0 es el ms alto elemento de Ydiv 0
30



COMPARACIN DE LO$ ORDENE$ Y A DEFINIDO$ $OBRE

!74548icin 12
as relaciones A y definidas sobre
0

son ordenes.
El orden A es total, el orden no es total.
Ademas

A

Es decir.
Para todo a b Z
0

. a b a A b
Dem4897,cin
1) La relacin A es un orden total definido sobre y por lo tanto sobre
0

) De la proposicin 10 se infiere que | es una relacin de orden sobre y
por lo tanto sobre
0

Este orden no es total puesto que y
) Si a | b y a, b Z
0

Entonces b = aq con q Z
0

Luego q K1 y b = aq K a1 = a lqqd
Consecuencia : Para todo n Z
0

: # ( Ydiv n) An

EJERCICIOS
31


1 0 es el menor elemento del conjunto totalmente ordenado , A que no
tiene un mayor elemento
0 es el mayor elemento del conjunto totalmente ordenado - , A que no
tiene un menor elemento
El conjunto totalmente ordenado , A no tiene ni un menor ni un mayor
elemento
Si el conjunto E tiene por lo menos dos elementos distintos
Entonces !(E), es un conjunto ordenado, pero no totalmente ordenado,
cuyo menor elemento es * y cuyo mayor elemento es E
5 y y A
no es ni ms bajo es estrictamente
ni ms alto que menor que
6 1 es el ms bajo y 0 es el ms alto elemento del conjunto ordenado ,
que no es un conjunto totalmente ordenado
7 P : a Z div P -a Z div P
8 P : 0 Z div P (P = X o P = {0})
9 z Z : # (div z Y ) A |z|
10 z Z : z = -z z =0
11 Si z Z
0

Entonces # div z = # ( Ydiv z) Z
0

1 Si la parte P de no es ni X, ni {0}
Entonces # div P es un nmero natural par
1 Qu puedes decir de (- , ?


MXIMO COMN DIVI$OR

!74548icin 13
$i A B .
Entonces div B div A
Dem4897,cin
32


Si d Z div B
Entonces d divide a todos los elementos de B
d divide todos los elementos de A (puesto que AB)
d es un divisor de A
d Z div A
%odo divisor de B es un divisor de A
div B div A l q q d
!74548icin 14
$i a
1
. . . a
n
d a
1
. . . a
n
Z
Entonces d a
1
. . . d a
n
d a
1
a
1
. . . d a
n
a
n

Dem4897,cin
Si d | a
1
, , d | a
n

Entonces a
1
= dq
1,
,a
n
= dq
n
( con q
1
, , q
n
Z )
a
1
a
1
+ + a
n
a
n
= a
1
dq
1
+ + a
n
dq
n

= d (a
1
q
1
+ + a
n
q
n
)
de donde d | a
1
a
1
+ + d | a
n
a
n
l q q d
Acabamos de probar que todo divisor de P es un divisor de toda combinacin
lineal, con coeficientes enteros racionales, de elementos de P Es decir, todo
divisor de P es un divisor de md P de donde resulta la reformulacin de la
proposicin 1:
!74548icin 15
P . div P div mod P
!74548icin 16
P . div P div mod P
Dem4897,cin
Acabamos de establecer que div P div md P
33


Por otra parte, P md P div md P div P (Prop 1)
l q q d

10or02a 2
Para todo P el natural P esta definido por cada una de las formulas
mod P mod P (1)
div P div P (2)

02ostracin
El teorema 1 establece que la frmula (1) define P
La frmula () es verdadera porque
div P = div md P (prop 16)
= div md P (frmula (1))
= div P Prop 15)
Luego, la igualdad div P = div P define el nmero natural P
l q q d
!74548icin 17
Para toda parte P de . P es el mas alto numero natural perteneciente a div P.
Es decir.
$i ]0} P X Entonces P es el mayor numero natural perteneciente a div P.
Dem4897,cin
1
0
En virtud del teorema
P Z div P = div P
de donde: P Z div P
on lo que hemos probado que P es un natural perteneciente a div P
34


Ahora, sea n un nmero natural perteneciente a div P
Entonces n Z div P = div P, de donde n Z div P es decir n | P
%odo natural n perteneciente a div P, divide a P
Por tanto: P es el ms alto nmero natural perteneciente a div P

0
Si {0} P X
Entonces 0 [ div P
En virtud de la proposicin 17, P es el mayor natural perteneciente a div P
Esta proposicin permite que llamemos a P
el mximo comn divisor de los elementos de P
En forma simblica: P = mcd (P)
EJERCICIOS

1 div {18, 60} = { } {18, 60} =
div { 100, 5 00, 5 880} = { }
{100, 500, 5880} =
{100, 500} = {500, 5880} =
5 {100, 5880} = 6 {1, 18} =
7 {1, } = 8 {8, } =
9 {60, } = 10 {5, 0} = 5
11 {-5,0} =
1 md X = {0} 1 md X = md 0
1 div X = div 0 = 15 X = 0
16 md {0} = {0} 17 md {0} = md 0
18 div {0} = div 0 19 {0} = 0
0 Si P
Entonces md P= {0} md P = md 0 div P = div 0
1 Si P
Entonces P = 0 P= X o P = {0}
Sea P
div P es el conjunto de nmeros enteros que son ms bajos que todo
elemento de P
P es el ms alto nmero natural perteneciente a div P

P es el ms alto nmero natural que es ms bajo que todo
elemento de P


CLC&LO DEL MXIMO COM&N DIVI$OR DE DO$ NMERO$ ENTERO$

01inicin 8
36


ab Z . a b ]a b}
El natural a b se llama maximo comun divisor de a y b (en realidad es el mas alto
de los divisores comunes naturales de a b)
De manera abreviada. a b es el m.c.d. de a y b
En virtud del teorema , a b est definido por cada una de las frmulas
siguientes:
div (a b) = div {a, b} (1)
mod (a b) = md {a, b} ()
Es claro que a, b Z : a b = b a
La proposicin siguiente nos permitir calcular el mcd de todo par de nmeros
enteros
!74548icin 18
1) a b Z . a b , a , , b ,
2) $i r designa el resto de la division euclidea del numero natural a por
el numero natural no nulo b
Entonces a b b r

Dem4897,cin
1) Para todo a, b Z :
div(a b) = div {a, b} (frmula , teo )
= div a Y div b
= div |a| Y div |b| = div( |a| |b| )
De donde a b = |a| |b|
) Llamemos q al cociente y r al resto de la divisin eucldea del natural a entre
el natural no nulo b
a = q b + r 0 A r < vb
a - q b = r
Los dos razonamientos siguientes, sustentados en la proposicin 1,
d Z div {a, b} d Z div {b, r}

d | a y d | b d | b y d | r
37



d | a - q b y d l b d | b y d | q b + r

d | r y d | b d | b y d | a

d Z div {b, r} = d Z div {a, b}
establecen que div {a, b} = div {b, r}
De donde, en virtud del teorema ,
div {a, b} = div {a, b} = div {b, r} = div {b, r}
div {a, b} = div {b, r}
{a, b} = {b, r}
a b = b r l q q d
La primera parte de la proposicin 18 reduce la bsqueda del m c d de dos
nmeros enteros cualesquiera al clculo del m c d de dos nmeros naturales
Si uno de los naturales es nulo,
Entonces div a 0 = div {a, 0} = div a, de donde a 0 = a
Problema
Sean a, b Z
Busquemos un mtodo para calcular a b
Solucin
* Si b = 0 Entonces a b = a
* Si b 0
Entonces llamaremos r
1
al resto de la divisin eucldea de a por b
%endremos, a b = b r
1
b > r
1
> 0 (prop 18)
** Si r
1
= 0 Entonces a b = b 0 r
1
= b
** Si r
1
0
Entonces llamemos r

al resto de la divisin de b por r

1

%endemos, a b = b r
1
= r
1
r

b > r
1
> r

> 0
*** Si r

= 0 Entonces a b = b r
1
= r
1
0 r

= r
1

38


*** Si r

0
Entonces llamemos r

al resto de la divisin de r
1
por r

%endremos, a b = b 0 r
1
0 = r
1
r

= r

0
b > r
1
> r

> r

> 0
**** Si r

= 0 Entonces a b = = r

= r

**** Si r

0
Entonces etc
b > r
1
> r

> r

> > 0
es una sucesin estrictamente decreciente de nmeros naturales
Se obtiene un resto nulo despus de un nmero finito de etapas
Llamemos r
n
a ese resto nulo
Entonces a b = b 0r
1
0 = r
1
r
2
= = r
n-1
r
n
0 = r
n-1
= r
n-1


Disposicin prctica





q
1
q

q

q

q
n-1
q
n

a b r
1
r

r

r
n-
r
n-1
= a b
q
1
b q

r
1
q

r

q

r

q
5
r

q
n
r
n-1

r
1
r

r

r

r
5
r
n
= 0

Ejemplo: Calcular 12936 7800

1 1

1

1 1 1 7

39



196 7800 516

66

7

19 168

24
7800 516 66

7 0

68 168
516

66 7 19

168 0
EJERCICIOS
1 El mcd de nmeros naturales puede ser definida como la ley interna entre
elementos de
x
(a, b) a b
Esta ley es conmutativa
Para todo a Z : a 0 = a = 0 a
Luego 0 es neutro para
Para todo a Z : a 1 = 1 = a 1
Lo cual se expresa diciendo que 1 es absorbente para
alcula:
a 8 c 8 08 96 1
b 1 8 76 d 7 05 615
Para todo a, b Z , existen a, b, Z tales que
a a b b = a b
Si a, b Z
Entonces a b = (- a) b = a (- b) = (- a) (- b) = lal lbl
5 a, b, k Z : ka 0 kb = lkl a 0b
6 Si a, b, n Z
Entonces na nb = n a b
7 Si a, b Z , n Z
0
, n | a , n | b
Entonces
,
3
0
-
3
=
, -
3

8 Si a, b Z y (a 0 o b 0)
40


Entonces
a b
= 1
a b a b

9 En virtud de la proposicin 17,
Si uno de los enteros racionales a, b es no nulo
Entonces a b es el mayor natural que divide a la vez a a y b (lo cual
justifica parcialmente la expresin "mximo comn divisor"
utilizada clsicamente)
10 0 0 = 0 es el ms alto comn divisor natural de 0 y 0 y no es el mximo
comn divisor natural de 0 y 0





MNIMO COMN MLTIPLO
!74548icin 19
1) a b Z . a Y b es subgrupo de ( )
2) De ahi 6ue para todo a b Z existe uno y solo un natural 6ue se anota a ' b
tal 6ue a Y b (a ' b)
3) El numero a ' b es el mas bafo natural 6ue es a la ve: multiplo de a y b (En forma
abreviada. m.c.m. de a y b)
Dem4897,cin
1) En virtud de la proposicin 1, basta establecer que a Yb es estable
para la sustraccin
En efecto:
x Z a Yb y y Z a Yb

x Z a , x Z b , y Z a , y Z b
41



x Z a , y Z a , x Z b , y Z b

x - y Z a y x - y Z b

x - y Z a Yb
) %odo subgrupo de ( , +) est engendrado por uno y slo uno de sus
naturales (teorema 1)
Por lo tanto, para todo a, b Z , existe uno y slo un natural, que
anotaremos a ' b
tal que a Yb = (a ' b)
) ostremos primero que el natural a ' b es ms alto que a y b
a ' b Z (a ' b) = a Yb
a ' b Z a a ' b Z b
a | a ' b b | a ' b
Sea m un natural, mltiplo de a y b
Probemos que a ' b es ms bajo que m
a | m b | m
m Z a m Z b
m Z a Yb
m Z (a ' b)
a ' b | m
a ' b es, por lo tanto, el nmero ms bajo que es a la vez mltiplo de a y b

EJERCICIOS
1 Y = 6 luego ' = 6
1 Y18 = 6 luego 1 ' 18 = 6
42


Para todo a Z : a Y 0 = 0
luego a ' 0 = 0
Para todo a Z : a Y1 = lal
Luego a ' 1 = lal
5 Para todo a, b Z : a ' b = b ' a
6 Para todo a Z a ' a = lal
7 Para todo a,b Z : a ' b = (-a) ' b = a ' (-b) = (-a) ' (-b) = lal ' lbl
El clculo del mcm de dos enteros se reduce, pues, al clculo del mcm de
dos de nmeros naturales
8 Si por lo menos uno de los enteros a y b es distinto de 1
Entonces a ' b es el menor mltiplo comn natural de a y b (lo cual
justifica parcialmente la expresin "mnimo comn mltiplo"
utilizada tradicionalmente)
9 1'1 = 1 es el ms bajo mltiplo natural comn (mcm) de 1 y 1
0 es el menor natural que es a la vez mltiplo de 1 y de 1





acte-|:ac|eae: p-|ma: de |e: ame-e: aata-a|e:

NMERO$ ENTERO$ PRIMO$ ENTRE $
01inicin 9
Para todo a b Z . a y b son primos entre si a b 1

EJEMPOS
43


17 1 = 1 (- 1) 5 = 1 (- 6) (-17) = 1
Para todo z Z : 1 z = 1 = (- 1) z

!74548ici4n 20
$i a b c Z
Entonces a b 1 y a , bc a , c
Dem4897,ci4n
Sabemos que, (teorema 1)
a b = a' a + b' b (con a', b' Z )
Luego, existen a', b' Z tales que
a' a + b' b = 1
de donde
c = c a' a + c b' b
= c a' c a + b' c b c
Pero a | a y a | b c
Luego, a | c a' c a + b' c b c (proposicin 1)
a | c (a' a + b' b)
a | c l q q d

EJERCICIOS
1 Si a, b, e, d Z
0

y a b = 1 = c d
Entonces a d = b c a = c y b = d
Si a, b, c, d Z
0

y a b = 1 = c d
Entonces
a
b
=
c
d
a = c y b = d
44


Si a, b Z
0

Entonces Existe uno y slo un par (p, q) Z
0

tal que:

a
b
=
5
q
y p q = 1
Pasar de
a
b
a
5
q
es "reducir
a
b
a su ms simple expresin
NMERO$ ENTERO$ PRIMO$
# div 0 = # 0
# div 1 = #{1,-1} =
#div (-1) = #{1,-1} =
Si z Z - {0, 1, -1}
Entonces # {1, -1, z, -z} = y {1, -1, z, -z} div z
Luego # div z K
Definicin 10
Para todo : Z : primo # div : 4

EJEMPOS
1 Los enteros 0, 1, -1 no son primos
Los enteros y -, Y - son primos,
Los enteros , -, 6, -6, 8, -15 no son primos
Sabemos que para todo z Z : div z = div (-z) = div l z l
Luego, para todo z Z : z primo -z primo lzl primo
5 Para todo z Z Z : z primo # ( Y div z) =
45


6 El natural P es primo
ssi
El cardinal del conjunto de sus divisores naturales es
ssi
Para todo natural n tal que 1 < n < p : n p
ssi
Para todo natural n tal que 1 < n < p :
5
3
[
7 Los enteros
, , 5, 7, 11, 1, 17, 19, , 9, 1, 7, 1,,
-, -, -5, -7, -11, -1, -17, -19, -, -9, - 1, -7, -1,
Son primos
8 %odo natural primo es estrictamente mayor que 1
9 Si P
1
, , P
n
son naturales primos
Entonces P
1
e P
1
e e P
n
> 1

!74548ici4n 21
$i p 6 Z
Entonces p primo 6 primo p , 6 6 I p
En particular
$i p 6 Z
Entonces p primo 6 primo p , 6 6 p
Dem4897,cin
p primo , q primo , p | q

div p = { 1, -1, p, -p } , div q = { 1, -1, q, -q } , div p div q

46


{ 1, -1, p, -p} { 1, -1, q, -q}

q = I p l q q d
De esta proposicin resulta que
Si p, q designan naturales primos distintos Entonces p q
!74548ici4n 22
$i p : Z
Entonces p primo y p : p : 1
Dem4897,cin
p primo y p z


div p = { 1, -1, p, -p } y p [ div z, -p [ div z

div p Y div z = {1, -1}

p z = 1
!74548ici4n 23
$i p a b Z
Entonces p primo p , ab p a p , b
02ostracin
5 5rimo , 5 a , 5 ab propo

5 a = y 5 ab propo 0
47



5 b l q q d
!74548ici4n 24
$i p p
1
. . . . p
n
designan numeros naturales primos
Entonces p , p
1
p
1
. . . p
n
p es igual a uno de los p
i

Dem4897,cin
1 : Si p = p
1
Entonces la proposicin queda establecida
2 : Si p p
1

Entonces p p
1
y p | p
1
e p

e e p
n

Luego p | p

e e p
n

3: Si p = p

Entonces la proposicin queda establecida

4: Si p p

Entonces p p

y p | p

p

p
n

Luego p | p

e e p
n

: Si p = p

Entonces la proposicin queda establecida

Si p = p
n-1
Entonces la proposicin queda establecida
Si p p
n-1

Entonces p p
n-1
y p | p
n-1
e p
n

Luego p | p
n
de donde p = p
n
y la proposicin
queda establecida
l q q d
!74548ici4n 25
%odo natural distinto de 1 es divisible por un natural primo.
Dem4897,cin
48


Sea n un nmero natural distinto de 1
Si n = 0
Entonces | n y la proposicin queda establecida
Supongamos que 0 n 1
Llamemos D al conjunto de naturales distintos de 1 que dividen a n
El conjunto D no es vaco, puesto que 1 n, se tiene que n Z D
Designemos con p al menor natural perteneciente a D
p l n
Probemos que p es primo
Si p no fuese primo,
Entonces p sera divisible por un natural d tal que
1 < d < p
pero 1 d | p | n 1 d | n
de donde d Z D y p no sera el menor natural perteneciente a D
Luego p es primo
l q q d

10or02a 3
El confunto de numeros naturales primos es infinito.

02ostracin
Basta establecer que para todo n Z , existe un natural primo p > n
Sea m = n! + 1 = 1eee e (n - 1)en + 1
Sea d un nmero natural
Si d | m y d A n Entonces d | m y d | n!
Luego d | m - n! es decir d | 1 y d = 1
Por lo tanto, hemos probado que
49


m = ni + 1 no es divisible por ningn natural k tal que 1 < k A n
En virtud de la proposicin 6, existe un natural primo p
tal que p | m luego p > n l q q d
01inicin 11
$e llama factori:acion prima de un numero natural a toda expresi6n de ese natural
como producto de naturales primos. $e dice 6ue dos factori:aciones primas son
iguales si difieren solo en el orden de sus factores.
EJEMPOS
1 Los nmeros 0 y 1 no admiten ninguna factorizacin prima
es una factorizacin prima de 18
, , designan la misma factorizacin prima
de 18
7 es una factorizacin prima de 7

10or02a 4 (10or02a d0 la 1actorizacjn pri2a d0 los natural0s)
%odo natural n distinto de 0 y de 1 admite una y solo una factori:acion prima.

02ostracin
1) Existencia
Si n es primo Entonces n es una factorizacin prima
Si n no es primo
Entonces existe un natural primo p
1
tal que p
1
| n
Sea n = p
1
q
1
de donde 1 < q
1
< n
Si q
1
es primo Entonces n = p
1
q
1
es una factorizacin
prima
Si q
1
no es primo
Entonces existe un natural primo p

tal que p

| q
1

50


Sea q
1
= p

de donde 1 < q

< q
1

Si q

es primo Entonces n = p
1
p

es una
factorizacin prima
Etc

El procedimiento que acabamos de describir contina cada vez que se encuentra
un q
i
no primo
Ahora bien, n > q
1
> q

> es una, sucesin estrictamente

decreciente de nmeros naturales
Por lo tanto esta sucesin es finita
Su ltimo elemento, que anotaremos q
i
, es primo
Luego n = p
1
p

p
i
q
i
es una factorizacin prima
2) Unicidad
Sean dos factorizaciones primas del nmero n
n = p
1
p

p
h
=

q
1
q

q
k

Sin restringir la generalidad, podemos suponer h A k
p
1
| q
1
q

q
k

En virtud de la proposicin , p
1
es igual a uno de los q
ambiemos eventualmente la numeracin de los q de modo de obtener
p
1
= q
1

Luego p
1
p

p
h
= p
1
q
1
q
k

p

p
h
= q

q
k

p

| q

q
k

En virtud de la proposicin , p
1
es igual a uno de los q

, , q
k

ambiemos eventualmente la numeracin de los q

, , q
k
de modo de
obtener
p

= q

Luego p

p
h
= p

q

q
k

p

p
h
= q

q
k

p

| q

q
k

y continuamos as
Se obtiene sucesivamente
51


p
1
= q
1
, p

= q

, , p
h
= q
h

Si k = h Entonces el teorema est demostrado
Si k > h Entonces se tendra
p
1
p
h
= p
1
p
h
q
h+1
q
h+
q
k

1 = q
h+1
q
k

Lo cual es imposible, porque ningn producto de nmeros naturales primos
es 1
l q q d


EJERCICIOS
1 El conjunto de nmeros naturales primos es numerable
El conjunto de nmeros enteros primos es numerable
Sea n un nmero natural distinto de 0 y de 1
n primo n no es divisible por ningn natural primo p < n
riba de Eratstenes
En la lista de nmeros naturales de 1 a 100 tacha primero el nmero 1
que no es primo
El nmero es primo
Los mltiplos de distintos de no son primos %chalos
Es seguro que el primer nmero no tachado es seguramente primo Es el
Los mltiplos de distintos de no son primos %chalos
El primer nmero no tachado es primo Es 5
etc
ediante este procedimiento construirs la sucesin de nmeros naturales
primos comprendidos entre 1 y 100
5 ules son las factorizaciones primas de los nmeros
, 56, 79, 101, 1, 11, 56, , 1 0, 65, 1 000, 1 000 000
52


6 Gracias a la criba de Eratstenes se puede dar la sucesin estrictamente
creciente de nmeros naturales primos
Para hallar la factorizacin prima de un nmero natural, primeramente se
trata de dividirlo por tantas veces como sea posible Luego por , por 5,
etc

Ejemplo: 70
60
180
90 70 = x x x x x x 5
5
15
5 5
1

7 Designemos con P el conjunto de los nmeros naturales primos de
Para todo n Z , representemos mediante p(n) al conjunto de divisores
primos de n Luego se tiene
p(n) = {x Z P/ x | n}
P(0) = P
p(1) = X
La anotacin p(n), define la aplicacin
p : !(P)
n p(n)
La funcin p aplica , sobre el conjunto de partes finitas de P
Dos naturales distintos pueden tener la misma imagen por p
p(6) = p(1) = p(8) = p(18) = {, }
Si a, b designan naturales
Entonces a | b p(a) p(b)
p(1) p(a) p(0)
a b = 1 p(a) Y p(b) = X
Para todo natural n 0, designemos mediante sp(n) el producto de los
53


nmeros primos de p(n)
Luego se tiene sp(8) = sp(1) = sp(6) = 6
sp(a) | sp(b) p(a) Z p(b)
8 Si p
1
, p

designan naturales primos distintos,

Entonces para todo n
1
, n

Z :
1
n
1
p

p

= 1
9 Si p
1
, , p
k
designan naturales primos distintos dos a dos y los a

, b

designan naturales,
Entonces
1 k 1 k
a a b b
1 k 1 k
p p = p p para todo i Z {1, , k}, a

= b

* * = * * para todo i Z {1,, k}: a = b

1 k
a a
1 k
p p = 1 todos los a

son nulos
10 Si p
1
, , p
k
designan naturales primos distintos dos a dos y los
a

, b

designan naturales,
Entonces
1
a
1
p

p
k
a
k
p = 1

p . . .
k
a
k
p = 1

k-1
a
k-1
p
k
a
k
p = 1

54




,


MCD , MCM Y FACTORIZACIONE$ PRIMA$
Sea a un nmero natural (distinto de 0 y de 1) dado por su factorizacin prima
a = 5 e e e 7 e e e e 11 e 5 e 17 e 11 e 11
Es ms claro expresar esta factorizacin bajo la forma
a = e e e e e 5 e 5 e 7 e 11 e 11 e 11 e 17
o mejor an, utilizando los exponentes,
a =

e 5

e 7 e 11

e 17
De manera general, todo natural n distinto de 0 y de 1 se escribe
1 h
n n n
1 h
n = p p p

donde los p

son naturales primos distintos dos a dos, y los n

son naturales no
nulos
Y tambin, utilizando el subterfugio de los exponentes nulos, los naturales b, c
distintos de 0 y de 1, se escribirn
1 k
b b b
1 k
b = p p p

1 k
c c c
1 k
c = p p p

donde los p

son naturales primos distintos dos a dos

los b

son naturales, no todos nulos

los c

son naturales, no todos nulos

Entonces,
1 1 k k
b +c b +c b +c
1 k
bc = p p p

De donde resulta la
!74548icin 26
$i
k 1 2
s s s
1 2 k
s p p ... p y
k 1 2
t t t
1 2 k
t p p ... p donde los p

son naturales primos distintos dos a dos los s

y los t

son naturales
55


Entonces s l t para todo i Z ]1. 2 . . . k } s

A t

EJEMPOS
1 1 00 =

7 100 =

0
5

7
1
68 =

7 68 =

5 7
1

1 = 5 7
1 00 68 puesto que >
Y div 1 00= {
u
5
v
7
w
/ u Z {0, 1,, } v Z {0, 1, }
w Z {0, 1} }
Y div 68 = {
u
5
v
7
w
/ }
5 Y dlv {1 00, 68} = {
u
7
v
/ u Z {0, 1, } v Z {0, 1 }}
6 1 00 68 =

0
5
0
7
1

7 alcula Ydiv {
Ahora es fcil calcular al mcd y el mcm de toda pareja de nmeros
naturales, de los cuales se conocen las factorizaciones primas

!74548icin 27
$i
k 1 2
b b b
1 2 k
b p p ... p y
k 1 2
c c c
1 2 k
c p p ... p
donde los p

son naturales primos distintos dos a dos

los b

y los c

son naturales
Entonces b c
k 1 2
g g g
1 2 k
p p ... p y b ' c
k 1 2
m m m
1 2 k
p p ... p
donde para todo i Z ] 1 . . . k } . g

es el menor y m

es el mayor de
los numeros b

!74548icin 28
El producto de toda parefa de numeros naturales es igual al producto de su m.c.d. por su
m.c.m.
Es decir
56


Para todo b c Z b c b c b ' c
Dem4897,cin
('erificar que la proposicin es vlida cuando uno de los nmeros b o c es igual a
0 a 1)
Supongamos b y c distintos de 0 y de 1
on las anotaciones de la proposicin 7
b c =
1 1 2 2 k k
b c b c b c
1 2 k
p p ... p


b c e b ' c =
1 1 2 2 k k
g m g m g m
1 2 k
p p ... p


Pero, para todo i Z { 1, , k } : b

+ c

= g

+ m

l q q d
Si los naturales b, c no son nulos,
Entonces b c 0 y la frmula de la proposicin 9 se escribe
b ' c =
bc
b c



EJERCICIOS
1 Para todo a, b Z : a b e a ' b = l ab l
Si a Z y b Z
0

Entonces
, , b
, b b

alcula
6 ' 5 , ' 11 , 51 ' 6 , 1 0 ' 65
!74548icin 29
Para todo a b c Z . a c 1 a b a bc
Dem4897,cin
Basta establecer la proposicin cuando a, b, c son naturales
Dejamos al lector la verificacin en el caso en que los nmeros a, b, c son 0 1
En adelante supondremos que a, b, Z {0, 1}
on las anotaciones usuales y los p

designando nmeros primos distintos dos a

dos, se tiene
57


1 n
a a a
1 n
a = p p p
1 n
b b b * * *
1 n * * *
b = p p p p p p ...
c =
* * *
* * *
p p p ...
bc =
1 n
b b b * * *
1 n * * *
p p p p p p ... (puesto que a c = 1)
Luego en virtud de la proposicin 7
a b =
1 2 n
g g g
1 2 n
p p ... p = a bc
de donde
i Z {1, , n} : g
i
es el menor de los nmeros naturales a

, b

l q q d


NMERO$ NAT&RALE$ PRIMARIO$
Definicin 12
$e llaman numeros (naturales) primarios a las potencias pn donde p es un natural
primo y n es un numero natural no nulo p
n
es el natural primario de numero primo
p y de exponente n


'eamos el siguiente fragmento del cuadro (infinito) de naturales primarios




UADRO DE LOS UEROS A%URALES PRAROS
e e
e e e e e e e
e e e e e e e e e
e e e e 11
9
1
9
e e e e

8

8
5
8
7
8
11
8
1
8
17
8
e
8
e e

7

7
5
7
7
7
11
7
1
7
17
7
19
7

7
e e

6

6
5
6
7
6
11
6
1
6
17
6
19
6

6
9
6
e
58



5

5
5
5
7
5
11
5
1
5
17
5
19
5

5
9
5
1
5

11

17

19

11

17

19

11

17

19

1


5 7 11 1 17 19 9 1


A menudo ser cmodo representar los naturales primarios mediante puntos dis-
puestos de la siguiente manera:





DAGRAA DE LOS EROS A%URALES PRAROS
e e
e e e e e e e
e e e e e e e e e e e
e e e e e e e e e
8
e e
e e e e e e e e e e e
e e e5
6
e e e e e e e e
e e e e e e e e e e e
e e e e e11

e e e e e e


e e e e e e e e e e e


e e e e e e e17

e e e e
e e e e e e e e e e e
5 7 11 1 17 19 9 1

EJEMPOS
1 El conjunto de nmeros naturales primarios es numerable
Los naturales 0 y 1 no son primarios
Los nmeros 6, 10, 100, 1 96 no son primarios
%odos los naturales primos son primarios
59


5 %odo natural estrictamente mayor que 1 es un producto de naturales
primarios cuyos nmeros primos son distintos dos a dos
Definicin 13
Para todo n Z se anota 6(n) el confunto de divisores naturales primarios de n




EJEMPOS Y PROPIEDADES INMEDIATAS

1 18 =

70 =

5
q(18) = {, ,

} q (70) = {,

, ,

, 5}
q (1) = X
q (0) = conjunto de naturales primarios
q (0) es un conjunto infinito
Para todo n Z : q(n) div (n)
Para todo n Z
0
: div (n) es un conjunto finito
Para todo n Z
0
: q(n) es un conjunto finito
5 Si n Z Entonces q(n) es infinito n = 0
6 En virtud de la prop 6 del c :
n Z - {1} : q(n) X
7 Si n Z Entonces q(n) = X n = 1
8 ules son los ms altos divisores naturales primarios de
70 =

5
1

9 Si n es un natural estrictamente mayor que 1
Entonces n es el producto de sus ms altos divisores naturales primarios
10 Si conoces q(n) (finito y no vaco)
60


Entonces conoces los ms altos divisores naturales primarios de n
Luego, conoces n
11 Si a, b Z Entonces q(a) = q(b) a = b

01inicin 14
] 6(n) / n Z }



Si n Z
Entonces q(n)
q(n) Z !( )
%engamos en cuenta que es
conjunto de partes de q(0)
X = q(1) Z y q(0) es el nico conjunto infinito perteneciente a
Hemos demostrado la
!74548icin 30
6 . , n 6(n) es una biyeccion

Luego, para todo a, b Z : q(a) = q(b) a = b
Adems q(a) = X a = 1
q(a) es infinito a = 0


I$OMORFI$MO q : ( , ) ( , )

!74548icin 31
Para todo a b Z . a , b 6(a) 6(b)

Dem4897,cin

qn
)
!(
qn)

61


, )
, )
a
b
qa)
qb)
q

Ya hemos probado esta equivalencia cuando los naturales a, b son estrictamente
mayores que 1

1 es el elemento ms bajo de ( , | )
q (1) es el menor elemento de ( , )
As mismo,
0 es el elemento ms alto de ( , | )
q(0) es el mayor elemento de ( , )

La equivalencia a | b q (a) q (b)
es, pues, verdadera para todo a, b Z lqqd
















I$OMORFI$MO q: ( , , , ) ( Y , , )
!74548icin 32
Para todo a b Z . 6(a b) 6(a) Y 6(b) , 6(a b) 6(a) 6(b)
62



El lector verificar sin dificultad que estas frmulas continan siendo vlidas
cuando por lo menos uno, de los nmeros a, b Z {0, 1}
Las proposiciones 0, 1 y se expresan simultneamente en el

10or02a 5
6 .
n 6(n)
es un isomorfismo de ( , ) sobre ( Y )



En frmulas:
Para todo a, b Z :
q(a) = q(b) a=b
q(a) infinito a = 0
q(a) = X a = 1
a | b q(a) q(b)
q(a b) = q(a) Y q(b) , q(a b) = q(a) q(b)












qa)
qb)
qab)
q0)
63


PROPIEDADE$ DE ( , , )
omo q
-1
:
q(n) n
es un isomorfismo de ( , Y, ) sobre ( , , ', |)
las propiedades de ( , Y, ) se transmiten a ( , , ')
( , Y, )
es un modelo perfecto de
( , , ' )
%odas las propiedades de ( , Y, )
se reflejan perfectamente en ( , , ' )
Las leyes Y y son conmutativas, asociativas y mutuamente distributivas
Luego
Las leyes y ' son conmutativas, asociativas y mutuamente distributivas

10or02a
En ( ') las leyes y ' son conmutativas asociativas y
mutuamente distributivas.
0 es neutro para y absorbente para '
1 es neutro para ' y absorbente para

omo consecuencia de la asociatividad de y ' escribiremos, como de
costumbre:
Para todo a, b, c Z : a b c = (a b ) c = a (b c)
a ' b ' c = (a ' b) ' c = a ' (b ' c)
Adems, en virtud de la asociatividad general,
para todo a
1
, , a
k
Z : a
1
a
k
y b
1
' ' b
k
designan nmeros
naturales bien determinados
a
1
a
k
es el mximo comn divisor de { a
1
, , a
k
}
Luego a
1
a
k
= { a
1
, , a
k
}
64


Anlogamente a
1
' ' a
k
es el mnimo comn mltiplo de los mltiplos
naturales de todos los a
i
, lo que nos permite anotar
a
1
' ' a
k
= ' { a
1
, , a
k
}
Definimos el mcd P de toda parte finita P de y el mcm ' P
de toda parte finita P de
Si P es una parte infinita de
Entonces cul es el conjunto de nmeros naturales que son multiplos
de todos los elementos de P?
En virtud del teorema de la factorizacin prima de los naturales, es fcil ver que
este conjunto es { 0 }
As resulta que el mcm de toda parte infinita de es 0
Si P es una parte infinita de
Entonces ' P = 0


EJERCICIOS
1 es el conjunto de mltiplos naturales de todos los elementos de X
' X = 1
' {0} = 0
y ' definen leyes internas en
Estas leyes son asociativas, conmutativas y mutuamente distributivas
5 Para todo a, b, c Z
0
:
a ' b ' c =
abc a b c
a b a c b c

=
abc
ab ac bc

6 Para todo a, b, c, d Z
0
:
65


a ' b ' c ' d =
abcd
abc abd ,cd bcd

7 Para todo a
1
, , a
n
Z
0
:
a
1
' a

' ' a
n
=
1 n
1 n-1 1 n- n n n
a a
a a a a a a a
c c






Problemas

1 Dada la sucesin 70 71 7 700, cuntos trminos son mltiplos de
?
De los 1500 primeros nmeros enteros positivos, cuntos son mltiplos de
5, pero no de 15?
Halle la cantidad de nmeros de tres cifras que sean
0
8 Y
0
12 a la vez
Si el nmero 0 61(5 x) x8 es mltiplo de 9 determine el valor de x
5 La profesora iriam se encuentra en una feria de libros y dispone de S/ 100
para comprar 0 libros, de S/ 1 S/ y S/ 1 Si desea comprar aunque
sea un libro de cada precio, cuntos libros de S/ 1 compr iriam?
6 'ictoria va de compras al mercado, adquiere duraznos a S/ 6 el kilogramo y
manzanas importadas a S/ 8 el kilogramo Si gast en total S/ 68, calcule
el nmero de kilogramos de manzanas que compr, si ste es el mayor
posible
7 Orlando trabaja 5 das seguidos y descansa el sexto da Empez a trabajar
el lunes de septiembre del 007 en qu fecha Orlando descansar un
domingo por segunda vez?
8 Un libro tiene 65 hojas Sonia lee dos pginas el primer da pginas el
segundo da 6 pginas el tercer da y as sucesivamente Qu da ser
cuando lea la ltima pgina, si la primera hoja la empez a leer el 1 de
octubre?
66


9 Williams podra ahorrar S/ 00 diarios, pero cada vez que sale con Zoraida
gasta S/ 90 y cada vez que sale con raida gasta S/ 60 Si todos los das
sale con una de ellas y ya tiene ahorrado S/ 100, cuntas veces sali con
raida sabiendo que sali el mayor nmero de veces con ella?
10 ul es la menor cantidad de objetos que agrupndose de en de 6 en 6
y de 15 en 15 siempre sobran pero agrupndose de 7 en 7 no sobra
objeto alguno?
11 El residuo por exceso que se obtiene de dividir el nmero
entre 11 es:
1 untos valores toma n , si
0
n 5n
1 Halle el valor de a + b + c si
0 0 0
11 7 9 cab abc cba
1 En una fiesta, los nios, jvenes y adultos suman 85: Los 5/11 de los
jvenes son mujeres el nmero de adultos es igual a la stima parte del
nmero de jvenes Adems el nmero de nios es menor que el nmero de
adultos y la tercera parte de los jvenes estn en el jardn alcular el
nmero de nios
15 En una reunin de estudiantes hay 690 personas Del total de mujeres, se
observa que los 5/8 son menores de 0 aos, los /11 usan jeans y los /5
estudian atemtica cuntos varones hay en la reunin?
16 Un gerente de recursos humanos, al ser preguntado por el nmero de
personas que laboran en la empresa contesta: El personal masculino est
comprendido entre 170 y 00 la tercera parte de ellos usan anteojos y la
mitad son casados En cuanto al personal femenino, ste es la onceava parte
del personal masculino Determine el nmero total de empleados
17 ostrar que la suma de los cubos de tres nmeros enteros consecutivos es
mltiplo de
18 La suma de dos nmeros primos es 81 determine la diferencia de ambos
nmeros
19 La suma de cinco nmeros primos distintos es 8 y los cuatro mayores estn
en progresin aritmtica de razn 6 Halle el producto de los dos mayores
0 Si el nmero ab0ab tiene 0 divisores y divisores primos, halle a + b, si a
> b
1 Si (a b) = 88 y a

+ b

= 000, halle a + b
alcular a y b sabiendo que a+b = 50 adems D(ab) = 50
47
55 55685
cifras

67


Hallar el valor de n si el de los nmeros a = 50 x 75
n
y b = 75 x
18
n
tiene 550 divisores
Si el (a6b) = 806 y adems el D(77a11b) = 88, hallar el valor
de a x b
5 Un comerciante realiza dos ventas consecutivas, por s/ 9750 todas las
unidades del artculo A y por S/ 150 todas las unidades del artculo B Si
cada unidad de cada artculo tiene el mismo precio, es el mayor posible y es
una cantidad entera, cuntas unidades vendi en total?
6 %res cuerdas tienen una longitud de 100 cm cada una Una cuerda tiene
marcas de color rojo, otra de color amarillo y la restante de color verde, que
las dividen en 0 y 0 partes iguales respectivamente Si los extremos
de la cuerda tambin fueron marcados, cuntas veces las marcas de los
diferentes colores coinciden en un mismo punto?
7 untas cajas cbicas como mximo podr utilizar ara para empaquetar
1000 barras de jabn cuyas dimensiones son de 0 cm, 15 cm y 1 cm,
de modo que todas estn completamente llenas?
8 En cuatro avenidas de la ciudad, cuyas longitudes son 150, 1980, 151 y
1890 metros, respectivamente, se proyecta hacer plantaciones equidistantes
de rboles a la mayor distancia posible untos rboles se necesitan para
cumplir esta tarea?
9 En una competencia automovilstica de 8 horas de duracin, alrededor de un
veldromo circular, en un instante dado dos autos A y B pasaron juntos por
el punto de partida y luego se comprob que A demor 6 minutos en dar
una vuelta al circuito y B demor 0 minutos Despus de qu tiempo los
autos A y B volvieron a pasar juntos el punto de partida y cuntas vueltas
habrn dado cada uno para esto?
0 Se colocan estacas igualmente espaciadas alrededor de un campo triangular,
con una puerta en el centro del lado ms largo, sujeto por dos de las estacas
mencionadas Se sabe, adems, que hay una estaca en cada vrtice del
tringulo y los lados miden 180, 0 y 0 metros la puerta mide m de
ancho y la distancia entre estacas est comprendida entre 10 y 0 metros
untas estacas se necesitarn?
1 Wilder tiene barriles con 50, 70, 60 y 900 litros de vino y quiere
vaciarlos en envases de igual capacidad, de modo que de cada barril salga el
menor nmero de envases Halle la cantidad de envases que se obtienen
Por concepto de entradas, de un cierto espectculo, se recaud durante
das S/ 5068, S/ 88 y S/ 0 Determine cuntas personas han
asistido en los das sabiendo que el precio de las entradas es el mismo en
los das y es un nmero entero comprendido entre S/ 9 y S/ 7
68

ta a-|tmt|ca de |e: ame-e: -ac|eaa|e:


NMERO$ RACIONALE$
= {a/b a Z , b Z
0
}

= {q Z q K 0 }
0
= {q Z q 0}
0

= {q Z q > 0 }

es el conjunto de (numeros) racionales

es el conjunto de racionales positivos

0
es el conjunto de racionales no nulos
69


0

es el conjunto de racionales positivos no nulos, es decir, de racionales

estrictamente positivos







EJERCICIOS
1 ( , +) es un grupo conmutativo cuyo elemento neutro es 0
(
0
, ) es un grupo conmutativo, cuyo elemento neutro es 1
( , + , ) es un subcuerpo de
(
0

, ) es un grupo conmutativo
5

,
0

,
0

son partes de estables para la adicin, que no son

subgrupos de ( , + )
6 ( , + , , A ) es un sub cuerpo ordenado de
7 ( , + , , A ) es un cuerpo arquimedeano
8 ( , + , , A ) no satisface el axioma de continuidad
FRACCIONE$ PARCIALE$
!74548icin 33
$i a Z , b c Z

, b c 1
Entonces
1 2
: : a
bc b c
con :
1
:
2
Z
Dem4897,cin
omo b c = 1, existen nmeros enteros b' , c' tales que
70


b' b' + c' c = 1
Por lo tanto
c

a a 1 a (b' b c' c)
bc bc bc
=
ab' b ac' c
bc bc


ab' ac'
c b
l q q d

%odo nmero racional q Z se escribe
q =
a
b
con a Z y b Z
0

Si b>1 Entonces b se escribe
1 n
b b
1 n
b p p
(teorema de la factorizacin prima de los nmeros
naturales)
donde los p
i
, son nmeros naturales primos distintos dos a dos y los d
i
son
naturales no nulos
!74548icin 34
$i a Z y p
1
... p
n
son numeros primos distintos dos a dos.
y d
1
. . . d
n
son naturales no nulos.
Entonces
n 1 2 n 1
n 1 2
d d d d d
1 2 1 n n
a a a a
p p p p p



con a
1
. . . a
n
Z
Dem4897,cin
En virtud de la proposicin se tiene, sucesivamente

1 n 1 n
1
d d d d d
1 n 1 n
a b a
p p p p p
(con a
1
, b

Z )
(Puesto que
1 n
d d d
1 n
p p p 1)
=
1 n
1
d d d d
1 n
b a a
p p p p
(con a

, b

Z )
(Puesto que
n
d d d
n
p p p 1)


71



=
1 n
1 n
d d d
1 n
a a a

p p p
(con a
1 ,
a
n
Z ) l q q d
!74548icin 35
$i a Z b Z
0
n Z
0

Entonces
n 1 2
n 2 n
r r r a
:
b b b b

donde : r
1
. . . r
n
son numeros enteros tales 6ue
Para todo i Z ]1 . . . n} . 0 A r
1
A b
72
Dem4897,cin
Efectuaremos n divisores eucldeas por b
%odas las letras designan nmeros enteros
y para todo i Z {1, , n} : 0 A r
1
< b
a = q
n
b + r
n

q
n =
q
n-1
b + r
n-1
= (q
n-1
b + r
n-1
) b + r
n
= q
n-1
b

+ r
n-1
b + r
n

q
n-1 =
q
n-
b + r
n-
= (q
n-
b + r
n-)
b

+ r
n-1
b + r
n
= q
n-
b

+ r
n-
b

+ r
n-1
b + r
n



q
=
q

b + r

= q
n
b
n-1
+ r

b
n-
+ + r
n-1
b + r
n
q
=
z

b + r
1


= z

b
n
+ r
1
b
n-1
+ r

b
n-
+ + r
n-1
b + r
n

1 n 1 n
n n 1 n
r r r r a
z
b b b b b
l q q d
Definicin 15
$e llaman fracciones parciales a los racionales
n
r
p
donde
n Z
0
p es un numero natural primo
y r es un natural tal 6ue 0 A r p
p
n
es el denominador de la fraccion parcial
n
r
p


10or02a 7
%odo numero racional es la suma de un numero entero y de fracciones parciales (cuyos
denominadores son distintos dos a dos).

02ostracin
El teorema resulta trivial para los nmeros enteros
%odo racional no entero q se escribe q = a/b con a Z y 1 < b Z
Luego
73
q =
1 n
d d
1 n
a
p p
(en virtud del teorema de la factorizacin prima de
los naturales)
=
1 n
1 n
d d
1 n
a a

p p
con a
1
, a
n
Z (en virtud de la proposicin 5)
Ahora bien, en virtud de la proposicin 6, cada uno de los
i
i
d
i
a
p
es la suma de
un entero y de fracciones parciales l q q d
LA RELACION DIVIDE DEFINIDA EN
, +) es un grupo conmutativo
es un subgrupo de ( , +)
Sea q un nmero racional
- ul es el subgrupo de ( , +) engendrado por q? Es decir,
el menor subgrupo de ( , +) que contiene a q
- El subgrupo de ( , +) engendrado por q es
{, -q, -q, (-1)q -q, 0 = 0q, q = 1q, q, q, q ,}
- Anotaremos muy naturalmente este grupo como
q = {q z z Z }
Diremos adems que q es el conjunto de mltiplos de q
Definicin 16
Para todo a b Z . a , b existe : Z tal 6ue b : 6
a expresion 'a , b` se lee 'a divide b`
omo antes, tambin se expresa a | b diciendo que
"a es un divisor de b o "b es mltiplo de a
"a es ms bajo que b o "b es ms alto que a
a, b Z : a | b b Z a = a
La relacin | as definida en 5rolonga la relacin | ya definida en
74
EJERCICIOS

1

5
8
0

1
9

11
7
1
1

1
9

8
7

Si q
1
Z
0
, q

Z
Entonces q
1
| q

1
q
q

Si a, b, c, d Z
0

Entonces
a
b

c
d
ad | bc
Para todo q
1
, q

Z : (q
1
| q

y q

| q
1
) q
1
= I q

5 La relacin | definida en Q es reflexiva y transitiva
Pero no es ni simtrica ni antisimtrica
6 Si q
1
, q

Entonces (q
1
| q

y q

| q
1
) q
1
= q

7 (

, |) es un conjunto no totalmente ordenado
8 El nmero 0 es el ms alto elemento de ( , |)
9 (

, | ) no contiene ningn elemento ms bajo que todo elemento de

10 (

, |) no contiene un elemento ms bajo
11 Si P Entonces div P = {q Z | p Z P : q | p}
Si B = {
n
1

| n Z } Entonces div B = X
Los elementos de B no admiten ningn divisor comn



75
FACTORIZACIONE$ PRIMA$ DE NMERO$ RACIONALE$
Demostraremos que todo nmero racional q distinto de 0, 1, -1 admite una
nica factorizacin prima
q = I
1 n
q q
1 n
p p
donde los p
i
son naturales primos distintos dos a dos y los q
i

son nmeros enteros, no todos nulos
El signo + se utiliza, evidentemente, para los racionales estrictamente positivos,
el signo - para los racionales estrictamente negativos
Por lo tanto, podemos limitamos a considerar slo el caso de racionales
estrictamente positivos, distintos de 1
Para establecer la unicidad de las factorizaciones primas en , utilizamos el
hecho de que
Si p
1
, , p
n
son naturales primos distintos dos a dos
y a
1
, , a
n
son naturales, no todos nulos
Entonces
1 n
a a
1 n
p p 1
omencemos por demostrar una proposicin anloga cuando los exponentes son
nmeros enteros

!74548icin 36
$i p
1
... p
n
son naturales primos distintos dos a dos
y a
1
... a
n
son enteros racionales

Entonces
n 1
a a
1 n
p p 1 todos los a
i
son nulos.

Dem4897,cin
( ) Es evidente
( )
1 n
a a
1 n
p p =
1 n
1 n
b b
1 n
c c
1 n
p p
p p
= 1
donde i Z {1, , n} : b
i
es el mayor y -c
i
es el menor de los nmeros 0,
a
i

76
1 n
b b
1 n
p p =
1 n
c c
1 n
p p (1)
Para todo i Z {1, , n} , uno de los nmeros b
i
, c
i
, es nulo y el otro es igual
a | a
i
|
Siendo naturales los exponentes que figuran en la frmula (1), aplicamos el
teorema de la factorizacin prima de los nmeros naturales,
i Z {1, , n} : b
i
= c
i
= = 0
i Z {1, , n} : a
i
= 0 l q q d

10or02a 8 (10or02a d0 la 1actorizacion pri2a d0 nu20ros racional0s)
%odo racional 6 distinto de 0 1 -1 admite una sola factori:acion prima
6 I
h 1
6 6
1 h
p p
donde los p
i
son naturales primos distintos dos a dos y los 6
i
son numeros enteros no
nulos.
02ostracin
1 Existencia
Sea q Z
0

y q 1
q =
a
b
con a, b Z
0

En virtud del teorema de la factorizacin prima de nmeros naturales, y gracias
al subterfugio de los exponentes nulos,
q =
1 n
1 n
a a
1 n
b b
1 n
p p
p p

donde los p
i
son naturales primos distintos dos a dos y los a
i
, b
i
son naturales
Luego q =

1 1 n n
a b a b
1 n
p p
omo q 1, los a
i
- b
i
no son todos nulos
Dejemos de lado los

i i
a b
i
p para los cuales a
i
- b
i
= 0
ediante una eventual nueva numeracin de los p restantes, se obtiene
finalmente
q =
1 h
q q
1 h
p p

77
donde los p
i
son naturales primos distintos dos a dos y los q
i
son enteros no
todos nulos
2 Unicidad
Sean p
1
p
n
naturales primos distintos dos a dos
y a
1
,, a
n
, b
1
,, b
n
nmeros enteros
Si
1 n
a a
1 n
p p =
1 n
b b
1 n
p p
Entonces
1 n
1 n
a a
1 n
b b
1 n
p p
p p
= 1


1 1 n n
a b a b
1 n
p p = 1
a
1
- b
1
= = a
n
- b
n
= 0 (prop 6) lqqd
Sean z Z
0
y q Z
0

z = I
1 k
n n
1 k
p p q = I
1 k
q q
1 k
p p
donde los p
i
son naturales primos distintos dos a dos
los n
i
son naturales
los q
i
son enteros
z q = I

1 1 k k
n q n q
1 k
p p
De donde resulta la
!74548icin 37
$i a I
n
a a
n
5 5 b
n
b b
n
5 5
donde los p
i
son naturales primos distintos dos a dos
y los a
i
b
i
son numeros enteros
Entonces a , b i Z ]1 . . . n} . a
i
A b
i

Luego, resulta que
a relacin , definida en es reflexiva y transitiva
Adems, a, b Z : (a , b y b , a) a = I b
En particular,
78
Si a, b Z

Entonces (a , b y b , a) a = b
(

, ) es un conjunto ordenado pero no totalmente

EJERCICIOS
1
1
6
=
-1
e
-1
12
49
=

e e

7
-

2
= 7

-1
0,65 =
-
e 5

0,00 =
-
e

5
-

dibuja el esquema de la relacin , en el conjunto
{

5
0,5 1 -0,5
15
8

1

0}
MCD y MCM DE DO$ NMERO$ RACIONALE$
onsideremos primero el caso en el cual uno de los racionales es nulo
%odo racional divide a 0 y 0 es el nico mltiplo de 0
Para todo q Z , el nmero , q , es el nico racional positivo cuyo conjunto de
divisores es igual al conjunto de divisores comunes de 0 y q
Este hecho se expresa diciendo que , q , es el mcd de 0 y de q lo cual se
anota
0 q = , q , = q 0
0 es el nico nmero racional mltiplo comn de 0 y q
Este hecho se expresa diciendo que 0 es el mcm de 0 y q, lo cual se anota
0 v q = 0 = q v 0
Sean a = I
1 n
a a
1 n
p p y b = I
1 n
b b
1 n
p p dos nmeros racionales no
nulos donde los p
i
son naturales primos distintos dos a dos
y los a
i
, b
i
son nmeros enteros
79
Para todo i, designaremos con g
i
el menor y con m
i
el mayor de los enteros a
i
, b
i

En virtud de la proposicin 7, el nmero g =
1 n
g g
1 n
p p es el nico
racional positivo cuyo conjunto de divisores es el conjunto de divisores comunes
de a y b
Este hecho se expresa diciendo que g es el mcd de los racionales a, b y se
anota a b = g = b a
Anlogamente, m =
1 n
m m
1 n
p p es el nico racional positivo cuyo
conjunto de mltiplos es el conjunto de mltiplos comunes de a y b
Este hecho se expresa diciendo que m es el mcm de los racionales, a y b se
anota a b = m = b a
!74548icin 38
$i a I
n 1
a a
1 n
p p y b I
n 1
b b
1 n
p p donde los p
i

designan numeros naturales primos distintos dos a dos y los a
i
b
i
Z
Entonces a b
n 1
g g
1 n
p p y a b
n 1
m m
1 n
p p
donde para todo i. g
i
es el menor y m
i
es el mayor de los numeros a
i
b
i

Ademas para todo 6 Z . 0 6 ,6, 6 0 y 0 6 0
6 0
Estas frmulas muestran que las leyes , definidas en prolongan las
anteriormente definidas en
Adems
a, b Z : a b e a ' b = ,a e b,
a, b, c Z : ac bc = ,c, e a b y ac ' bc = ,c| e a ' b
En particular
a, b Z n Z
0
:
,
n

b
n
=
, b
n

y
,
n
'
b
n
=
, b
n

Pero todo par de racionales puede ser escrito
,
n
,
b
n
con a, b Z y nZ
0

Luego
Para todo a, b, c Z :
a b = b a a v b = b v a
a (b c) = (a b) c a v ( b v c) = a v b) v c
80
a (b v c) = (a b) v (a c) a v ( b c ) = (a v b) (a v c)

!roposicin 39
En ( v)
as leyes v son conmutativas asociativas y mutuamente distributivas
Evidentemente sucede lo mismo en (

')
Se observar que en (

') : 0 es neutro para
y absorbente para '
La ley ' no admite neutro
La ley no admite absorbente

!74548icin 40

En el m. c. d. de dos numeros racionales cuales6uiera es combinacion lineal con
coeficientes enteros de dichos numeros.

Dem4897,cin
Sean q
1
, q

Z
Sean q
1
= a/n y q

= b/n con a, b Z y n Z
0

Luego q
1
q

=
,
n

b
n
=
, b
n

Adems a b = a a + b b con a , b Z
De donde
q
1
q

=
, b
n

=
, , b b
n
=
, b
, b
n n
= a q
1
+ b q

l q q d
omo consecuencia de la asociatividad de el m c d q
1
q
n
de toda
sucesin de racionales queda claramente definido
Aplicando la proposicin 0, resulta fcilmente que
q
1
q
n
= z
1
q
1
+ + z
n
q
n
donde los z
i
Z
81

EJERCICIOS
1 a,b Z : a b = (-a) b = a (- b) = (-a) (- b) = lal lbl
a b = (-a) b = a (- b) = (-a) (- b) = lal lbl

1

=
1

=
1

=

1

7

5

7

5

=
1

a , b Z : a b = 1 a , b Z
a , b Z
0
a
-1
b
-1
= (a b)
-1
a
-1
b
-1
= (a b)
-1

5 a , b Z
0
: q q
-1
= (q q
-1
)
-1

6 a , b Z
0

: a b = (a b)
-1
b = a
-1

7 %oda cupla de nmeros racionales primos entre s es una cupla de nmeros
enteros primos entre s
8 a , b Z : a b Z a, b Z
9 a , b, c, d Z
0
:
a b = 1 y c d = 1
a
b

c
d
=

a c
b d


a
b

c
d
=

a c
b d

10 El numero 1 es absorbente de ( , y neutro de ( ,
El numero 1 no es absorbente de ( , ni neutro de ( ,


$&BGR&PO$ DE ( , +)
Sean a, b Z
Ya sabemos que el menor subgrupo de ( , +) que tiene a a es
md a = a = {za z Z }

1 =
1

82
El menor subgrupo de ( , +) que contiene {a, b} es
md {a, b} = { a' a + b' b a', b' Z }
!74548icin 41
a b Z . mod ]a b} mod (a b)
Dem4897,cin
1) a b = a a + b b con a , b Z (prop 0)
a, b Z md {a, b}
md {a b} es un subgrupo de ( , +) que comprende a b
md (a b) es el menor subgrupo de ( , +) que comprende a b
md a b) mod {a,b}
) (a b) a luego a Z md (a b)
(a b) b luego b Z md (a b)
md (a b) es un subgrupo de ( , +) que contiene {a, b}
md {a, b} es el menor subgrupo de ( , +) que contiene {a, b}
md {a, b} md a b)
l q q d
Generalizando, para toda parte finita F = {q
1
, , q
n
} el menor
subgrupo de ( , +) que contiene a F es
md F = { z
1
q
1
+ + z
n
q
n
/ z
1
, , z
n
Z }
De la observacin final de la seccin tambin se tiene que
md {q
1
, , q
n
} = mod (q
1
q
n
)
De manera que todo subgrupo de ( , +) engendrado por una parte finita de
( , +) est engendrado por uno de sus elementos
Pero no sucede lo mismo con todos los subgrupos de ( , +)
El conjunto L de decimales limitados es un subgrupo de ( , +)
Este subgrupo no est engendrado por ninguno de sus elementos
En efecto, sea b un nmero decimal limitado que tiene exactamente n cifras
despus de la coma
Los elementos de md b son, por consiguiente, decimales limitados que
comprenden, a lo sumo, n cifras despus de la coma
83
Luego

1
0,0 . . . 0 1
3 .17,8
pertenece a L pero no pertenece a md b



EJERCICIOS

1 es un subgrupo de ( , +) que no est engendrado por ninguno de sus
elementos
Justifica cada etapa de la demostracin de la proposicin 1