You are on page 1of 75

Aritmtica de Nmeros Enteros

Pablo De Npoli versin 0.7.8

Resumen
Este es un apunte de las tericas de Algebra I, turno noche del primer cuatrimestre de 2007.

Dios cre los nmeros naturales. Todo lo dems es invento del hombre. Leopold Kronecker (1823-1891) La matemtica es la reina de las ciencias, y la teora de los nmeros es la reina de la matemtica. (Carl F. Gauss, 17771855)

1.

Divisibilidad
Recordamos algunas notaciones usuales: Notamos por

N al conjunto de los nmeros naturales (o enteros positivos) N = {1, 2, 3, . . .}

y por

N0 al conjunto de los nmeros naturales incluyendo al cero (tambin

llamados enteros no negativos):

N0 = {0, 1, 2, 3, . . .}
Finalmente, notamos por negativos y cero)

Z al conjunto de los nmeros enteros (positivos,

Z = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .}

Notas de lgebra I - c 2007 Pablo L. De Npoli

En el conjunto resta

de los nmeros enteros, las operaciones de suma

ab

y producto

ab

son siempre posibles . En cambio, la

a + b, divisin a : b 2
tal

no es siempre posible. Por ejemplo, la divisin que

6 : 3

es posible, ya que existe un entero

6 = 3 2.

Mientras que la divisin

7:3

no es posible, ya que no existe

ningn entero

tal que

7 = 3c.

Esto motiva la siguiente denicin:

a, b Z dos enteros, b = 0, diremos que b divide a a, o que a es divisible por b, o que a es un mltiplo de b, o que b es un factor de a si existe algn entero c Z (necesariamente nico) tal que a = bc. (De modo que a : b = c). Simbolizamos este hecho mediante la notacin: b|a
Sean
Por ejemplo,

Denicin 1.1

divide a

6,

pero

no divide a

7.

Algunas propiedades elementales de la divisibilidad son las siguientes: Para cualquier

a Z, a = 0; a|a (ya que a = a1). Es decir, la relacin a Z , a = 0;


tenemos que

de divisibilidad es reexiva. Para cualquier Para cualquier

a|0.

(a)).
Si

Vemos

a Z , a = 1; 1|a y 1|a (ya que a = 1 a = (1) 2 que 1 y 1 son divisores universales .

a|b y b|c (siendo a, b = 0) entonces a|c, vale decir que la divisibilidad

es una relacin transitiva.

Prueba: Como a|b, existe un entero e tal que


b = ae
y como

b|c,

existe un entero

tal que

c = bf
1 Esto suele expresarse en lgebra diciendo que

es un anillo. Ms adelante veremos

otro ejemplo de anillos como los polinomios, en los cuales tambin es posible desarrollar una teora de la divisibilidad, en estrecho paralelismo con la aritmtica de los enteros.

2 En la terminologa usual en lgebra, esto se expresa diciendo que

son las unidades

de

Notas de lgebra I - c 2007 Pablo L. De Npoli

Sustituyendo en esta ecuacin el valor de asociativa del producto:

b,

y usando la propiedad

c = (ae)f = a(ef )
Concluimos que Si

a|c. (a)|b, a|(b)


y

a|b,

entonces

cuestiones de divisibildad los nmeros valentes

(a)|(b). Vale decir que para las a y a son completamente equi-

(podemos olvidarnos del signo cuando estamos estudiando

cuestiones de divisibilidad) Si

b|a

siendo

a, b = 0,

entonces

|b| |a|.

Prueba: Si b|a, entonces existe un c tal que a = bc. Tomando mdulo,


tenemos que:

|a| = |b||c|
y como

|c| 1

(ya que si

c=0

entonces sera

a = 0),

concluimos que:

|a| |b|

Si

a|b

b|a

(siendo

a, b = 0)

entonces

a = b.

Prueba: Por la propiedad anterior, |a| |b| y |b| |a|. En consecuencia,

|a| = |b|.

Y concluimos que

a = b.

En particular, concluimos que si nos restringimos a los enteros positivos, la relacin de orden resulta antisimtrica. Siendo reexiva, antisimtrica y transitiva, concluimos que la divisibilidad es una relacin de orden (en sentido amplio) en ya que no es Si que existen elementos incomparables (por ej:

N. Sin embargo, no es una relacin de orden total, ya 3 y 5 son incomparables, cierto que 3 divida a 5, ni tampoco que 5 divida a 3). a|b + c
y que

a|b

a|c,

se tiene que

a|b c.

Prueba: Como a|b, existir un entero e tal que:


b = ae
3 En la terminologa usual en lgebra, se dice que

son elementos asociados de

Notas de lgebra I - c 2007 Pablo L. De Npoli

y como

a|c,

existir otro entero

tal que:

c = af
Sumando estas dos ecuaciones, y aplicando la propiedad distributiva, tenemos que:

b + c = ae + af = a(e + f )
Concluimos que

a|b + c.

Similarmente, tenemos que:

b c = ae af = a(e f )
y concluimos que

a|b c.

2.

Nmeros Primos
Decimos que un nmero

Denicin 2.1

p N, p > 1

es

primo,

cuando

sus nicos divisores (en

N)

son

que no son primos, se denominan

compuestos. Un nmero n es compuesto


n = n1 n2
donde

p.

Los nmeros naturales mayores que

1,

si es posible expresarlo en la forma

1 < n 1 , n2 < n .

Los primeros nmeros primos (menores que 100) son

2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97
La importancia de los nmeros primos radica en que en algn sentido son los tomos o bloques con los que se forman los dems nmeros:

Teorema 2.1 Prueba:


menores que

Todo entero

n > 1,

o bien es primo o se puede descomponer

como producto de nmeros primos.


Hacemos induccin global en

n.

Para

n = 1

no armamos nada

(luego el teorema es trivialmente cierto en este caso). Consideremos pues un nmero

n > 1, y que n. Si n

supongamos que el teorema es cierto para los nmeros es primo, tampoco armamos nada. Supongamos pues

producto de dos nmeros naturales

n es compuesto. En este caso, por denicin, es posible escribir a n como n1 , n2 N menores que n n = n1 n2

Notas de lgebra I - c 2007 Pablo L. De Npoli

Pero por hiptesis de induccin entonces, producto de primos:

n1

n2

se descomponen como

n1 = p1 p2 . . . pk n 2 = q 1 q 2 . . . qs
donde

p 1 , p 2 , . . . pk

q1 , q2 , . . . qs

son primos. Entonces

tambin se puede

descomponer como producto de primos:

n = p 1 p 2 . . . p k q 1 q 2 . . . qs
En virtud del principio de induccin global, concluimos que el teorema es verdader para cualquier

n N. n>1
que no sea primo, es divisible por

Corolario 2.1
un primo.

Todo nmero entero

Por ejemplo, supongamos que queremos obtener una descomposicin de

60 como producto de primos. 4 = 2 2 y 15 = 3 5, luego

Comenzamos escribiendo

30 = 4 15.

Pero

60 = 2 2 3 5
(Observemos que algunos primos pueden repetirse en la factorizacin) Constituye un hecho de fundamental importancia (conocido como teorema fundamental de la aritmtica) es que la descomposicin de un entero como producto de primos

es nica,

salvo el orden de los factores. Demos-

traremos esto ms adelante (obtendremos este heho, como una consecuencia del algoritmo de Euclides para el clculo del mximo comn divisor). Otra observacin importante es que si bien es relativamente sencillo obtener la factorizacin en factores primos para nmeros pequeos, no se conoce ningn algoritmo eciente (esto es: un procedimiento efectivo) para la obtencin de la descomposicin en factores primos de nmeros grandes . Otro hecho muy importante, ya demostrado por el matemtico griego Euclides (que vivi aproximadamente hacia el 300 A.C.) en sus Elementos , es que el conjunto de los nmeros primos es innito:

4 Por un algoritmo eciente, queremos decir un algoritmo cuya complexijad (nmero de


operaciones requeridas) sera polinomial, como funcin del nmero de dgitos del nmero

n. Se ha conjeturado que la factorizacin en factores primos tiene complejidad exponencial


pero esto no ha sido demostrado.

edu/~djoyce/java/elements/bookIX/propIX20.html

5 Libro IX, Proposicin 20. Disponible (traducido al ingls) en

http://aleph0.clarku.

Notas de lgebra I - c 2007 Pablo L. De Npoli

Teorema 2.2 (Euclides)

Existen innitos nmeros primos.

Prueba: La prueba de Euclides de este teorema, ha quedado como un ejemplo clsico de demostracin por reduccin al absurdo. Este mtodo de demostracin consiste en suponer que el teorema es falso, y mediante una serie de pasos lgicos llegar a una contradiccin. Esta contradiccin nos permite concluir que la suposicin de que el teorema es falso no puede sostenerse, y en consecuencia, el teorema debe ser verdadero. Supongamos pues que slo existiera una cantidad nita de nmeros primos:

p1 = 2, p2 = 3, p3 = 5, . . . , pN
El argumento de Euclides, consiste entonces en formar el nmero

q = p1 p2 . . . pN + 1
Conforme al corolario del teorema anterior, o bien divisible por algn primo primos

es primo, o bien es

p1 , p2 ,

. . . pN (ya que si

q < q . Pero q no es divisible por ninguno de los pi |q entonces pi |q p1 p2 . . . pN = 1 y sera

pi = 1, lo cual es absurdo). En cualquiera de los dos casos, hemos encontrado


un primo que no no est en nuestra lista inicial, que de acuerdo a la suposicin que hemos hecho era una lista completa de todos los nmeros primos. Esta contradiccin prueba que nuestra hiptesis de que slo existe un nmero nito de nmeros primos no puede sostenerse, y en consecuencia, podemos concluir que existe un nmero innito de nmeros primos.

Ejercicio:

La prueba de Euclides no es la nica prueba posible de la

innitud de los primos. Una prueba alternativa denominados nmeros de Fermat:

debida a G. Plya utiliza los

Fn = 22 + 1
Los primeros

Fn

son

F0 = 3 F1 = 5
6 G. H. Hardy, E. M. Wright, An Introduction to the Theory of Numbers, 4ta. Edicin,
teorema 16

Notas de lgebra I - c 2007 Pablo L. De Npoli

F2 = 17 F3 = 257 F4 = 65537
y son todos primos. Fermat conjetur entonces, que los nmeros todos primos. Sin embargo, esta conjetura result ser falsa pues:

Fn

eran

F5 = 4294967297 = 641 6700417


A pesar de que los que los diferentes cuencia, cada

Fn

no son necesariamente primos, si es posible probar

Fn

son coprimos (no tienen factores en comn). En conse-

Fn

es divisible por un primo diferente y por lo tanto, podemos

concluir que existen innitos primos.

Sugerencia: Usando la identidad algebraica

xn 1 = xn1 xn2 + xn3 . . . + x 1 x+1 vlida para todo entero n par, demostrar que Fn |Fm 2 si m > n. Concluir que Fn y Fm son coprimos si n = m.

3.

El algoritmo de divisin
Toda la aritmtica gira en torno del siguiente hecho fundamental, conoci-

do desde la escuela primaria: Si bien la divisin

a : b puede resultar imposible

dentro de los enteros, siempre es posible efectuar una divisin aproximada, obteniendo un resto menor que el divisor. Por ejemplo: la divisin entera de

por

da un cociente de

con un resto de

1,

y se tiene

7 = 3 2 + 1.

El siguiente teorema, formaliza este hecho:

Teorema 3.1

Dados nmeros naturales

nmeros naturales tales que

a = bq + r

a N0 y b N 0 r < b.

existen nicos

Denicin 3.1
cociente y

En la situacin del teorema anterior, diremos que

es el

el resto en la divisin entera de

por

b.

Notas de lgebra I - c 2007 Pablo L. De Npoli

Prueba: Primero probaremos la existencia: para ello consideramos el siguiente conjunto

C = {a bk : k N0 , ab k 0} N0 k = 0 vemos que a C . En consecuencia, por el principio del mnimo entero C tiene un elemento mnimo. Llamamos r a este mnimo. Como r C , se tiene que r se escribe en la forma r = a bq para algn q N0 (y por lo tanto a = bq + r ), y que r 0. Slo falta pues probar que r < b. Si por el contrario fuera r b, podemos considerar r = r b 0. Tenemos que:
Armamos que

es no vaco. En efecto tomando

r = a bq b = a (q + 1)b r C . Pero como r < r, esto contradice el hecho de r era el mnimo de C . En consecuencia, deducimos que necesariamente r < b. Esto concluye la prueba de la parte de existencia.
Concluimos que que Ahora hemos de demostrar la unicidad: para ello supongamos que tuvieramos dos posibles cocientes decir que,

q , con sus correspondientes restos r

r . Es

a = bq + r a = bq + r

con

0r<b 0r<b

con

Entonces igualando estas ecuaciones tendramos que:

bq + r = bq + rp rime
y por lo tanto:

b(q q) = r r
En particular, vemos que

(1)

b|r r
Podemos sin prdida de generalidad, suponer que sino los nombres). Entonces conclumos que si lo tanto

rr
sera

(intercambiando

r=r,

b rr,

y por

b r.

Notas de lgebra I - c 2007 Pablo L. De Npoli

Pero sabamos que se tiene que

r < b. Esta contradiccin, muestra que necesariamente

r=r,

y entonces por (1),

b(q q) = 0
Como si el producto de dos enteros da cero, alguno de los dos debe ser cero, concluimos as mismo que

Observacin:

q=q. b|a
y slo si el resto en la

En particular, se tiene que

divisin entera de

por

es cero.

En general, en matemtica, la palabra algoritmo hace referencia a un procedimiento mecnico para calcular algo. En este caso, la prueba anterior no parece proporcionar realmente un algoritmo para calcular

q
7

r;

pero es

fcil darse cuenta que en efecto hay un algoritmo escondido en la prueba anterior: se trata del algoritmo de divisin por restas sucesivas ENTRADA: SALIDA: 1. 2.

(dividendo),b (divisor), siendo

b = 0. a
por

(cociente) y

r(resto),

en la divisin entera de

ra q0 r b,
repetir las siguientes instrucciones:

3. Mientras

a) b)

r rb q q+1

En algunas situaciones ser til considerar divisiones enteras con nmeros negativos. En este caso el algoritmo de divisin se enuncia del siguiente modo:

Teorema 3.2

Dados nmeros enteros

nmeros enteros tales que

a = bq + r
y

a, b Z0 con b = 0 0 r < |b|.

existen nicos

7 Escribimos este algoritmo en forma de


lenguaje de programacin.

pseudocdigo, fcilmente traducible a cualquier

son variables, es decir espacios en la memoria de la

computadora en los que podemos guardar datos (en este caso, nmeros). La echa se guarda temporariamente en dicha variable). Por ejemplo la asignacin el efecto de incrementar en uno el valor de la variable

representa la operacin de asignacin de un valor a una variable (es decir que dicho valor

q q+1

tiene

q.

Notas de lgebra I - c 2007 Pablo L. De Npoli

10

Prueba: El caso en que a 0, b > 0 ya lo demostramos antes. Consideremos


por ejemplo el caso dividir

en que

a<0

b > 0.

En ese caso

a > 0,

y podemos

por

utilizando el teorema anterior, para obtener un cociente

y un resto

r,

de modo que

(a) = q b + r y 0 r < b
Si

r = 0,

tenemos que:

a = (q)b
Luego tomando que:

r = 0 y q = q

tenemos lo que queremos. Si

r = 0, notamos

a = (q )b r = (q 1)b + b r
Como

0 b r < b, tomando q = q + 1 y r = b r

se cumple el enunciado.

Esto concluye la prueba de la existencia del cociente y el resto en este caso, la prueba de la unicidad es anloga a la que dimos antes. Queda ver que sucede en el caso

b < 0.

La idea es similar. Lo dejamos como ejercicio.

Ejercicio: Completar la prueba del teorema anterior, para el caso en que


b < 0.

4.

Bases de numeracin
Desde la escuela primaria estamos familiarizados con la representacin

de enteros en diferentes bases. Por supuesto, lo primero que se aprende es la base decimal (donde tenemos 10 dgitos

0, 1, 2, 3, 4, 5, 6, 7, 8, 9).

1035 = 1x104 + 0 103 + 3 101 + 5 100


Pero tambin es posible utilizar otras bases. Por ejemplo en la base binaria (base

2)

tenemos slo dos dgitos

escribe como

1011

en binario , ya que

1,

y por ejemplo el nmero once se

10112 = 1 23 + 0 23 + 1 21 + 1 20 = 11
8 Este caso nos ser til ms adelante, al estudiar congruencias. 9 Es costumbre indicar la base como subndice, as pues 102 quiere decir el nmero 3
cuyo desarrollo en base

es

102

Notas de lgebra I - c 2007 Pablo L. De Npoli

11

La base binaria es muy utilizada en computacin, debido a que los circuitos de las computadoras digitales almacenan la informacin en unidades (bits) que tienen dos estados posibles

10

, que podramos pensar como encen-

dido (tpicamente 5 volt) o apagado (0 volt). Si pensamos al estado apagado como cero, y encendido como uno. Entonces, un nmero puede representarse en una computadora como un conjunto de bits, utilizando el sistema binario de numeracin. El algoritmo para expresar un nmero en una determinada base es bien conocido desde la escuela: consiste en efectuar sucesivas divisiones enteras del nmero por la base, hasta obtener un cociente nulo. Por ejemplo: para expresar

11

en la base

efectuamos las divisiones:

11 = 5 2 + 1 5=22+1 2=12+0 1=02+1


Entonces el desarrollo de restos

11

en base

est formado por los sucesivos

1, 1, 0

1.

Notemos que los ceros a la izquierda no aportan nada: por ejemplo

00123 = 123
Salvo esta ambigedad, el desarrollo de un nmero en una base dada, es nico. Ahora enunciaremos esto como un teorema formal:

Teorema 4.1
entero

Dada una base

b 2 entera, siempre es posible escribir a cada

nN

de una nica forma como:

n = dk bk + dk1 bk1 + . . . + d2 b2 + d1 b1 + d0 b0
donde

di N0

0 di < b,

dk = 0.

Prueba:

Para probar la existencia del desarollo, utilizamos un argumento

de induccin global en Claramente

n. 1 = 1b0 .

n=1

admite el desarollo

10 De hecho la palabra

bit es una abreviatura de binary digit

Notas de lgebra I - c 2007 Pablo L. De Npoli

12

Si que

n > 1, y suponemos que el teorema es cierto para los nmeros menores n, efectuamos la divisin entera de n por b, escribiendo entonces: n = qb + d0

donde

0 d0 < b.

Pero como

Entonces por la hiptesis inductiva,

b 2, el cociente q es n admitir un desarrollo

menor que de la forma:

n.

q = dk bk1 + dk1 bk2 + . . . + d3 b2 + d2 b1 + d1 b0


(para algn

y ciertos

di

con

0 di < b,

dk = 0).

Sustituyendo vemos que:

n = dk bk + dk1 bk1 + . . . + d2 b2 + d1 b1 + d0 b0
En virtud del principio de induccin global, concluimos que cualquier

nN

admite algn desarrollo en base

b.

Para establecer la unicidad del desarrollo, procedemos tambin por induccin global en

n. i > 1, n b.
Y entonces

Claramente el nico desarrollo posible de

di = 0

para algn

n = 1 es 1 = 1 b0 debe ser 1 = d0 ).

(pues si

Supongamos pues, que el nmero

admitiera dos desarrollos en base

b:

n = dk bk + dk1 bk1 + . . . + d2 b2 + d1 b1 + d0 b0 n = dj bj + dk1 bk1 + . . . + d2 b2 + d1 b1 + d0 b0


donde 0 di < b y 0 di que los nmeros menores que

< b para todo i, dk = 0, dj = 0; n admiten un nico desarrollo.

y supongamos

Nuevamente, tenemos que:

n = qb + d0 n = q b + d0
donde

q = dk bk1 + dk1 bk2 + . . . + d3 b2 + d2 b1 + d1 b0 q = dj bj1 + dj1 bj2 + . . . + d3 b2 + d2 b1 + d1 b0

Notas de lgebra I - c 2007 Pablo L. De Npoli

13

Pero entonces, por la unicidad del cociente y del resto en la divisin entera de

por

b,

tendremos que

Pero entonces como los desarrollos de que

q = q y que d0 = d0 . q < n, en virtud de la hiptesis

de induccin global,

k=j

q y q (que son el mismo di = di para 1 i k .

nmero) deben coincidir, es decir

En virtud del principio de induccin global, esto prueba que cualquier

nN

admite un nico desarrollo en base

b.

Otras bases muy utilizadas en computacin son la base 8 (octal) y 16 (hexadecimal), porque son tiles como abreviatura de la base binaria, pues 3 4 como 8 = 2 y 16 = 2 cada dgito octal equivale a tres dgitos binarios y cada dgito hexadecimal equivale a cuatro dgitos binarios. 8 4 3 1 Por ejemplo: el nmero 202 = 2 + 2 + 2 + 2 se representa en binario

11001010. Para escribirlo en octal agrupamos sus dgitos de a tres como 11 001 011, ahora bin 11 es 3 en binario, 001 es 1 y 010 es 2, concluimos que 202 se escribe como 312 en octal, y en efecto:
como

202 = 3 82 + 1 81 + 2 80
Para escribir un nmero en hexadecimal necesitamos adems de los dgitos usuales (=10),

16

dgitos. Por ello,

(=11),

(=12),

0,1,2,3,4,5,6,7,8,9; D (=13), E (=14) y F

se emplean las letras (=15).

Continuando con el ejemplo anterior, para escribir agrupamos sus dgitos binarios de a cuatro:

202

en hexadecimal,

1100 1010
Ahora

1100

es

Concluimos que

12 (= C ) en binario, y 1010 es 10 (= A) en binario. 202 se escribr como CA en hexadecimal. Y en efecto, 202 = 12 161 + 10 160

Ejercicio: Justicar porqu la base octal y la base hexadecimal se pueden


utilizar como abreviatura de la base binaria. sarse de una nica forma como

Otro ejercicio: (base factorial) Probar que cada n N0


n = d1 + d2 2! + d2 3! + . . . + dk k!
donde

puede expre-

0 di < k

para

i = 1, 2, . . . k .

Notas de lgebra I - c 2007 Pablo L. De Npoli

14

5.

El algoritmo de Euclides para el clculo del mximo comn divisor


El algoritmo de Euclides,

11

es un algoritmo para el clculo del mximo

comn divisor entre dos nmeros.

Denicin 5.1

a, b N dos enteros positivos. Denimos el mximo comn divisor entre a y b como el mximo de los divisores comunes entre a y b, es decir como el mximo de los enteros positivos d tales que d|a y d|b. Notacin: d = (a, b) o d = mcd(a, b).
Sean
Por ejemplo, sean

a = 18

b = 12.

Los divisores de

18

son

12

1, 2, 3, 6, 9, 18
y los de

12

son

1, 2, 3, 4, 6, 12
Por lo tanto, los divisores comunes son mximo comn divisor entre

1, 2, 3

6,

y en consecuencia, el

18

12

es

6. r0 = a
y

Para calcular el mximo comn divisor entre dos enteros por simplicidad que

r1 b

el

algoritmo de Euclides realiza una serie de divisiones sucesivas (Supondremos

a > b, ya que sino podemos intercambiar los Primero dividimos b por a, obteniendo un primer cociente q1 que llamamos r2 , de modo que: a = bq1 + r2
(Llamamos

roles). y un resto

(0 r2 < r0 ) r1
porque llamando

(2)

r2

al primer resto y no

r0

r1

podemos escribir esta ecuacin como

r 0 = r 1 q1 + r 2
11

(0 r2 < r1 )

Elementos, libro VII, proposicin 2, disponible (traducido al ingls) en http:// aleph0.clarku.edu/~djoyce/java/elements/bookVII/propVII2.html. Como siempre,
Euclides presenta sus razonamientos de una manera geomtrica, pensando los nmeros dados por longitudes de segmentos. Notar tambin que la versin original del algoritmo utiliza restas sucesivas en lugar de divisiones, pero esto es notablemente menos eciente. mtica a partir de su factorizacin como producto de primos.

12 Ms adelante veremos como obtener todos los divisores de un nmero en forma siste-

Notas de lgebra I - c 2007 Pablo L. De Npoli

15

y esto facilitar la escritura de las demostraciones subsiguientes) Si

r2 = 0,

podemos dividir

r1

por

r2 ,

obteniendo un nuevo cociente

q2

un nuevo resto

r3

de modo que:

r 1 = r 2 q2 + r 3
Si

(0 r3 < r2 )

q3

r3 = 0, podemos volver a dividir r2 por r3 , obteniendo ahora un cociente un resto r4 de modo que: r 2 = r 3 q3 + r 4 (0 r4 < r3 ) r k = 0,
dividimos a

As podemos continuar este proceso, mientras por

rk1

rk ,

obteniendo un cociente

qk

y un resto

rk+1 ,

de modo que: (3)

rk1 = rk qk + rk+1
te:

(0 rk+1 < rk )

Observamos que la sucesin de restos que vamos obteniendo es decrecien-

r1 > r 2 > r 3 > . . .


Por ello, tarde o temprano este proceso recursivo debe detenerse, y obtendremos que

rN = 0 para algn N . Armamos entonces que el ltimo resto


Sean

no nulo proporciona el mximo comn divisor:

Teorema 5.1

a, b N

y sea

r0 = a, r1 = b, r2 , . . . , rN 1 , rN = 0

la

sucesin de restos construida por el algoritmo de Euclides. Entonces,

rN 1 = mcd(a, b)

Prueba:
Probaremos este teorema en dos etapas: y

Etapa 1: Probaremos que rN 1 |rk para todo k y por lo tanto que rN 1 |a


rN 1 |b,
es decir que probaremos que

rN 1

es un divisor comn de

b.

Notamos que la ltima ecuacin del algoritmo de Euclides es [(3) con

k = N 1]: rN 2 = rN 1 qN 1
En consecuencia

rN 1 |rN 2 .

La ecuacin anterior es:

Notas de lgebra I - c 2007 Pablo L. De Npoli

16

rN 3 = rN 2 qN 2 + rN 1
Pero como ya sabemos que

rN 1 |rN 2

podemos deducir que

En general, probaremos por induccin global en

que

rN 1 |rN 3 . rN 1 |rN j para

j = 1, 2, 3, . . . , N :
ces por (3 con

Para

j=1

es obvio, y para

Supongamos que efectivamente

rN 1 |rN l

j = 2 ya lo probamos. para l = 1, 2, . . . , j 1. Enton-

k = N (j 1) rN j = rN (j1) qN (j1) + rN (j2)

Pero por hiptesis inductiva, estamos asumiendo que

rN 1 |rN (j1)

rN 1 |rN (j2) .
todo

Concluimos que

rN 1 |rN j . rN 1 |r0 = a
y

El principio de induccin global, implica entonces que

con

1 j N.

En particular

rN 1 |rN j para rN 1 |r1 = b, como

armamos.

Etapa 2: Probaremos que si d es cualquier divisor comn de a y b entonces


d|rN 1 ,
en consecuencia, si

d > 0, d rN 1 .

Esto probar que y

rN 1

es el

mximo comn divisor. Notamos que si

es un divisor comn de

b,

la primera ecuacin del

algoritmo de Euclides:

a = bq1 + r2
implica que

d|r2 .

La segunda ecuacin:

r 1 = r 2 q2 + r 3
global en

d|r3 y continuando podemos probar por induccin k = 1, 2, . . . , rN 1 . En efecto, para k = 1, 2 ya lo probamos. Si asumimos que d|rl para l = 1, 2, . . . , k 1, tenemos que por (3 con k 1 en lugar de k ):
implica entonces que

que

d|rk

para

rk2 = rk1 qk1 + rk


y entonces como por hiptesis inductiva

d|rk1

d|rk2 ,

concluimos que

d|rk .
El principio de induccin global permite armar entonces que todo

d|rk

para

con

1 k N 1.

Notas de lgebra I - c 2007 Pablo L. De Npoli

17

Ejemplo: Calculemos el mximo comn divisor entre 360 y 42 utilizando


el algoritmo de Euclides: mediante sucesivas divisiones encontramos que:

360 42 24 18
divisor es

= = = =

8 42 1 24 1 18 36

+ + + +

24 18 6 0

En este caso, el ltimo resto no nulo, que proporciona el mximo comn

6.
13
:

Incidentalmente la demostracin del teorema anterior, proporciona la siguiente caracterizacin del mximo comn divisor

Corolario 5.1
naturales

El mximo comn divisor

d=

mcd(a, b) entre dos nmeros

a, b N,

est caracterizado por las siguientes propiedades:

i) Es un divisor comn:

d|a

d|b. d
lo divide: si

ii) Cualquier otro divisor comn

d |a

d |d,

entonces

d |d.

Una consecuencia muy importante del algoritmo de Euclides es la siguiente:

Teorema 5.2

Sean

Entonces, existen

a, b N y sea d = mcd(a, b) enteros , Z tales que: a + b = d

su mximo comn divisor.

es decir, que el mximo comn divisor entre dos enteros positivos, siempre se puede escribir como una enteros.
Obtendremos la demostracin de este teorema como caso particular (k

combinacin lineal entre ellos, con coecientes


=

N 1)

del siguiente lema:

Lema 5.1

Para

= 0, 1, . . . , N 1,

existen enteros

k , k Z

tales que:

k a + k b = rk
13 Esta caracterizacin arma que el mximo comn divisor entre

es el

nmo

entre ellos (o sea la mayor cota inferior de ambos), en el orden dado por la divisibilidad.

Notas de lgebra I - c 2007 Pablo L. De Npoli

18

Prueba: Deniremos la sucesiones (k )0kN 1 y (k )0kN 1 recursivamente. Para

k = 0,

denimos

0 = 1, 0 = 0

de modo que:

a = r0 = 0 a + 0 b
Similarmente, para

k = 1,

denimos

0 = 1, 1 = 1,

de modo que:

b = r1 = 1 a + 0 1
Tomemos ahora un

k > 1,

por (3, con

k1

en lugar de

k)

tenemos que:

rk2 = rk1 qk1 + rk


o sea:

rk = rk2 rk1 qk1


Entonces, utilizando nuevamente induccin global en

k,

tenemos que:

rk = (k2 a + k2 b) (k1 a + k1 b)qk1 = (k2 k1 qk1 )a + (k2 k1 qk1 )b


En consecuencia,denimos

recursivamente por: para para

k = k2 k1 qk1 k = k2 k1 qk1
para todo con

k = 2, 3, . . . , N 1 k = 2, 3, . . . , N 1

y el principio de induccin global nos permite concluir que el lema se verica

1 k N 1. 360 y 42, el proceso descripto nos

Continuacin del ejemplo anterior: En el ejemplo anterior, en el que


calculamos el mximo comn divisor entre lineal de proporciona las siguientes escrituras de los sucesivos restos como combinacin

360 y 42 (La ltima igualdad, corresponde a la escritura del mximo 24 = 1 360 + (8) 42 18 = (1) 360 + 9 42 6 = 2 360 + (17) 42

comn divisor):

Ms adelante, resultar de utilidad extender la nocin de mximo comn divisor a nmeros enteros negativos o cero. Dado que dos nmeros enteros que

Notas de lgebra I - c 2007 Pablo L. De Npoli

19

slo dieren en el signo son equivalentes respecto a la divisibilidad, resulta natural denir que: mcd(a, b)

= mcd(|a|, |b|)

Por ejemplo, de acuerdo a esta denicin, tenemos que: mcd(4, 6) Y tambin denimos: mcd(a, 0)

= mcd(4, 6) = 2

= mcd(0, a) = a

Observenos que al extender la nocin de mximo comn divisor de esta manera, los teoremas anteriores se siguen vericando. El teorema anterior, proporciona una serie de consecuencias de gran importancia. Comencemos por una dencin:

Denicin 5.2 Corolario 5.2


Z
tales que

a, b Z son coprimos (o primos entre s) si los nicos divisores comunes de a y b son 1. Esto es claramente equivalente a decir que su mximo comn divisor mcd(a, b) es 1.
Decimos que dos nmeros Dos enteros

a, b Z

son coprimos si y slo si existen

a + b = 1.

Prueba: Por el teorema anterior, si el mximo comn divisor es 1, es claro


que se escribe como una combinacin lineal de existen

b.

Recprocamente, si

b,

tenemos que

Concluimos

1 = a + b entonces si d es un divisor comn de a y d|a , d|b y en consecuencia: d|a + b = 1, luego d = 1. que a y b son coprimos.
tales que

Corolario 5.3 Prueba:


Como

Si

a|bc

es coprimo con

b,

entonces

divide a

c.

es coprimo con

b,

por lo anterior

se escribe como una

combinacin lineal de

b,

es decir existen

, Z

tales que:

a + b = 1
Entonces, multiplicando por

tenemos que:

ac + bc = c

Notas de lgebra I - c 2007 Pablo L. De Npoli

20

Como

a|ac,

a|bc,

concluimos que

a|c.

Un caso particular de este corolario, nos conducir a la prueba del teorema fundamental de la aritmtica (unicidad de la descomposicin en factores primos):

Corolario 5.4

Si

es un nmero primo y

p|ab,

entonces

p|a

p|b.

Prueba: Notamos que si p a, entonces p es coprimo con a (por ser p primo).


En consecuencia, por el corolario anterior como

p|ab, p|b.

Es conveniente observar que este corolario se generaliza sin dicultad a productos de ms de dos factores (haciendo induccin en el nmero de factores)

Corolario 5.5
algn i.

Si

es un nmero primo y

p|a1 a2 . . . ak ,

entonces

p|ai

para

Ejercicio:

Demostrar por induccin que en cada paso del algoritmo de

Euclides se tiene que: mcd(a, b)

= mcd(rk , rk1 )

(Una prueba alternativa, quizs ms sencilla del teorema 5.1 puede basarse en este hecho). Una condicin como esta, que se mantiene en cada paso de un algoritmo se denomina un

invariante del algoritmo.

Otro ejercicio: (el algoritmo de Euclides binario) La siguiente es


una variante del algoritmo de Euclides que slo utiliza divisiones por

2, lo que

resulta ventajoso si se opera con nmeros escritos en el sistema binario (como sucede en una computadora), ya las divisiones se pueden efectuar mediante operaciones de shift (corrimiento de los dgitos hacia la derecha). El algoritmo puede describirse recursivamente de la siguiente manera:

mcd(u, v)

:=

u 2mcd
mcd

si

v=0

u ,v 2 v mcd u, 2 uv mcd v. 2

u v , 2 2

si u es par y v par si u es par y v impar si u es impar y v par si u es impar y v impar

Por ejemplo: para calcular el mximo comn divisor entre 60 y 42, procedemos de la siguiente manera:

Notas de lgebra I - c 2007 Pablo L. De Npoli

21

mcd(60, 42)

= 2mcd(30, 21) = 2mcd(21, 15) =

2mcd(15, 3) = 2mcd(6, 3) = 2mcd(3, 3) = 2mcd(3, 0) = 6


El ejercicicio consiste en demostrar que este algoritmo efectivamente funciona (Esto es: que siempre termina y que proporciona el resultado correcto). Otra pregunta (para pensar): Cmo podra adaptarse este algoritmo de Euclides binario para que tambin proporcione los coecientes que permiten escribir al mximo comn divisor como una combinacin lineal de los nmeros en cuestin (teorema 5.2) ?

Ejercicio optativo (para los que sepan programar):


escritura del mximo comn divisor como combinacin lineal

Escribir una

implementacin del algoritmo de Euclides en su lenguaje de programacin favorito, y (ms dicil) escribir un programa que proporcione tambin la

14

6.

Congruencias
En esta seccin, introduciremos la notacin de congruencias, que resulta

de gran utilidad, a la hora de estudiar muchas cuestiones relacionadas con la divisibilidad.

Denicin 6.1
tes mdulo

Sean

a, b Z y sea a N . Decimos que a y b son congruena b (mod n)

y lo escribimos

cuando

n|b a.

Algunos ejemplos:

38 6 1 12 0
resto de la divisin entera mdulo

(md 5) o (md 7) o (md 3) o

Otra denicin equivalente de congruencia puede darse en trminos del

n:

14 En mi pgina web, encontrarn una implementacin en el lenguaje C.

Notas de lgebra I - c 2007 Pablo L. De Npoli

22

Proposicin 6.1
y slo si

Sean

a, b Z

y sea

n N.

Entonces,

proporcionan el mismo resto cuando los

(md n) o dividimos por n.

ab

si

Prueba: Dividamos a y b por n, es decir escribamos:


a = nq + r b = nq + r
Hemos de demostrar que Supongamos primero que donde donde

0r<n 0r <n

a b (md n) si y slo si r = r . o r = r . Entonces b a = nq nq = n(q q). Luego n|b a o sea a b (md n). o Por otra parte, supongamos que a b (md n). Entonces: o b a = n(q q) + r r r r entonces como 0 r r < n, tenemos que r r debe ser el resto (y q q el cociente) en la divisin enterea de ba por n. Pero entonces en virtud de la unicidad del resto en la divisin entera, r r = 0, ya que n|b a. (Si fuera r r , la prueba es anloga pues b a (md n)) o
Si suponemos que Las congruencias comparten muchas de las propiedades de la igualdad, por ejemplo:

Proposicin 6.2
des:

La relacin de congruencia tiene las siguientes propieda-

Reexividad: a a (md n). o Simetra: Si a b (md n), entonces b a(mod n). o Transitividad: Si a b (md n) y b c (md n), entonces a c o o
(md n) o

Prueba:
1. Para cualquier

a Z,

tenemos que:

n|a a = 0
en consecuencia,

aa

(md n) o

Notas de lgebra I - c 2007 Pablo L. De Npoli

23

2. Si lo la 3. Si

(md n) entonces, de acuerdo a la denicin, n|b a y por o tanto n| (b a), o sea n|a b. Lo que nuevamente, de acuerdo a denicin, signica que b a (md n). o ab

ab

(md n) y b c (md n), entonces n|b a y n|c b. En o o consecuencia, n|(b a) + (c b) y por lo tanto n|c a, lo que de acuerdo a la denicin dice que a c (md n). o

Recordamos que una relacin que verica estas tres propiedades se llama una una

relacin de equivalencia, y que una relacin de equivalencia determina particin del conjunto donde est denida en clases de equivalencia.
a
de un

Para ser explcitos, denimos la clase de

aZ

mdulo

por:

a = {b Z : a b
y denimos

(md n) } o n.
como

Zn

como el conjunto de clases de equivalencia mdulo

En virtud de la proposicin 6.1, existen tantas clases mdulo posibles restos en la divisin entera por divisin mdulo clases en

n. Pero los posibles restos en la n son 0, 1, . . . , n 1. Concluimos que existen exactamente n

Zn ,

o sea:

Zn = {0, 1, . . . , n 1}
Por ejemplo, si

n = 5, existen exactamente 5 clases de congruencia mdulo

5,

a saber:

0 = {. . . , 10, 5, 0, 5, 10, 15, . . .} 1 = {. . . , 9, 4, 1, 6, 11, 16, . . .} 2 = {. . . , 8, 3, 2, 7, 12, 17, . . .} 3 = {. . . , 7, 2, 3, 8, 13, 18, . . .} 4 = {. . . , 6, 1, 4, 9, 14, 19, . . .}
y

Notas de lgebra I - c 2007 Pablo L. De Npoli

24

Z5 = {0, 1, 2, 3, 4}
Notemos que cada clase es innita, pero el nmero de clases es nito. El hecho de que estas clases forman una particin de

signica que cada

nmero entero pertenece exactamente a una de estas clases. Una propiedad muy importante de las congruencias es que pueden sumarse, restarse y multiplicarse como si fueran igualdades:

Proposicin 6.3
can:

Si

ab

(md n) o

c d (md n) o

entonces se veri-

a + c b + d (md n) o a c b d (md n) o ac bd (md n) o

Prueba: Por hiptesis, n|b a y n|d c, en consecuencia:


n|(b a) + (d c) n|(b + d) (a + c)
es decir que

a + c b + d (md n), o

como armamos. Por otra parte,

n|(b a) (d c) n|(b d) (a c)
es decir que: Por otra

a c b d (md n), que es nuestra segunda o parte, como n|b a y n|d c, podremos escribir: b a = ne d c = nf

armacin.

para ciertos enteros

n, f Z.

Entonces:

bd = (a + ne)(c + nf ) = ac + nec + naf + n2 ef = ac + n(ec + af + nef )


En consecuencia:

ac bd

(md n). o

Decimos entonces, que la relacin de congruencia operaciones de suma, resta y multiplicacin.

es compatible con las

El hecho de ser compatible la relacin de congruencia con las operaciones de suma, resta y producto hace posible denir las correspondientes operaciones entre las clases de restos mdulo

(es decir en

Zn )

Notas de lgebra I - c 2007 Pablo L. De Npoli

25

Denicin 6.2
la suma quiera

Sean

A, B Zn

dos clases de restos mdulo

n.

Para denir

A + B procedemos del siguiente modo, elegimos un elemento cuala A y otro elemento b B . Entonces denimos la clase A + B como la clase en Zn que contiene al elemento a + b. Del mismo modo para denir la resta A B o el producto A B procedemos del mismo modo, eligiendo un elemento a A y otro b B , y deniendo A B (respectivamente A B como la clase en Zn que contiene al elemento a b (respectivamente ab).
En virtud de la proposicin 6.3, estas operaciones entre las clases mdulo

n resultan bien denidas ya que el resultado slo depende de las clases A y B , y no de los elementos que a A, b B que hayamos elegido. La aritmtica denida en Zn de esta manera se denomina tambin aritmtica modular (mdulo n).
Veamos algunos ejemplos:

Ejemplo 1: Consideremos dos clases mdulo 5 por ejemplo,


A = 3 = {. . . , 7, 2, 3, 8, 13, 18, . . .} B = 4 = {. . . , 6, 1, 4, 9, 14, 19, . . .}
Para efectuar la suma

A+B

podemos elegir cualquier nmero en la clase

A, por ejemplo a = 13 y cualquier nmero en la clase B por ejemplo b = 6, efectuamos la suma a + b = 7 y nos jamos en qu clase mdulo 5 cae el resultado (mirando cul es el resto en la divisin entera de 7 por 5). En este caso 7 C , siendo C = 2 = {. . . , 8, 3, 2, 7, 12, 17, . . .}
por lo que, de acuerdo a la denicin tenemos que, podemos expresarlo del siguiente modo:

A + B = C , o tambin

13 + 6 = 7
Qu pasara si hubieramos elegido otros

representantes

de las clases

B por ejemplo a = 3 y b = 9 ?. En este caso, a + b = 12, pero notemos que 12 pertenece a la misma clase C que obtuvimos antes, y en consecuencia volvemos a obtner que A + B = C . Esto se debe a que justamente como
y

Notas de lgebra I - c 2007 Pablo L. De Npoli

26

13 3
y

(md 5) o

6 9
podemos concluir que:

(md 5) o

13 + (6) 3 + 9 (md 5) o
En general, la denicin 6.2 signica que:

a+b=a+b ab=ab ab=ab


La siguiente es una tabla de las operaciones de suma y producto en

Z5 :

+ 0 1 2 3 4

0 0 1 2 3 4

1 1 2 3 4 0

2 2 3 4 0 1

3 3 4 0 1 2

4 4 0 1 2 3

0 1 2 3 4

0 0 0 0 0 0

1 0 1 2 3 4

2 0 2 4 1 3

3 0 3 1 4 2

4 0 4 3 2 1

Ejemplo 2: El ejemplo ms sencillo de aritmtica modular con el que en


realidad estamos familiarizados desde la escuela primaria, es De hecho, existen dos clases mdulo

Z2 .

2,

la de los nmeros pares

P = 0 = {. . . , 6, 4, 2, 0, 2, 4, 6, . . .}
y la de los nmeros impares:

I = 1 = {. . . 5, 3, 1, 1, 2, 3, 5, . . .}
Las operaciones entre estas nos clases son familiares: por ejemplo la suma de dos nmeros pares es par

Notas de lgebra I - c 2007 Pablo L. De Npoli

27

P +P =P
la de un par y un impar es impar:

0+0=0

P +I =I
y la de dos impares es par:

0+1=1

I +I =P
de un par y un impar es par

1+1=0

Anlogamente podemos considerar el producto, por ejemplo: el producto

P I =P

01=0

Estas operaciones nos dan las siguientes tablas:

+ 0 1 0 0 1 1 1 0
Como se ve en estos ejemplos

0 1 0 0 0 1 0 1
resulta un conjunto (nito) donde estn

Zn

denidas las operaciones de suma, resta y multiplicacin con propiedades similares a las de dichas operaciones en los enteros. En el lenguaje del lgebra esto se esxpresa diciendo que es (al igual que

Zn

Z)

un

anillo15 .

Ejercicio: Confeccionar las correspondientes tablas de la suma y el producto para los mdulos

3, 4, 6 y 7. Qu similitudes y diferencias se observan?

A pesar de las muchas similitudes entre las igualdades y las congruencias, es necesario notar que algunas propiedades de las igualdades no valen para las congruencias. Por ejemplo, en general no es posible cancelar factores no nulos en las congruencias. Por ejemplo:

2324

(md 6) o

15 Ms adelante veremos otros ejemplos de anillos, como los polinomios. Para la denicin
formal de anillo vase por ejemplo el libro lgebra Moderna, de Birko y Mc. Lane. Si bien (formalmente) no estudiaremos las estructuras algebraicas como anillos y cuerpos en este curso; es conveniente ir acostumbrndose a la terminologa.

Notas de lgebra I - c 2007 Pablo L. De Npoli

28

Sin embargo,

34
En consecuencia, en general

(md 6) o

no se puede dividir congruencias.

La siguiente proposicin arma que sin embargo, es posible cancelar factores que sean coprimos con el mdulo:

Proposicin 6.4
(md n) o

Si

ac bc

(md n) y c es coprimo con n, entonces a b o

Prueba: Si ac bc (md n), entonces n|bc ac = (b a)c. Pero como c o


es coprimo con

ab

n, (md n). o

por el corolario 5.3, concluimos que

n|b a,

es decir que

Un caso particular, especialmente sencillo, es cuando el mdulo es primo.

Corolario 6.1
tenemos que

ac bc (md p) y p es primo, entonces si c 0 o a b (md p) o


Si

(md p), o

Observacin 6.1
ab (md m). o

Si

ab

(md n) o

m|n

entonces tambin tenemos que

Prueba: Por hiptesis n|b a. Como m|n, por transitividad deducimos que
m|b a,
6.1.
o sea

ab

(md m). o

Criterios de divisibilidad

Las congruencias permiten demostrar en forma sencilla algunos criterios de divisibilidad conocidos desde la escuela:

Criterio de divisibilidad por 3 o por 9: Un nmero natural (escrito


en el sistema decimal) es divisible por cifras es divisible por

(o por

(respectivamente por

9) 9).

si y slo si la suma de sus

Prueba: Sea
n = dk 10k + dk1 10k1 + . . . + d2 102 + d1 10 + d0
la escritura de

en decimal, con

0 di < 10.

Entonces como

10 1

(md 3) o

Notas de lgebra I - c 2007 Pablo L. De Npoli

29

deducimos que:

10k 1
y consecuentemente

(md 3) para o

todo

k1

n S = dk + dk1 + . . . + d2 + d1 + d0 (mod 3)
En particular similar. Otro criterio similar es el siguiente:

es congruente con

mdulo

3,

si y slo s la suma

de

sus cifras lo es. Para la divisibilidad por

9,

la demostracin es enteramente

Criterio de divisibilidad por 11:


sistema decimal) es divisible por es disible por

Un nmero natural (escrito en el

11

si y slo la diferencia entre la suma de

sus cifras de los lugares pares, y la suma de sus cifras de los lugares impares

11.

Prueba: Ahora, tenemos que:


10 1
y en consecuencia:

(md 11) o

10k (1)k

(md 11) para o

todo

k1

Entonces, manteniendo la notacin de la prueba anterior, vemos que:

nD=
j=0
pero notemos que:

(1)j dj

(md 11) o

D=
j par
y

j impar

dj
lo es.

dj
si y slo si

congruente a

mdulo

11

Ejercicio: Demostrar los criterios de divisibilidad por 4 y por 5, a saber:


1. Un nmero

n n

es divisible por

5 4

si y slo si el dgito de las unidades es

5.
es divisible por si y slo si el nmero formado por el

2. Un nmero

dgito de las decenas y el de las unidades lo es.

Notas de lgebra I - c 2007 Pablo L. De Npoli

30

7.

Ecuaciones Diofnticas Lineales


Como otra aplicacin ms del algoritmo de Euclides, podemos estudiar el

problema de resolver ecuaciones diofnticas lineales. Una ecuacin diofntica es una ecuacin en la que interesa encontrar las soluciones enteras (reciben este nombre en honor al matemtico Diofanto de Alejandra (siglo III), quien estudi estas ecuaciones) en su Aritmtica. Una ecuacin diofntica lineal en dos variables es una ecuacin de la forma:

ax + by = c
siendo

(4)

a, b

nmeros enteros.

Geomtricamente, este problema signica que buscamos los puntos en el plano de coordenadas enteras que estn situados sobre una recta.

Teorema 7.1
d = mcd(a, b)

La ecuacin diofntica lineal (4) tiene solucin si y slo si

divide a

c.

Prueba: Como d|a y d|b, si hay una solucin debemos tener que d|ax y d|ay
y por lo tanto que

d|ax + by = c.

Esto prueba que la condicin es necesaria.

d|c. Entonces c = dc para algn c Z. Pero en virtud del teorema 5.2, existen , Z tales que:
Para demostrar que es suciente, supongamos que

a + b = d
Multiplicando entonces esta ecuacin por

c:

c a + c b = c
y por lo tanto diofntica (4).

x0 = c , y0 = c

es una solucin particular de la ecuacin

Ejemplo: consideremos la ecuacin diofntica


10x + 12y = 3
Entonces mcd(10, 12)

=2y

como

2 |3,

de acuerdo al teorema anterior la

ecuacin no tiene soluciones (Esto es particularmente obvio en este ejemplo, pues el primer miembro es necesariamente par)

Notas de lgebra I - c 2007 Pablo L. De Npoli

31

Consideremos por otra parte la ecuacin diofntica:

5x + 3y = 12
Como mcd(3, 5)

(5)

=1

podemos asegurar, de acuerdo al teorema anterior

que siempre existe una solucin. Para encontrarla, utilizamos el algoritmo de Euclides para escribir al

como combinacin lineal de

5:

5=13+2 3=12+1
En consecuencia, usando el procedimiento descripto en el teorema 5.2, encontramos que:

2 = 1 5 + (1) 3 1 = 1 5 + 2 3
Multiplicando esta ecuacin por

12,

tenemos que:

12 = (12) 5 + 24 3
En consecuencia,

x0 = 12, y0 = 24

es una solucin particular de la

ecuacin diofantica (5). Si bien la demostracin del teorema anterior proporciona una solucin particular, en caso de que tal solucin exista, no proporciona todas las soluciones. Supongamos pues que hayamos encontrado una solucin particular de (4) y que

(x0 , y0 )

(x, y)

es otra solucin de dicha ecuacin. Entonces, restando y

utilizando que dicha ecuacin es lineal, vemos que:

a(x x0 ) + b(y y0 ) = 0

homognea asociada:

Vale decir que

x = x x0 , y = y y0

es una solucin de la

ecuacin
(6)

a + b = 0 x y
gnea) (4) se puede escribir como la suma de una solucin particular ms una solucin

Por lo que podemos concluir que: toda solucin de la ecuacin (no homo-

(x0 , y0 )

(, y ) x

de la ecuacin homognea (6):

Notas de lgebra I - c 2007 Pablo L. De Npoli

32

(x, y) = (x0 , y0 ) + (, y ) x
Para encontrar entonces todas las soluciones de 4, nos falta entonces encontrar las soluciones de la ecuacin homognea (6). Supongamos primero que que:

a y b fueran coprimos. En este caso, (6) implica

a| b y b|a x
y como

son coprimos, por el corolario 5.3, deducimos que

a|y

b|x.

Por lo tanto, existen

s, t Z

tales que:

x = bs,

y = at

y entonces utilizando (6), vemos que:

abs + bat = 0 t = s
Concluimos que en el caso en que

son coprimos podemos concluir

que todas las soluciones de la ecuacin homognea son de la forma:

x = bs,

y = as

y en consecuencia las de la no homognea son:

x = x0 + bs,

y = y0 as

Continuacin del ejemplo: En el ejemplo anterior (5), todas las soluciones enteras son de la forma:

x = 12 + 3s,
Nos queda considerar el caso en que observamos que como equivalente:

y = 24 5s a
y

no son coprimos. En este caso,

d =

mcd(a, b) divide a

mos dividir ambos miembros de la ecuacin

a, b y c por hiptesis, podepor d, obteniendo una ecuacin

ax+by =c

(7)

Notas de lgebra I - c 2007 Pablo L. De Npoli

33

b = b : d, c = c : d. Notamos que ahora a y b son coprimos: existen enteros y tales que


siendo

a = a : d,

en efecto, por el teorema 5.2

a + b = d
y dividiendo ambos miembros de la ecuacin por

d,

resulta que:

a + b = 1
y en consecuencia

a ,b

son coprimos como armamos. Como (7) es equi-

valente a (4), el problema se reduce al caso ya considerado.

Corolario 7.1

Cuando

d=

mcd(a, b) divide a

c,

la ecuacin diofntica (4)

admite innitas soluciones enteras.

Ejercicio:(para pensar) Qu sucede si consideramos una ecuacin diofntica en tres variables?

ax + by + cz = d
donde

a, b, c, d Z.

Cul sera el resultado anlogo al teorema (7.1) ?

Intentar demostrarlo. Sugerencia: el mximo comn divisor entre puede calcularse de la siguiente manera: mcd(a, b, c)

a, b

= mcd(mcd(a, b), c)

(Es decir: el mximo comn divisor es una operacin asociativa)

8.

Ecuaciones de Congruencia
Un problema ntimamente relacionado con las ecuaciones diofnticas li-

neales, es la resolucin de ecuaciones de congruencia lineales, de la forma:

ax b
o equivalentemente

(md n) o

(8)

a x = b en Zn
Por ejemplo, consideramos la ecuacin de congruencia:

Notas de lgebra I - c 2007 Pablo L. De Npoli

34

2x 3

(md 5) o x 2x
en

Entonces, haciendo una tabla de la funcin

Z5 :

x 0 1 2 3 4
vemos que la nica solucin es

2x 0 2 4 1 3 (md 5). o
Esta situacin, no tiene

x4

porqu ocurrir en general: las ecuaciones de congruencia lineales pueden tener varias soluciones o ninguna. Por ejemplo, consideremos la ecuacin

2x 4

(md 6) o x 2x
en

entonces efectuando una tabla como antes de la funcin

Z6 :

x 0 1 2 3 4 5 x2 (md 6) y x 5 o

2x 0 2 4 0 2 4

vemos que esta ecuacin posee dos soluciones no congruentes: a saber,

(md 6). Por otro lado, la misma tabla nos muestra o 2x 3 (md 6) o

que la ecucin de congruencia

no admite ninguna solucin. Obviamente, la resolucin de las ecuaciones de congruencia mediante una tabla de restos como hemos hecho en estos ejemplos, slo resulta practicable cuando el mdulo es pequeo. Por ello, resulta deseable desarrollar mtodos generales para resolver este problema. Para ello, observemos que la ecuacin de congruencia (8), signica que:

ax b = ny

para algn

yZ

Notas de lgebra I - c 2007 Pablo L. De Npoli

35

o sea:

ax ny = b
y esta ltima ecuacin, es una ecuacin diofntica lineal. Por lo tanto, podemos resolverla por los mtodos de la seccin anterior.

Ejemplo 1: Volvamos a la ecuacin de congruencia:


2x 3 (md 5) o

Por lo que hemos dicho, esta ecuacin signica que:

2x 5y = 3 para
mcd(2, 5) trarlas,

algn

yZ

(9)

Conforme a la teora que desarrollamos en la seccin anterior, como

= 1, esta ecuacin admite innitas soluciones enteras. Para econnotamos que 1 se escribe como una combinacin lineal de 2 y 5 en (2) 2 + (1) (5) = 1

la siguiente forma:

luego

(6) 2 + (3) (5) = 3


y por lo tanto:

x0 = 6, y0 = 3

es una solucin particular de (9). Todas

las soluciones enteras, vendrn entonces dadas por:

x = 6 + 5s y = 3 + 2s
En consecuencia, la solucin de nuestra ecuacin en congruencias ser:

x 6
o lo que es equivalente:

(md 5) o

x4
ecuacin de congruencias).

(md 5) o y
no interesa al resolver la

(Notamos que el valor de la variable auxiliar

Ejemplo 2: Volvamos a mirar ahora la ecuacin de congruencia:


2x 4(mod 6)

Notas de lgebra I - c 2007 Pablo L. De Npoli

36

Esta ecuacin de congruencia, conduce a la ecuacin diofntica lineal:

2x 6y = 4
Ahora los coecientes de la ecuacin no son coprimos, por ello dividimos por su mximo comn divisor (que es

2),

la ecuacin:

x 3y = 2
Despejando tenemos que,

x = 2 + 3y
y se obtiene una solucin para cada

y Z. (md 3) o 6,
para ello

Por lo tanto, la solucioes se determinan por la condicin

x2

Nos gustara expresar esta solucin en trminos del mdulo efectuamos la divisin entera de

por

2,

escribiendo

y = 2y + r
donde

r=0

1.

Luego, sustituyendo:

x = 2 + 6y + 3r
o sea:

x 2 + 3r
Si

(md 6) o

r=0

obtenemos la solucin

x2
y si

(md 6) o

r=1

obtenemos la solucin:

x5
que son las que obtuvimos antes.

(md 6) o

Ejemplo 3: Finalmente consideremos la ecuacin de congruencia:


2x 3 (md 6) o

Notas de lgebra I - c 2007 Pablo L. De Npoli

37

El mtodo anterior conduce a la ecuacin diofntica:

2x 6y = 3
y como mcd(2, 6)

= 2 no divide a 3, concluimos conforme al teorema 7.1, que

no existe ninguna solucin. Ahora podemos generalizar los hechos que observamos en estos ejemplos, en un teorema general:

Teorema 8.1

Sean

a, b Z,n N ax b

d=

mcd(a, n). Consideramos la ecua-

cin de congruencia lineal:

(md n) o d|b.

Entonces la ecuacin de congruencia lineal admite soluciones si y slo si En ese caso existen exactamente

soluciones no congruentes mdulo

n.

Prueba: Como observamos antes, la ecuacin de congruencias del enunciado


es equivalente a la ecuacin diofntica:

ax ny = b
y conforme al teorema 7.1, esta ecuacin tiene solucin si y slo si mcd(a, n) divide a

d =

b. a = a : d, n = n : d, b = b : d axny =b
y dividiendo por

Si esto sucede, llamando

d,

obtenemos la ecuacin equivalente:

donde ahora

son coprimos (como en la seccin anterior), y todas las

soluciones enteras de esta ecuacin se pueden expresar en la forma:

x = x0 + n s,
siendo

y = y0 a s para

algn

sZ x
ser solucin de

(x0 , y0 )

alguna solucin particular. Por lo tanto,

nuestra ecuacin de congruencia, si y slo si

x x0

(md n ) o

Notas de lgebra I - c 2007 Pablo L. De Npoli

38

Para expresar esto en trminos del mdulo efectuamos la divisin entera de

n, como en el ejemplo anterior,

por

d,

escribiendo:

s = qd + r
Entonces, sustituyendo obtenemos

con

0r<d

x = x0 + nq + n r
y las soluciones sern

x x0 + n r
con

(md n) o

r = 0, 1, 2, . . . , d 1.
Finalmente, observemos que estas soluciones no son congruentes mdulo

n,

pues si

x x 0 + n r1 x x 0 + n r2
entonces

(md n) o

n r1 n r2
o sea:

(md n) o kZ

n r1 n r2 = nk
Luego multiplicando por

para algn

d: nr1 nr2 = dnk

o sea:

r1 r2 = dk
o

r1 r2
Pero como

(md d) o r1 = r2 .

0 r1 , r2 < d,

concluimos que

Corolario 8.1

La ecuacin de congruencia lineal:

ax b

(md n) o = 1.

tiene solucin nica si y slo si mcd(a, n)

Notas de lgebra I - c 2007 Pablo L. De Npoli

39

8.1.

Inversos mdulo

Veamos otra forma de pensar las ecuaciones de congruencia que a veces resulta til: Si tenemos una ecuacin lineal con nmeros

ax = b
(y uno puede obtener la solucin multiplicando por el inverso multi1 plicativo de a, a = 1 (lo que equivale a dividir por b), o sea: b

a = 0),

x = b1 a
Esto motiva el siguiente teorema

16

Teorema 8.2
a
en

Dados

nN

aZ

coprimo con

n,

existe una nica clase

Zn

tal que:

aa =1
Vale decir que:

aa 1
y dos posibles

(md n) o n. a a
mdulo

que cumplan esta condicin son congruentes mdulo

se denomina un invereso multiplicativo de

n. Zn ,
entonces

Recprocamente si es coprimo con

admite un inverso multiplicativo en

n. b = 1 del teorema 8.1. Zp todos los elementos

Este teorema es realmente el caso particular En particular, notamos que si

es primo, en

no

nulos (que no sean la clase del cero), admiten un inverso multiplicativo (es decir: se puede dividir por elementos no nulos

17

Ejercicio: Dar una demostracin directa


a
con

18

).

usando el teorema 5.2.

Ejemplo: Volvamos a mirar la congruencia lineal:


16 Este teroema signica que las clases

coprimo con

n,

son exactamente los

elementos que admiten un inverso multiplicativo en

Zn ,

es decir las

unidades del anillo


Q (los

Zn

17 Decimos entonces que si

es primo,

Zp

es un

cuerpo, esto es un anillo en el que es

posible la divisin por elementos no nulos. Otros ejemplos familiares de cuerpos son nmeros racionales) y

18 fue la que di en clase!

(los neros reales).

Notas de lgebra I - c 2007 Pablo L. De Npoli

40

2x 3
Entonces dado que lineal de ambos:

(md 5) o 1
se escribe como combinacin

con coprimos, el

(2) 2 + 1 5 = 1
pero entones:

(2) 2 1
Es decir que

(md 5) o

2 y 2 = 3 son inversos multiplicativos en Z5 . Entonces, para 3: (md 5) o

pasar dividiendo el 2 en nuestra congruencia lineal, multiplicamos ambos miembros de la congruencia por

3 2x 3 3
y obtenemos nuevamente que:

x94
8.2. El teorema de Wilson

(md 5) o

Como aplicacin de las ideas anteriores, podemos probar el siguiente teorema que proporciona un criterio para saber cuando un nmero es primo:

Teorema 8.3 (Teorema de Wilson)


primo si y slo si

Sea

p N, p > 1.

Entonces

es

divide a

(p 1)! + 1,

o lo que es equivalente:

(p 1)! 1

(md p) o
divide a

p es primo. Supongamos que por el contrario p no fuera primo, estonces p admitira un divisor d con 1 < d < p. Observemos que entonces d|(p 1)! y como d divide a p, por transitividad tambin tenemos que d|(p 1)! + 1. Pero entonces, d|[(p 1)! + 1] (p 1)! = 1, lo cul es una contradiccin, pues los nicos divisores de 1 son 1. En consecuencia, p debe ser primo.
Primero probaremos que si entonces

Prueba:

(p 1)! + 1,

Notas de lgebra I - c 2007 Pablo L. De Npoli

41

(p 1)! 1 (md p). o Para ello observemos que para cada nmero 1 a < p, existe en virtud del teorema (8.2) un nico entero a con 1 a < p tal que:
Ahora probemos que si

es primo, entonces

aa 1
es decir, tal que efecto: si

(md p) o p.
salvo si

son inversos mdulo

Notamos adems que debe ser

a = a,

a = 1

a = p 1.

En

a=a,

entonces

a2 1
o tambin

(md p) o (md p) o

a2 1 0

Factorizando, podemos escribir esto como:

(a 1)(a + 1) 0
Lo cual por (5.4), deducimos que:

(md p) o

a1

(md p) o

a 1

(md p) o

Entonces, para calcular y resulta:

(p 1)! = 1 2 3 (p 1) mdulo p, agrupamos

cada factor con su inverso multiplicativo (ver ejemplo despus del teorema),

(p 1)! (p 1) 1

(md p) o

Ejemplo: Para mostrar como funciona el proceso de agrupar cada nmero


con su inverso multiplicativo mdulo Sea

p, a 1 4 5 2 3 7

veamos un ejemplo.

p = 7.

Entonces, tenemos la siguiente tabla de inversos mdulo 7:

a 1 2 3 4 5 7

Notas de lgebra I - c 2007 Pablo L. De Npoli

42

Entonces:

(p 1)! = 6! = 1 2 3 4 5 6 1 (2 4) (3 5) 6 6 1

(md 7) o

Ejercicio: Probar que si p es un primo impar, entonces


p1 ! 2
su inverso aditivo

1 1

si si

p1 p3

(md 4) o (md 4) o

(md p) o

(Sugerencia: calcular

19

(p 1)! de otra manera agrupando cada nmero con mdulo p, vale decir agrupando a a con p a).

9.

El teorema fundamental de la aritmtica


Ahora probaremos el teorema fundamental que ya hemos anunciado con

anterioridad:

Teorema 9.1
tores.

Cada entero

n > 1,

o bien es primo, o se descompone como

producto de primos, y la descomposicin es nica, salvo el orden de los fac-

Para ilustrar el teorema, obtengamos dos factorizaciones del nmero 360. Un procedimiento posible, es ir dividiendo a magnitud, hasta obtener un

360

por los primos en orden de

1: 360 180 90 45 15 5 1 2 2 2 3 3 5

Luego obtenemos la factorizacin:

360 = 2 2 2 3 5 5
19 Dos nmeros

son inversos aditivos mdulo

si

a+a 0

(md p) o

Notas de lgebra I - c 2007 Pablo L. De Npoli

43

Qu sucede si hubiramos empezado dividiendo por otro primo? Por ejemplo por

5: 360 72 24 8 4 2 1 5 3 3 2 2 2

Esto conduce la factorizacin:

360 = 5 3 3 2 2 2
Pero ambas factorizaciones slo dieren en el orden de los factores, tal como arma el teorema. Ahora demostraremos el teorema:

Prueba: La existencia ya la probamos antes (teorema 2.1). Queda pues probar la unicidad. Para ello, hagamos nuevamente induccin global en

n.

Para

n=1

el teorema no arma nada.

Sea entonces

n > 1, n

y supongamos que el teorema es vlido para todo

n < n.
Supongamos que admite dos factorizaciones como producto de primos:

n = p 1 p 2 . . . p r = q 1 q 2 . . . qs
siendo los

pi

y los

qi

primos (eventualmente alguna de las factorizaciones

puede constar de un slo primo). Tomemos un primo en la factorizacin de la izquierda, por ejemplo virtud del corolario 5.5, deducimos que

p1 . En

p1 |qi para algn i. Pero entonces como qi es primo, p1 = qi o pi = 1 (lo que es imposible pues 1 no es primo); es decir que hemos probado que p1 debe necesariamente aparecer en la factorizacin
de la derecha. Podemos entonces. cancelar

p1

en ambos lados de la igualdad obteniendo

dos descomposiciones del nmero

n = n : p1

como producto de primos:

n = p2 p3 . . . pr = q1 q2 q3 . . . qi1 qi+1 . . . qs n < n, entonces en virtud de la hiptesis inductiva, las dos descomposiciones de n slo pueden diferir en el orden de los factores: es decir
Notemos que

Notas de lgebra I - c 2007 Pablo L. De Npoli

44

que

r = s y los nmeros q1 , q2 , . . . , qi1 , qi+1 , . . . qs p2 , p3 , . . . pr , slo que en otro orden.

deben ser los mismos que

Deducimos entonces que las dos descomposiciones supuestas de dieren en el orden de los factores.

slo

En virtud del principio de induccin global, hemos demostrado el teorema para todo

n N.

Es importante notar que nuestra prueba del teorema fundamental de la aritmtica, se bas escencialmente en el corolario 5.4, el cul a su vez lo obtuvimos como una consecuencia del algoritmo de Euclides.

Ejercicio: Probar que recprocamente el teorema 9.1 implica el corolario


5.4, por lo que ambos resultados son en cierto modo equivalentes.

Una prueba alternativa


Una prueba alternativa del teorema fundmental, que no depende del al-

Prueba: Nuevamente, supongamos que n tiene dos factorizaciones


n = p 1 p 2 . . . p r = q 1 q 2 . . . qs
y que ya hemos demostrado la unicidad de la factorizacin para cualquier

goritmo de Euclides, se puede hacer del siguiente modo

20

n < n.
Podemos ordenar los primos que aparecen en cada factorizacin de modo que:

p1 p2 . . . pr q1 q2 . . . qs
Claramente podemos suponer que para

p 1 q1 .

Adems si fuera

p 1 = q1 ,

po-

demos cancelarlo en ambas descomposciones, obteniendo dos factorizaciones ciones de

n < n. Y usando la hiptesis inductiva, deducimos las dos n factorizan coinciden salvo el orden de los factores. Entonces, podemos suponer que p1 < q1 . Consideramos el entero: n = n p 1 q 2 . . . qr

20 ver [1], suplemento al captulo I, seccin 1

Notas de lgebra I - c 2007 Pablo L. De Npoli

45

Este entero

es menor que

y podemos escribirlo de dos maneras:

n = p1 (p2 . . . ps q2 . . . qr ) = (q1 p1 )q2 . . . qs


Siendo,

n <

la factorizacin de

como producto de primos es nica,

por hiptesis inductiva. Y como

p 1 = qi

para algn

con

p1 es primo, deducimos entonces que o bien 2 i s, o bien p1 |q1 p1 (por un razonamiento

similar al del ejercicio anterior). En el primer caso, razonamos como antes, y deducimos que las dos factorizaciones de

coinciden.

Por otra parte, si lo que implica que

p1 |q1 p1 , tenemos que: q1 p1 = p1 k para algn k Z, q1 = p1 (k + 1), y q1 no sera primo pues p1 |q1 .

10.

Consecuencias del Teorema Fundamental de la aritmtica

Notemos en la descomposicin dada por el teorema fundamental, los primos pueden repetirse. Agrupando los primos que se repiten podemos expresar a cada nmero

n como productos de primos diferentes, elevados a ciertas po-

tencias, por ejemplo

360 = 23 32 51
Podemos si queremos incluir otros primos que no aparecen en esta factorizacin con exponente cero, ej:

360 = 23 32 51 70 110
Esto motiva la siguiente denicin:

Denicin 10.1 Si p es un nmero primo, denimos una funcin vp : N N0 , llamada la valuacin p-dica del siguiente modo: vp (n) es el exponente
del primo Ponemos

p en la factorizacin en primos vp (1) = 0 para todo primo p.

del nmero

en factores primos.

Por ejemplo,

Notas de lgebra I - c 2007 Pablo L. De Npoli

46

3 2 vp (360) = 1 0
Claramente la vluacin fundamental de la aritmtica.

si si si si

p=2 p=3 p=5 p = 2, 3, 5

p-dica est bien denida, en virtud del teorema vp


como el mximo exponente

Ms explicitamente podramos denir k que p divide a n:

k tal

vp (n) = mx{k N0 : pk |n} a


Entonces, la factorizacin de

podemos escribirla como

n=
pP,p|n
donde

pvp (n)

los primos que dividen a

P es el conjunto de los nmeros primos, y el producto se extiende sobre n. n=


pP

A veces resulta til escribir esto formalmente como:

pvp (n)

donde el producto se extiende ahora sobre todos los primos; y donde, si bien el producto es formalmente innito, slo un nmero nito de factores son diferentes de

1,

por lo que es realmente un producto nito.

Observemos una propiedad importante de la valuacin

p-dica21 :

Proposicin 10.1
vp (ab) = vp (a) + vp (b)

Prueba: Si las factorizaciones de a y b son:


a=
pP,p|a

pvp (n) pvp (n)


pP,p|b

b=
21 Esta propiedad signica que la valuacin

p-dica

se comporta algebraicamente de

modo muy similar a un logaritmo: transforma productos en sumas.

Notas de lgebra I - c 2007 Pablo L. De Npoli

47

la de

ab

es

22

ab =
pP,p|a p|b
En consecuencia,

pvp (a)+vp (b)

vp (ab) = vp (a) + vp (b)

Ejercicio: Probar que si a, b N, entonces:


vp (a + b) mx(vp (a), vp (b) a
El teorema fundamental de la aritmtica nos permite dar un criterio para saber cuando un nmero es divisible por otro en trminos de su factorizacin en factores primos:

Teorema 10.1

Sean

a, b N,

entonces

a|b

si y slo si

vp (a) vp (b) para


aparecen en la de

todo primo

pP a a
menor o

Es decir: si y slo si todos los primos que aparecen en la factorizacin de

b,

y el expoente con que aparecen es en la de

igual que en la facorizacin de

b.

Prueba: Supongamos primero que a|b, entonces existe c N tal que b = ac,
y por el teorema anterior:

vp (b) = vp (a) + vp (c)


Pero

vp (c) 0,

luego

Por otro lado si,

vp (a) vp (b), como armamos. vp (a) vp (b) para todo primo p y c=


pP,p|b

denimos:

pvp (b)vp (a)

tendremos que

cN

(pues los exponentes son enteros no negativos) y, razo-

nando como en el teorema anterior, que

ac = b.

En consecuencia,

a|b.

Este teorema tiene a su vez varias consecuencias importantes, por ejemplo permite dar una caracterizacin del mximo comn divisor en trminos de la factorizacin en primos:

22 En esta frmula,

simboliza el conectivo lgico o (no exclusivo)

Notas de lgebra I - c 2007 Pablo L. De Npoli

48

Teorema 10.2

Si

a, b N,

el mximo comn divisor entre ellos, admite la

siguiente factorizacin: mcd(a, b)

=
pP,p|ap|b

n(v pm p (a),vp (b))

Es decir, en la factorizacin de mcd(a, b) aparecen los primos que aparecen en la de

y en la de

b,

y elevados al menor de los exponentes con que aparezcan

en ellas.

Prueba: Sea
d=
pP
Probaremos que lario 5.1): i) Es un divisor comn:

n(v pm p (a),vp (b)) N

d satiface la caracterizacin del mximo comn divisor (corod|a


y

d|b. d
lo divide: si

ii) Cualquier otro divisor comn Para probar que

d |a

d |d,

entonces

d |d.

d|a,

basta observar que para todo primo

p P:

vp (d) = m p (a), vp (b)) vp (a) n(v


luego por el teorema 10.1, tenemos que

d|a.

Similarmente:

vp (d) = m p (a), vp (b)) vp (b) p P n(v


luego

d|b.

Supongamos ahora que

es otro divisor comn: entonces

vp (d ) vp (a),
luego para cualquier primo

vp (d ) vp (b)

p,

vp (d ) m p (a), vp (b)) = vp (d) n(v


y en consecuencia, por el teorema 10.1 concluimos que

d |d.

Como

satiface

la caracterizacin del mximo comn divisor, concluimos que

d = mcd(a, b).

Una nocin dual de la de mximo comn divisor es la de mnimo comn mltimo (m.c.m). Se tiene el siguiente anlogo del teorema 10.2:

Notas de lgebra I - c 2007 Pablo L. De Npoli

49

Teorema 10.3

Si

a, b N,

el mnimo comn mltiplo entre ellos, admite la

siguiente factorizacin: mcm(a, b)

=
pP,p|ap|b

a pmx(vp (a),vp (b))

Es decir, en la factorizacin de mcm(a, b) aparecen los primos que aparecen en la de

o en la de

(donde el o es no exclusivo), y elevados al mayor

de los exponentes con que aparezcan en ellas.

Ejercicio: Efectuar la prueba de este teorema, probando que


m=
pP,p|ap|b
satiface la siguiente caracterizacin del mnimo comn mltiplo corolario 5.1). i) Es un mltiplo comn:

a pmx(vp (a),vp (b))

23

(dual del

a|m m

b|m. m:
si

ii) Cualquier otro mltiplo

es divisible por

a|m

b|m ,

entonces

m|m .
Muchas propiedades del mximo comn divisor o del mnimo comn mltiplo se prueban facilmente a partir de esta caracterizacin:

Proposicin 10.2
i) mcd(ac, bc) ii) mcm(ac, bc)

Sean

a, b, c N

entonces:

= c mcd(a, b) = c mcm(a, b) = ab
En particular,

iii) mcd(a, b)mcm(a, b) mcm(a, b)

son coprimos si y slo si

= ab.

23 Esta caracterizacin signica que mcm(a, b) es el


por la divisibilidad

supremo de a y b en el orden dado

Notas de lgebra I - c 2007 Pablo L. De Npoli

50

Ejemplo: Sean a = 60 y b = 63. Tenemos las factorizaciones:


a = 22 3 5 b = 32 71
Entonces: mcd(a, b)

= 31 = 3

mcm(a, b) y

= 22 32 51 71 = 1260

ab = 22 33 51 71 = 3780 = 3 1260
En la prueba de la proposicin 10.2 necesitaremos utilizar ciertas propiedades del mximo y el mnimod de dos nmeros naturales 1.

m, n N0 :

m n(m + k, n + k) = m n(m, n) + k m, n, k N0
2.

(10)

mx(m + k, n + k) = mx(m, n) + k m, n, k N0 a a
3.

(11)

m n(m, n) + mx(m, n) = n + m m, n N0 a n>m n m.

(12)

estas propiedades se comprueban sin dicultad, considerando separadamente los casos en que armacin i): mcd(ac, bc) basta demostrar que todo primo mismo exponente, o sea que:

Prueba: Para demostrar una igualdad entre dos nmeros naturales, como la
= c mcd(a, b) p
aparece en ambos miembros elevado al

y en que

vp (mcd(ac, bc)) = vp (c mcd(a, b)) p P

(13)

Notas de lgebra I - c 2007 Pablo L. De Npoli

51

Pero por el teorema 10.2, y la propiedad (10):

vp (mcd(ac, bc)) = m p (ac), vp (bc)) n(v = m p (a) + vp (c), vp (b) + vp (c)) = m p (a), vp (b)) + vp (c) n(v n(v
Por otra parte, utilizando nuevamente el teorema 10.2:

vp (c mcd(a, b)) = vp (c) + vp (mcd(a, b)) = vp (c) + m p (a), vp (b)) n(v


Esto demuestra 13, y en consecuencia i). La prueba de la armacin ii) es completamente similar, y se deja como ejercicio. Finalmente, para probar la igualdad iii), nuevamente bastar probar que:

vp (mcd(a, b)mcm(a, b)) = vp (ab) p P


Pero teniendo en cuenta la propiedad (12):

(14)

vp (mcd(a, b)mcm(a, b)) = vp (mcd(a, b)) + vp (mcm(a, b)) = m p (a), vp (b)) + mx(vp (a), vp (b)) = vp (a) + vp (b) n(v a
y por otra parte,

vp (ab) = vp (a) + vp (b)


lo que demuestra la armacin (14), y en consecuencia iii). Similarmente podemos demostrar otras propiedades, por ejemplo:

Proposicin 10.3

Si

a, b N

son tales que

an |bn ,

entonces

a|b.

Prueba: Para ver que a|b basta ver que:


vp (a) vp (b)
pero como por hiptesis,

a|b,

tenemos que:

vp (an ) vp (bn )
o sea:

nvp (a) nvp (b)


y en consecuencia:

vp (a) vp (b)

Notas de lgebra I - c 2007 Pablo L. De Npoli

52

Ejercicio: El teorema 10.1 tambien puede emplearse para determinar la


cantidad de divisores de un nmero. Denamos divisores positivos de

d(n)

como la cantidad de

n.

Probar que entonces,

d(n) =
p|n

(vp (n) + 1)

Otras consecuencias del teorema fundamental de la aritmtica, nos sern ms tiles ms adelante:

Proposicin 10.4
ces

Sean

a, b, c N.

Si

a|c, b|c,

son coprimos, enton-

ab|c.

Prueba: Por el teorema 10.1, notamos que basta probar que:


vp (ab) vp (c) p P
Pero (15)

vp (ab) = vp (a) + vp (b)


Observemos que omo

a y b son coprimos, para cualquier primo p, ser vp (a) =

vp (b) = 0. vp (a) = 0, entonces vp (ab) = vp (b) vp (c) pues b|c. Si vp (b) = 0, entonces vp (ab) = vp (a) vp (c) pues a|c En cuqlquier caso, hemos probado que se verica (15), en consecuencia ab|c.
o Si

11.

El teorema de Fermat
Sean

Teorema 11.1 (Fermat)


i)

un nmero primo y

a Z.

Entonces:

ap a (md p) o
ii) Si

no divide a

entonces,

ap1 1

(md p) o

Notas de lgebra I - c 2007 Pablo L. De Npoli

53

Observemos ante todo, que las dos armaciones del enunciado, son equivalentes: Para probar que i) implica ii), basta observar i) puede escribirse la forma:

a ap1 a 1
Entonces, siendo

p primo, si p no divide a a, p es coprimo con a, y podemos

cancelarlo en ambos miembros de la congruencia (por la proposicin 6.4). Recprocamente es claro que ii) implica i), ya que basta multiplicar ambos miembros de la congruencia por

a.

Daremos dos pruebas diferentes de este teorema, la primera prueba se basa en el binomio de Newton, y en un argumento de induccin. Recordamos que el binomio de Newton arma que:

(a + b) =
k=0
El siguiente lema arma que salvo los de los extremos:

p k pk a b k

divide a todos los coecientes binomiales

Lema 11.1

Si

es primo, y

1<k<p p k 0

entonces

(md p) o

Prueba: Recordamos que:


p k
En consecuencia:

p(p 1)(p 2) . . . (p k + 1) N k! p|k! p k

Pero como menores

k < p, los factores primos de k! deben ser exclusivamente primos p que p, por lo tanto p es coprimo con k , y por el corolario 5.3 p| . k
Si

Corolario 11.1

a, b Z

es primo, entonces:

(a + b)p ap + bp

(md p) o

Notas de lgebra I - c 2007 Pablo L. De Npoli

54

Prueba: Ya observamos que i) y ii) son equivalentes, luego basta probar i).
Para hacerlo hagamos induccin en

Ahora resulta sencillo probar el teorema 11.1:

a.

Si

a=0

el teorema es evidente:

0p = 0 0
Si el teorema vale para un cierto

(md p) o

a,

veremos que se verica tambin para

a + 1:

en efecto por el corolario 11.1

(a + 1)p ap + 1p

(md p) o

y usando la hiptesis inductiva, deducimos que:

(a + 1)p a + 1 a N0 . a < 0,

(md p) o a > 0

En virtud del principio de induccin, el teorema queda demostrado para cualquier Si notemos que luego usando lo que ya demostramos:

(a)p = (1)p ap a (md p) o


pero este

(1)p 1 (md p) tanto o caso 1 1). Por lo tanto

si

es un primo impar como si

p=2

(en

ap a (md p) o

Una observacin sobre la demostracin anterior:


arma que si

En realidad el

teorema de Fermat puede pensarse como teorema sobre clases en

Zp ,

que

a Zp

es primo,

ap = a en Zp
Ahora en induccin: si 1.

Zn (n primo o no), vale una forma ms fuerte del P es una propiedad de las clases en Zn tal que: a0 Zn P (a + 1)
es verdadera:

principio de

P (a0 )

para algn

2. Si

P (a)

es verdadera, entonces

entonces

Ejercicio: Justicar porqu en Zn se verica esta forma del principio de

P (a)

es verdadera para cualquier

a Zn .

induccin.

Notas de lgebra I - c 2007 Pablo L. De Npoli

55

Figura 1: Pierre de Fermat

Teniendo en cuenta esta observacin en la demostracin anterior, no es realmente necesario considerar el caso

a < 0.

Nota histrica:
Pierre de Fermat (1601-1665) fue un jurista (en el parlamento de Toulouse, en el sur de Francia)y destacado matemtico. Adems de haber obtenido importantes resultados en teora de nmeros, es uno de los fundadores de la geometra analtica (contemporaneo de Descartes, concibi independientemente de l, su principio fundamental), el clculo innitesimal y el clculo de probabilidades (a travs de su correspondencia con Blaise Pascal). El teorema 11.1 (conocido como el pequeo teorema de Fermat) aparece en una de sus cartas a su condente Frnicle de Bessy, fechada el 18 de octubre de 1640. Fermat es tambin famoso por otro teorema (en realidad conjetura, ya que no dio una demostracin), conocido como el ltimo teorema de Fermat,que arma que si

n>2

la ecuacin diofntica

xn + y n = z n
no admite soluciones enteras con

x, y , z

no nulas. Este teorema fue formulado

por Fermat en un comentario en el margen que escribi mientras lea la aritmtica de Diofanto. Fermat dijo tener una demostracin notable de esta armacin pero que el margen era demasiado pequeo para escribirla. Pese a tratarse de un enunciado elemental, los intentos de demostrar este teorema por numerosos matemticos de la talla de Euler, Dedekind, Legendre, Lam, Kummer, etc. fueron infructuosos (aunque lograron demostrar casos particulares, y estas investigaciones condujeron al desarrollo de nuevas teoras matemticas de gran importancia en la matemtica actual, como la teora algebraica de nmeros y las curvas elpticas). Finalmente, en 1995 Andrew Wiles dio una demostracin de

Notas de lgebra I - c 2007 Pablo L. De Npoli

56

un teorema que implica el ltimo teorema de Fermat (pero esta demostracin no es para nada elemental).

12.

El Teorema Chino del Resto

Comencemos con una proposicin sobre congruencias respecto a mdulos que son primos entre s.

Proposicin 12.1
m1 m2 .
Entonces

Sean

ab

m1 , m2 N dos nmeros coprimos, a, b Z y m = (md m) si y slo si se tiene simultneamente que: o a b a b (md m1 ) o (md m2 ) o
(16)

Prueba: Primero supongamos que a b (md m) Entonces, como m1 |m y o


m2 |m, por la obseracin 6.1, deducimos que se satisface (16). Recprocamente m1 |b a y m2 |b a. Dado que m1 y m2 son coprimos, por la proposicin 10.4, deducimos que m1 m2 |b a, es decir que a b (md m) o
supongamos que se satisface (16) entonces,

Ejemplo: Para ilustrar la utilidad de la proposicin anterior, veamos un


anlogo del teorema de Fermat, para congruencias respecto a un mdulo compuesto de la forma Si ni

ni

dividen a

n = pq , donde p y q son primos distintos. a, tendremos en virtud del teorema de Fermat: ap1 1 aq1 1 (md p) o (md q) o q 1,
y la

En consecuencia, elevando la primer congruencia a la potencia segunda a la potencia

p 1,

tendremos que:

a(p1)(q1) 1 a(p1)(q1) 1

(md p) o (md q) o

y en virtud de la proposicin 12.1, tendremos que:

a(p1)(q1) 1

(md pq) o

Notas de lgebra I - c 2007 Pablo L. De Npoli

57

Esta congruencia puede considerarse como anloga al teorema de Fermat, para el mdulo compuesto adelante. Ahora consideremos un sistema de congruencias respecto a dos mdulos que son coprimos, por ejemplo:

n = pq .

Volveremos sobre este ejemplo ms

x 2 x 4

(md 3) o (md 5) o

(17)

Ser posible reducirlo a una nica congruencia mdulo que el sistema (17) signica que existen

3 5 = 15?.

Veremos que la respuesta a esta pregunta es armativa. Para ello, notemos

q1 , q2 Z

tales que:

x = 3q1 + 2 x = 5q2 + 4
Comenzamos multiplicando la primer ecuacin por

y a la segunda por

(para que aparezca

15

como factor ):

5x = 15q1 + 10 3x = 15q2 + 12
Ahora notemos lo siguiente: como los mdulos tales que:

son coprimos, por el

teorema 5.2 (consecuencia del algoritmo de Euclides) existen enteros

, Z

3 + 5 = 1
De hecho, utilizando el algoritmo de Euclides, es fcil ver que podemos tomar

=2

y a la segunda

= 1. Multiplicando por , tenemos que:

entonces a la primera ecuacin por

5x = 15q1 + 10 3x = 15q2 + 12
y sumndolas obtenemos que:

(5 + 3)x = 15(q1 + q2 ) + (10 + 12)


o sea, teniendo en cuenta la manera en que hemos elegido

x = 15(q1 + q2 ) + (10 + 12)

Notas de lgebra I - c 2007 Pablo L. De Npoli

58

Pero entonces:

x 10 + 12 = 14 (md 15) o
Recprocamente, si

x 14 (md 15), o x 14 4 x 14 2

entonces

(md 5) o (md 3) o

Por lo que vemos que el sistema (17) es equivalente a la congruencia

x 14 (md 15) o
Ahora generalizaremos este ejemplo, en un teorema general:

Teorema 12.1 (Teorema Chino del resto)


congruencias:

Consideramos el sistema de

x a1 x a2
donde

(md m1 ) o (md m2 ) o
y

(18)

a1 , a2 Z , m1 , m2 N

y,

m1

m2

son coprimos. Entonces existe un

aZ

tal que el sistema (18) es equivalente a la congruencia:

x a (md m) donde m = m1 m2 o

Prueba: Procedemos como en el ejemplo anterior: Notamos que el sistema


(18) signica que existen

q1 , q2 Z

tales que:

x = q1 m1 + a1 x = q2 m2 + a2
Por otra parte, como

m1

m2

son coprimos, por el corolario 5.2 (conse-

cuencia del algoritmo de Euclides), existen

, Z

tales que: (19)

m1 + m2 = 1
Entonces multiplicando a la primer ecuacin por

m2

y a la segunda por

m1 ,

deducimos que:

m2 x = q1 m1 m2 + m2 a1 m1 x = q2 m1 m2 + m1 a2

Notas de lgebra I - c 2007 Pablo L. De Npoli

59

y sumando estas ecuaciones, tenemos que:

(m2 + m1 )x = (q1 + q2 )m1 m2 + (m2 a1 + m1 a2 )


o teniendo en cuenta la forma en que elegimos

x = (q1 + q2 )m1 m2 + (m2 a1 + m1 a2 )


Llamando

a = m2 a1 + m1 a2
esta ecuacin implica que:

x a (md m) o
donde de (20).

(20)

m = m1 m2 .

As pues hemos probado que cualquier solucin de (18) es una solucin Recprocamente, vamos a probar que cualquier solucin de (20), es una solucin de (18). Para ello notemos primero que

satisface que:

a a1 a a2

(md m1 ) o (md m2 ) o a:

(21)

Para verlo notemos que por la denicin de

a m2 a1 a m1 a2
pero por (19) tenemos tambin que:

(md m1 ) o (md m2 ) o

m2 1 m1 1
(o sea que son inversos

(md m1 ) o (md m2 ) o m1 ,
y del mismo modo

son mdulo m2 )
y

m2

inversos mdulo

m1

Utilizando entonces la propiedad multiplicativa de las congruencias podemos concluir que se verica (21) (lo que dice que 18). Cualquier otra solucin

es una solucin de

de (18), vericar entonces (por transitividad

de la relacin de congruencia) que:

Notas de lgebra I - c 2007 Pablo L. De Npoli

60

x a x a

(md m1 ) o (md m2 ) o

y entonces por la proposicin 12.1, tendremos que:

xa

(md m) o

Esto demuestra que (18) y (20) son equivalentes. Hagamos algunas observaciones sobre la demsotracin anterior: en primer lugar notemos que la demostracin es constructiva (o sea: no slo armamos que el

a del enunciado existe, sino que damos un mtodo para encontrarlo, ya que y pueden encontarse utilizando el algoritmo de Euclides. Por otra parte, notemos que a es nica como clase de Zm (esto es: dos posibles valores de a son congruentes mdulo m).
El teorema chino puede genrealizarse facilmente a sistemas de ms de dos congruencias:

Ejemplo: Consideremos el sistema


x 2 x 4 x 1 (md 3) o (md 5) o (md 7) o
(22)

formado por las dos congruencias del ejemplo anterior, ms una tercera congruencia. Nuestro objetivo es encontrar una congruencia mdulo

105 =

357

que sea equivalente al sistema (22).

Notemos que en el ejemplo anterior vimos que las dos primeras congruencias eran equivalentes a la congruencia:

x 14 (md 15) o
Sustituyendo, vemos que (22) es equivalente a

x 14 x 1
Como nuevamente

(md 15) o (md 7) o


y

15

son coprimos, podemos volver a aplicarle el

teorema chino a este sistema. Nuevamente buscamos

tales que:

15 + 7 = 1

Notas de lgebra I - c 2007 Pablo L. De Npoli

61

Encontramos que teorema 12.1,

= 1, = 2 y procediendo como en la demostracin del encontramos que a = 181, es decir que el sistema (22), es x 181 (md 105) o

equivalente a la nica congruencia:

Generalizando este ejemplo, podemos dar un enunciado del teorema chino del resto para sistemas de un nmero arbitrario de congruencias:

Teorema 12.2 (Teorema Chino del resto, versin general)


el sistema de congruencias:

Consideramos

x a1 x a2 ... x ak
donde

(md m1 ) o (md m2 ) o (md mk ) o

(23)

k ).

Entonces existe un

ai Z , mi N y, mi y mj son coprimos si i = j (1 i, j a Z tal que el sistema (23) es equivalente a la x a (md m) donde m = m1 m2 . . . mk o

congruencia:

Ejercicio: Efectuar la prueba de este teorema, por induccin en el nmero


k
de ecuaciones (imitando el procedimiento del ejemplo anterior)

A.

La funcin de Euler y el teorema de FermatEuler

Vimos en el teorema 8.2 que las clases

un importante papel en la aritmtica de

a donde a es coprimo con n, tienen Zn , a saber son exactamente las

clases que admiten un inverso multiplicativo. Por ello, conviene que estudiemos en ms detalle el conjunto formado por estas clases

24

. Introduzcamos una notacin para este conjunto:

24 Los temas de este apndice son extras al programa de la materia, sin embargo constituyen una aplicacin y continuacin natural de la teora que venimos desarrollando, y la funcin de Euler

(n)

que introducimos en en esta seccin tambin es importante en

coneccin con las raices primitivas de la unidad (tema que veremos ms adelante)

Notas de lgebra I - c 2007 Pablo L. De Npoli

62

Zn = {a Zn : a es
Notemos que ser coprimo con

coprimo con

n}

n es realmente una propiedad de la clase b pertenece a la misma clase en Zn que a, es decir que b a (md n) entonces a es coprimo con n si y slo si b lo es. o Prueba: Si suponemos que a es coprimo con n y b a (mod n), entonces existe q Z tal que b = qn + a. Luego si d|b y d|n, tedremos que d|a. Pero como a es coprimo con n, y d es un divisor comn de ambos, debe ser d = 1. En consecuencia b es coprimo con n. a
(y no slo del nmero a) pues si Notemos que como cada nmero es congruente mdulo n con alguno de los nmeros 0, 1, 2, . . . , n 1 podemos describir Zn de modo un poco ms explcito como:

Zn = {a Zn : 0 a n 1, a es

coprimo con

n}
el

Una observacin importante es que el conjunto producto en

Zn

ya que si

son coprimos con

Z es cerrado para n n, ab tambin lo es25 .

: N N (conocida como la indicatriz de Euler), del siguiente modo: (n) es la cantidad de elementos de Zn , o lo que es equivalente: (n) cuenta cuntos de los nmeros 0, 1, 2, . . . , n 1 son coprimos con n.
Denimos tambin una funcin Veamos algunos ejemplos:

Ejemplo 1 consideremos por ejemplo n = 6. Entonces:


Z6 = {0, 1, 2, 3, 4, 5}
25 Observamos que

Z n

verica tres propiedades importantes:

1. Es cerrado para el producto 2. El producto tiene un

elemento neutro (la clase 1 del 1) tal que:


a1=1a=a

3. Cada elemento

a Z n

posee un

inverso multiplicativo a
aa =a a=1

(teorema 8.2) tal que

Se dice entonces que el conjunto producto mdulo

Z n

tiene estructura de

grupo respecto a la operacin de

denida en l.

Notas de lgebra I - c 2007 Pablo L. De Npoli

63

Z6 = {1, 5}

para determinar (15) y los elementos de Z15 podemos proceder del siguiente modo: escribimos los nmeros del 0 al 14:

Ejemplo 2:

En particular,

(6) = 2. Si n = 15 = 3 5,

0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15


Suprimos los que son mltiplos de

3:

1, 2, 4, 57, 8, 10, 11, 13, 14


y suprimamos los que son mltiplos de

10:

1, 2, 4, 7, 8, 11, 13, 14
Los nmeros que nos han quedado son coprimos con

15, en consecuencia:

Z15 = {1, 2, 4, 7, 8, 11, 13, 14}

(15) = 8. Este ejemplo muestra que el valor de (n) depende de cmo n. Ejemplo 3: Si p es primo, los nicos nmeros que no son coprimos con p son los que son divisibles por p (que corresponden a la clase del cero 0), en
y sea la factorizacin en primos del nmero consecuencia:

Zp = {1, 2, . . . , p 1}

Ejemplo 4: Si tenemos que n = pq, donde p y q son dos primos distintos,


podemos proceder como en el caso del nmeros:

y por lo tanto

(p) = p 1.

15, del siguiente modo: escribamos los

0, 1, 2, . . . , n 1
y tachemos los que son mltiplos de tachemos los mltiplos de

q:

son exactamente

p: son exactamente q nmeros. Luego p nmeros. Pero hay exacta-

mente un nmero (el cero) que hemos tachado dos veces. En consecuencia: en total nos quedan sin tachar:

Notas de lgebra I - c 2007 Pablo L. De Npoli

64

pq q p + 1
nmeros. Este es el valor de

26

(n) = pq p q + 1 = (p 1)(q 1)
. Notemos que en este caso se cumple que:

(pq) = (p)(q)
Esto motiva la siguiente propiedad que nos permitir calcular en general el valor de

(n),

en trminos de su factorizacin en primos:

Teorema A.1

Si

m1

m2

son coprimos, entonces:

(m1 ) = (m1 )(m2 )

Para probar este teorema, necesitamos un lema sobre los sistemas de congruencias que hemos considerado en el teorema chino del resto:

Lema A.1
gruencias:

Sean

m 1 , m2 N

coprimos, y consideremos el sistema de con-

x a1 x a2
solucin de este sistema mdulo

(md m1 ) o (md m2 ) o

como en el teorema chino del resto (teorema 12.1). Entonces si

a es m2 .

coprimo con

m,

si y slo

a es la nica m (dada por el teorema chino), tenemos que: si a1 es coprimo con m1 y a2 es coprimo con

Prueba: Supongamos primero que a es coprimo con m. Entonces, conforme


al teorema 8.2, que:

admite un inverso mdulo

m.

Es decir: existe un

a Z

tal

aa 1

(md m) o
(n)

26 Un argumento combinatorio similar puede utilizarse para determinar el valor de


[3], captulo V, seccin 2

en general, por medio de la llamada 'frmula de inclusiones y exclusiones, ver por ejemplo

Notas de lgebra I - c 2007 Pablo L. De Npoli

65

En consecuencia, tendremos que:

aa aa
y por lo tanto

1 1 1 1 a1

(md m1 ) o (md m2 ) o (md m1 ) o (md m2 ) o m1 ,


por lo que

a1 a a2 a
pero esto, justamente dice que

admite un inverso mdulo

a1 debe ser coprimo con m1 ; y del mismo modo, a2 admite un inverso mdulo m2 , por lo que a2 debe ser coprimo con m2 . (de nuevo usando el teroema 8.2).
Para probar el recproco, supongamos que

a1

es coprimo con

m1

y que

m2 . En consecuencia admite un inverso a1 mdulo m1 , y a2 sea existen a1 , a2 Z tales que:


es coprimo con

a2

(nuevamente por el teorema 8.2), admite un inverso

a1
o

a2

mdulo

m2 ,

a1 a1 1 a2 a2 1

(md m1 ) o (md m2 ) o

Consideramos entonces el sistema de congruencias:

x a1 x a2 m, a

(md m1 ) o (md m2 ) o a
mdulo

Conforme al teorema chino, este sistema admite una nica solucin o sea existe un in

tal que:

a a
(y dos

a1 a2

(md m1 ) o (md m2 ) o m).


Entonces tendremos que:

posibles son congruentes mdulo

aa aa
y entonces:

a1 a1 1 a2 a2 1 aa 1

(md m1 ) o (md m2 ) o

(md m) o m,
y en consecuencia

Pero esto dice que coprimo con

admite un inverso mdulo

es

(teorema 8.2).

Notas de lgebra I - c 2007 Pablo L. De Npoli

66

Prueba: Sea m = m1 m2 . Queremos calcular (m), es decir la cantidad de


elementos de

Ahora estamos en condiciones de probar el teorema A.1:

Denamos para ello una funcin f : Zm Zm Zm del siguiente modo: 1 2 dadas dos clases a1 Zm , a2 Zm , denimos f (a1 , a2 ) como la nica 1 2 solucin a mdulo m, del sistema de congruencias:

Zm .

a a1 a a2

(md m1 ) o (md m2 ) o

(24)

dada por el teorema chino del resto (teorema 12.1). Conforme al lema an terior (lema A.1), f est bien denida (si a1 Zm y a2 Zm , efectivamente 1 2 tenemos que a Zm ). Ms explcitamente, teniendo en cuenta la demostracin del teorema chino, podemos denir entonces:

del siguiente modo: sean

, Z tales que m1 +m2 = 1,

f (a1 , a2 ) = m2 a1 + m1 a2
Por otra parte, la que la clase de un pertenece en

(clase
en

en

Zm ) f
admite una

aZ

Zm ,

determina a qu clase

Zm1

Zm2

(proposicin 12.1). En consecuencia,

funcin inversa dada por:

f 1 (a en Zm ) = (a en Zm1 , a en Zm )
Dado que f admite una funcin inversa, f es una biyeccin entre Zm 1 Z 2 y Z . En consecuncia, ambos conjuntos tienen la misma cantidad de m m elementos, o sea justamente:

(m1 )(m2 ) = (m)

Ejemplo: Veamos como funciona la demostracin anterior en el caso en


que

m1 = 3

m2 = 5.

En este caso:

Z = {1, 2}, 3
y podemos tomar

Z {1, 2.3.4} 5

= 2, = 1,
en

de modo que:

f (a1

Z3 , a2

en

Z5 ) = 5a1 + 6a2

en

Z15

Notas de lgebra I - c 2007 Pablo L. De Npoli

67

La tabla de los valores de

es:

f (1, 1) f (1, 2) f (1, 3) f (1, 4)

= = = =

1 7 13 19 = 4 f

f (2, 1) f (2, 2) f (2, 3) f (2, 4)

= = = =

4 = 11 4 = 2 8 14 Z Z 3 5
y

de modo que efectivamente

es una biyeccin entre

Z . 15

Denicin A.1
f : N C)

27 Una funcin (aritmtica )

f : N Z (o ms generalmente
coprimos

tal que

f (mn) = f (m)f (n) si m, n son


se denomina Euler

multiplicativa. El teorema anterior arma que la funcin de


f
es multiplicativa, es fcil probar por induccin en la

es multiplicativa.

Observamos que si cantidad de factores

que:

f (m1 m2 . . . mk ) = f (m1 )f (m2 ) . . . f (mk )


si los factores para

mi son coprimos 1 i j , i = j ).

dos a dos (es decir si

mi

es coprimo con

mj

Ejercicio: Sea P (x) = a0 + a1 x + . . . + ak xk un polinomio con coecientes


enteros (ai

Z). Sea para cada n in Z, NP (n) el nmero de soluciones mdulo P (x) 0 (md n) o

de la congruencia:

probar que

NP

es una funcin multiplicativa.

La importancia del teorema (A.1) radica en que nos permitir calcular facilmente el valor de (n) para cualquier n a partir del conocimiento de los k valores (p ) de para las potencias de los primos.

27 Suele denominarse funciones aritmticas a las que tienen como dominio al conjunto de
nmeros naturales

N,

ya que en muchos ejemplos como la funcin de Euler,

f (n)

expresa

alguna propiedad aritmtica del nmero

n.

Notas de lgebra I - c 2007 Pablo L. De Npoli

68

Supongamos por ejemplo que queremos calcular de

(360).

La factorizacin

360

como producto de primos es:

360 = 23 32 51
entonces:

(360) = (23 ) (32 ) (51 ) = (23 22 )(32 31 )(5 1) = 4 6 4 = 96


Podemos enunciar esto como un teorema general:

Teorema A.2

Para todo

n N,

tenemos que:

(n) = n
p|n

1 p n.

donde el producto se extiende sobre los divisores primos de

Prueba: Consideremos la factorizacin de n como producto de primos:


n=
p|n
Notamos que las potencias de primos diferentes son coprimas entre s. Entonces, dado que

pvp (n)

es multiplicativa:

(n) =
p|n

(pvp (n) ) =
p|n

pvp (n) pvp (n)1 pvp (n 1 1 p 1 = 1 p

=
p|n

pvp (n) 1

1 p

=
p|n

p|n

=n
p|n

Notemos que la misma idea de la prueba de este teorema muestra que en genral, si una funcin es multiplicativa, para calcular su valor en cualquier entero, basta saber hacerlo en las potencias de los primos. Una de las razones por las que la funcin Fermat, para el caso de mdulos no primos:

de Euler resulta importante

es porque interviene en la siguiente generalizacin de Euler del teorema de

Notas de lgebra I - c 2007 Pablo L. De Npoli

69

Teorema A.3 (Fermat-Euler)


tonces

Si

nN

aZ

es coprimo con

n,

en-

a(n) 1

(md n) o

Ejermplo 1: Si n = p es primo, (p) = p 1, y se obtiene el teorema de


Fermat.

Ejemplo 2:

Si

n = pq ,

siendo

primos distintos, entonces

(n) =

(p 1)(q 1)

y obtenemos el resultado del ejemplo que vimos al comienzo

de la seccin 12.

Prueba: Para demostrar el teorema de Fermat-Euler, consideramos la funcin

f : Z Z n n

dada por

f (x) = a x = ax
Armamos que es una biyeccin. En efecto, como a es coprimo con n, por hiptesis; a tiene un inverso a en Zm (teorema 8.2). En consecuencia f admite una inversa dada por:

f 1 (y) = a y = a y
(Por que la operacin inversa de multiplicar por inverso que si

a,

es multiplicar por su

a,

que funciona como dividir por

).

En consecuencia, como

admite una inversa,

es una biyeccin. Se sigue

Zn = {x1 , x2 , . . . , xk } (todos
siendo

elementos distintos)

k = (n),

deducimos que

{f (x1 ), f (x2 ), . . . , f (xk )}


los son mismos elementos de

Z , n

en otro orden (pues una biyeccin no hace

ms que permutar los elementos de un conjunto). Deducimos que si los multiplicamos todos, tendremos que:

xi =
i=1
o sea:

f (xi ) en Zn
i=1

xi
i=1 i=1

(axi )

(md n) o

Notas de lgebra I - c 2007 Pablo L. De Npoli

70

Agrupando las que:

a que aparecen como factores en el segundo miembro, tenemos


k k

xi a
i=1
o llamando

k i=1

xi
k

(md n) o

x=
i=1
tenemos que:

xi

x ak x
Pero como

(md n) o

es coprimo con

n,

podemos cancelarlo y deducir que:

ak = a(n) 1

(md n) o

Otra propiedad notable de la funcin de Euler es la siguiente:

Teorema A.4

Para todo

n N, (d) = n
d|n
(25)

La suma en este teorema se extiende sobre todos los divisores positivos de

n.

Sumas de este tipo aparecen con frecuencia en la teora de nmeros.

Para demostrar este teorema, probaremos primero dos lemas que son de inters independiente:

Lema A.2

m = m1 m2 donde m1 , m2 N son coprimos. Entonces cada divisor d N de m se puede escribir de manera nica en la forma d = d1 d2 donde d1 |m1 , d2 |m2 y d1 es coprimo con m1 y d2 es coprimo con m2 . Recprocamente todo divisor de m es de esta forma.
Sea

Prueba: Si d|m consideramos su descomposicin en factores primos:


d=
p|d

pvp (n)

Notas de lgebra I - c 2007 Pablo L. De Npoli

71

y observamos que los primos que dividen a dividen a

m.

Pero cada primo que divide a

d deben ser algunos de los que m, debe dividir a m1 o a m2 (y


que dividen a

ambas cosa no pueden suceder simultneamente). Luego podemos clasicar los primos que aparcen en la factorizacin de que divide a

m2 ,

y escribir a

como

d en los d = d1 d2 siendo pvp (d)

m1

y los

d1 =
p|dp|m1

d2 =
p|dp|m2
Como para cualquier primo

pvp (d) m1
tenemos que:

que divida a

vp (d1 ) = vp (d) vp (m1 ) = vp (m) d1 |m1 , por el teorema 10.1. Similarmente, d2 |m2 Finalmend1 y d2 son coprimos, pues no comparten factores primos. Recprocamente si d = d1 d2 donde d1 |m1 y d2 |m2 , entonces d1 d2 |m1 m2 = m,
deducimos que te, es claro que en virtud de la proposicin 10.4.

Corolario A.1
tivos) de

La funcin

d(n)

28 que cuenta el nmero de divisores (posi-

es multiplicativa. Sea

Lema A.3

f :NZ

(o ms generalmente,

f : N C)

una funcin

aritmtica. Si

es multiplicativa, y denimos:

g(n) =
d|n

f (d)

entonces

es as mismo multiplicativa.
entonces por el lema

Prueba: Sen m1 , m2 N coprimos, y sea m = m1 m2


A.2 tenemos que:

g(m) =
d|m

g(m) =
d1 |m1 d2 |m2

g(d1 d2 )

28 Introdujimos esta funcin en un ejercio de la seccin 10. Este corolario puede utilizarse
para resolver dicho ejercicio de otra manera.

Notas de lgebra I - c 2007 Pablo L. De Npoli

72

Como

es multiplicativa, vemos que esta suma es igual a

g(d1 )(d2 ) =
d1 |m1 d2 |m2 d1 |m1

g(d1 )
d2 |m2

g(d2 ) = g(m1 )g(m2 )

Prueba: Consideremos la funcin

Ahora resulta fcil demostrar el teorema A.4:

g(d) =
d|n
Como

(d) g es multiplicativa. En consen N, basta saber hacerlo cuando n


son de la forma

es multiplicativa, por el lema A.3,

cuencia: para calcular

g(n)

en cualquier

n = pk

con

Pero si

p primo. n = pk ,
y resulta:

los divisores (positivos) de

pj

con

0 j k,

g(pk ) =
j=0
Desarrollndo esta suma:

(pj ) = 1 +
j=1

(pj pj1 )

g(pk ) = 1 + (p 1) + (p2 p) + . . . + (pk pk1 )


vemos que cada trmino se cancela con el siguiente, salvo k k pica) y resulta que g(p ) = p . En general, dado

pk

(suma telesc-

n N,

si su factorizacin en primos es

n=
p|n
como

pvp (n)

es multiplicativas, tendremos que:

g(n) =
p|n

g pvp (n) =
p|n

pvp (n) = n

Ejercicio:
nueva funcin

f, g : N C h : N C por:
Sean

funciones aritmticas, y denamos una

Notas de lgebra I - c 2007 Pablo L. De Npoli

73

h(n) =
d|n
Probar que si

f (n)g

n d h
tambin lo es.

son multiplicativas, entonces

Ejercicio: Una funcin aritmtica muy emparentada con es la funcin

de Mbius denida del siguiente modo:

(n) =

1 0 (1)k

si si si

si

n=1 n es divisible por el cuadrado de algn primo n = p1 p2 . . . pk siendo los pi primos distintos

Por ejemplo, Probar las 1. 2.

(12) = 0, (15) = 1, (30) = 1. siguientes propiedades de :

es multiplicativa.

(d) =
d|n
3.

1 0

si si

n=1 n>1 n d

(n) =
d|n

(d)

n = d

d
d|n

(26)

(Sugerencia: desarrollar el producto del teorema A.2, usando la propiedad distributiva). 4. (Frmula de inversin de Mbius) Si tica, y

f : N C es una funcin aritm-

g:NC

est dada por:

g(n) =
d|n
entonces,

f (d) g
de la siguiente manera:

se puede expresar en trminos de

f (n) =
d|n

g(d)

n = d

g
d|n

n (d) d

Notas de lgebra I - c 2007 Pablo L. De Npoli

74

B.

El orden de un entero mdulo


Sea

Denicin B.1
(o el orden de expoente

a Zn . Denimos el rden (multiplicativo) de a en Zn a Z mdulo n, siendo a coprimo con n), como el menor

dN

tal que

ad = 1 en Zn ad 1 (md n) o d (n).

o lo que es lo mismo:

Observacin B.1
del mnimo entero),

En virtud del teorema de Fermat-Euler (y del principio

est bien denido, y se tiene

Teorema B.1
(en

Sea

a Z . n

Entonces la sucesin de las potencias

a0 = 1, a, a2 , a3 , . . . , ak , . . . , Z ) n
es perodica, con perodo

d,

siendo

el orden de

mdulo

n.

Es

decir que se verica que:

ai aj
s y slo si

(md n) o (md d) o

ij
En particular, se tiene que

ai 1
si y slo si

(md d) o
debe ser un divisor de

d|i,

y en consecuencia

(n). (md d), entono

Prueba: Podemos suponer claramente que i j . Si i j


ces:

i j = kd

para algn

k N0 .

Luego:

ai = aij aj = (ad )k aj aj
Recprocamente si,

(md n) o

ai aj
tendremos que:

(md n) o (md n) o

aij aj aj

Notas de lgebra I - c 2007 Pablo L. De Npoli

75

y como

aj

es coprimo con

n,

por hiptesis, podremos cancelarlo, en esta

congruencia: obteniendo que:

aij 1
Efectuemos la divisin entera de

(md n) o
por con

ij

d,

de modo que:

i j = qd + r
Si fuera

0r<d

r = 0,

tendremos que:

aij = (aq )d ar ar
y consecuentemente:

(md n) o

ar 1
Pero ser

(md d) o
de

1 r < d, contradiciendo la denicin r = 0, es decir que d|i j , o sea que: ij

d.

Consecuentemente, debe

(md d) o

Referencias
[1] R. Courant, H. Robbins, Qu es la matemtica?. Editorial Aguilar, 1964. (suplemento al captulo primero) [2] G. H. Hardy, E. M. Wright, An Introduction to the Theory of Numbers, 4ta. Edicin, [3] J.V. Upspensky, M. A. Heaslet. Elementary Number Theory. Mc Gaw Hill, New York, 1939. [4] I. Vinogradov, Fundamentos de la Teora de los Nmeros, Ed. Mir. Mosc, 1977. [5] W. Stein, Elementary Number Theory (disponible en la pgina web de su autor,

http://sage.math.washington.edu/ent/

).