Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Modular Aritmetica PDF
Modular Aritmetica PDF
3. ARITMETICA MODULAR
3. 1. Algoritmo de Euclides
Sean dos nmeros donde > y 0; sea q el cociente que se obtiene de dividir el
primero por el segundo y, sea r el residuo resultante.
Si = + , para = 0, entonces a 6 b a 6 q.
Si = + , para 0, entonces (a r ) | b (a r ) | q.
Si = con 0, entonces (a + r ') | b (a + r ') | q ', siendo y la cifra de
cociente y residuo resultantes en la divisin por exceso.
1.2 En una bolsa hay 41 monedas que queremos repartir entre 5 cajas, pero,
a. Si colocamos 6 monedas en cada caja, nos sobran 7 monedas.
b. Si colocamos 7 sobran 11.
c. Si colocamos 8 sobran 6.
d. Si colocamos 9 faltan 4.
e. Si colocamos 10 faltan 9.
Qu consecuencias nos aportan estas distribuciones?
41 = 5 6 + 11 = 5 7 + 6. El incremento en q es 1 luego, = = 11 6 = 5.
41 = 5 6 + 11 = 5 8 + 1. El incremento en q es 2 luego, = = = 5.
41 = 5 6 + 11 = 5 9 4. El incremento en q es 3 luego, = + = = 5.
41 = 5 6 + 11 = 5 10 9. El incremento en q es 4 luego, = + = = 5.
Como podemos observar, en las dos ltimas igualdades, b ser igual a la suma de los residuos
si stos tienen signo contrario, o a su diferencia, si son de signos iguales.
1
Rafael Parra Macho ARITMTICA MODULAR
3. 2. Congruencias lineales
2
Rafael Parra Macho ARITMTICA MODULAR
X) Si b es 1 o b2 entonces . .
XI) Si p es un nmero primo entonces (m + n)2 mp + np (md.p).
XII) Si p es un nmero primo, ( m1 + m2 + ... + mn ) 2 m1 p + m2 p + ... + mn p ( md . p ).
2.3 Dividir el nmero 101 en dos partes tales que, una sea mltiplo de 11 y la otra
sea mltiplo de 17.
t= 0 1 2 3 4 -1 -2 -3 -4
x= 13 20 27 34 41 6 -1 -8 -15
t= 0 1 2 3 4 . -1 -2 -3 -4
x= 6 13 20 27 34 . -1 -8 -15 -22
3
Rafael Parra Macho ARITMTICA MODULAR
2.5 Comprobar que los enteros menores de 11, excepto el 1 y el 10, pueden agru-
parse de dos en dos de manera que . .
2.6 Encontrar un nmero tal que si se divide por 3, el resto es 2; si se divide por 5,
el resto es 3 y, si se divide por 7, el resto es 2
Ya en el siglo III, el matemtico chino Sun-Tzi quiso saber este nmero. En atencin a l y otros
como Lin Hiu (siglo III), Yang Hui (siglo XI), Chon Huo (siglo XIII), matemticos chinos que apor-
taron soluciones a los sistemas de congruencias lineales, hay un teorema llamado
.
Este teorema afirma que, si , , , son enteros positivos, primos relativos dos a dos, el
sistema . , . , . tiene solucin nica
= esto es, hay una solucin , 0 < , y todas las dems soluciones son
congruentes mdulo m con esta solucin.
Aplicado a nuestro supuesto, tenemos
Sea = 3 5 7 = 105. = = 35, = = 21 y = = 15.
+ +
2 35 2 + 2 21 1 + 2 15 1 = 233 23. 105
Donde el 23 es el nmero entero ms pequeo que al ser dividido por 3, 5 y 7 se obtienen res-
tos respectivos de 2, 3 y 2.
4
Rafael Parra Macho ARITMTICA MODULAR
2.11 Resolver el siguiente sistema, x b1 (md .4), x b2 (md .5) y x b3 (md .7) y
obtener valores con 1,3,2 y 3,2,6 de b1 , b2 y b3.
Como 1547 = 7 13 17, la ecuacin propuesta tendr solucin si, y slo si, la tienen sus facto-
res x 1000( md .7), x 1000 ( md .13) y x 1000 ( md .17 ) que son equivalentes a
x = 1000 + 7t = 6 + 7t , x = 1000 + 13t = 12 + 13t y x = 1000 + 17t = 14 + 17t. Aplicando
el Teorema Chino de Restos, como 1547 = 7 221 = 13 119 = 17 19, resulta
5
Rafael Parra Macho ARITMTICA MODULAR
y por tanto, sustituyendo coeficientes, x 442b1 + 833b2 + 273b3 (md .1547) que, dando valo-
res a b y, realizando productos
3 3. Congruencias exponenciales
El sistema reducido de restos, respecto al mdulo , consta de restos cuadrticos, los cua-
les son congruentes con los nmeros 1 , 2 , 3 , ,
y de no restos cuadrticos. Si
es resto cuadrtico respecto al mdulo , se tiene 1. ; si no es resto cuadr
tico respecto al mdulo , entonces 1. . Esto se conoce como
. Segn el teorema de Fermat, 1. luego
Como
3 = 3 1. 23 y 101 = 11 9 + 2 = 99 + 2
3 . 23.
Por la propiedad reflexiva sabemos que todo nmero es congruente de s mismo ya que si
. y 0. entonces, m | 0. Aplicado al supuesto planteado, fcil
es deducir que = 9 y, por tanto 3 9. 23.
De haber utilizado la , donde 1. , esto es 3
1. 23 con 101 = 22 4 + 13 = 88 + 13, la solucin vendra dada por la resolucin de
3 . 23. Como 3 = 3 3 3 3 3 . 23, o sea
6
Rafael Parra Macho ARITMTICA MODULAR
Tenemos que 125 1(md.13) y 12512 1(md.13) siendo 4577 = 12 381 + 5 . Para
4577
1254577 = 1254572 1255 = 1255 = (53 )5 = 515. Aplicando Fermat, 512 1(md.13) y, por tan-
to 5
15
= 512 53 8(md.13) luego, 1254577 8(md.13) siendo 8 el resto.
2
Si p es un nmero primo distinto de 2 y 5 p 1, es divisible por 10 resolviendo la congruen-
cia p 1 0(md .10). Para p = 7,11,13,19 resulta 7 + 1 = 50 0(md .10),
2 2
112 1 = 120 0(md .10), 132 + 1 = 170 0(md.10) y 192 1 = 360 0(md .10).
7
Rafael Parra Macho ARITMTICA MODULAR
3.9 Si es primo y , son nmeros enteros entonces, probar que se cumple que
+ + . .
Debemos demostrar a
2820
1(md.2821) para todo a primo relativo con 2821. Como
2821 = 7 13 31 , y si mcd (a, 2821) = 1, entonces mcd (a, 7) = mcd (a, 13) = mcd (a, 31) = 1.
De acuerdo con Fermat a 1(md.7) , a 1(md.13) y a 1(md.31) , luego, con
6 12 30
michael.
Otros nmeros de Carmichael pueden ser
561,1105,1729,2465,2821,6601,8911,10585,15841,
29341, 41041,46657,52633,62745,63973,75361
8
Rafael Parra Macho ARITMTICA MODULAR
o como b 1(md.n) . Se dice que un entero compuesto n pasa el Test de Miller para
2/t
menos de 4/n bases b, 1 < b < n, o tambin, si n es primo y b un entero positivo tal que a 6 b.
Un entero positivo que pasa el Test de Miller para la base b se llama pseudoprimo fuerte para
la base b.
Para el nmero propuesto vemos que 2047 = 23 89 , compuesto que podemos descomponer
en 2047 1 = 2046 = 2 1023, por lo que s = 1 y t = 1023 . Aplicando congruencias
con lo que demostramos que el nmero 2047 pasa el Test de Miller y, por tanto, es un p seu-
doprimo fuerte para la base 2.
El teorema demostrado por Joseph Wolstenholme en 1819 dice que, para cualquier nmero
primo p > 3, se cumple las siguientes congruencias
( p 1)!(1 + 1 2 + 1 3 + + 1 p 1) 0(md . p 2 )
( p 1)!2 (1 + 1 2 + 1 3 + + 1 ( p 1) 2 ) 0(md . p )
2 2
13 1 13 1
(13 1)! = 479.001.600, 1 k = 86021 27720 y
k =1
1 k
k =1
2
= 240505109 153679680
de donde
Este teorema se ampla diciendo que, para todo primo p > 5 se cumple
p 1
( p 1)!
k =1 k
0(md . p ).
Para dar solucin a este supuesto vamos a utilizar el mtodo de los cuadrados repetidos. Em-
pezamos por escribir el exponente en la forma 19 = 2 + 2 + 1 y operamos de la siguiente
4
forma:
9
Rafael Parra Macho ARITMTICA MODULAR
3. 4. Funciones aritmeticas
Se llama parte entera de un nmero real al nico entero racional denotado [x] tal que
[ x ] x < [ x ] + 1 . Si x e y son reales y n un entero estrictamente positivo, se dan los siguientes
resultados.
a ) [ x + y ] = [ x ] + [ y ] + e con e = 0 e = 1
b ) [ x y ] = [ x ] [ y ] e con e = 0 e = 1
1 n 1
c) [ x] + x + + ... x + = [nx]
n n
[nx]
d) = [ x]
n
x x x
Aplicado a la solucin del supuesto planteado, en = + 2
+ ... + n por tanto
p p p
10 10 10 10 10 10
e2 = + 2 + 3 = 5 + 2 + 1 = 8, e3 = + 2 = 3 + 1 = 4, e5 = = 2
2 2 2 3 3 5
4.2 Calcular los exponentes de los primos mayores a 10 que dividen a 500!.
Para las potencias del primo nmero 2, aplicando la funcin de parte entera, tenemos
10
Rafael Parra Macho ARITMTICA MODULAR
e5 =
500 500 500
+ 2 + 3 = 100 + 20 + 4 = 124
5 5 5
y as, siguiendo el mismo procedimiento, obtendremos las del e7 = 82, e11 = 49, e13 = 40,
e17 = 30, e19 = 29, etc., hasta conseguir las mximas potencias de 500! mayores a 10, y que
son
500! = 2 494 3247 5124 782 1149 1340 17 30 19 27 2321 2917 3116 3713 4112 4710 s
n n n
e p ( n) = + 2 + 3 +
p p p
n n
de hecho es un nmero de mltiplos de p en n !. El trmino 2 se aade a la contribu-
p p
2
cin adicional de los mltiplos de p , y as sucesivamente.
Por ejemplo, para determinar en cuntos ceros termina 300!, podemos razonar como sigue:
El nmero de ceros queda determinado por la potencia mayor de 10 que divida a 300! Ya que
abundan ms los mltiplos de 2 en 300! que los mltiplos de 5, el nmero de ceros queda de-
terminado por la potencia mayor de 5 que divida a 300! En este caso,
300 300 300 300
k =1 5
k
=
5
+ 2 + 3 + = 60 + 12 + 2 + 12 5 = 382 5 74
5 5
determina que 300! termina con 74 ceros. Fcilmente se puede demostrar el resultado ante-
rior ya que 300! 0(md .574 ) y 300! T 0(md .5175 ) son distintos.
11
Rafael Parra Macho ARITMTICA MODULAR
El teorema fundamental de la aritmtica dice que, cada entero > 1 se puede representar
como un producto de factores primos de forma nica, salvo el orden de sus factores. Si n se
descompone en n = p1e1 p2e2 ... prer entonces cualquier multiplicativa verifica
e
f (n) = f (piei ).
i =1
La funcin (n) es la suma de todos los nmeros naturales divisores de . Si es primo, en-
p(e+1) 1
tonces (pe ) = . Esto es as porque los nicos divisores de son las potencias de
p 1
con 0 . En consecuencia
p(e+1) 1
(pe ) = 1 + p + p2 ++ pe =
p 1
Para todo nmero real o complejo y todo entero 1 definimos (n) = d como la
d|n
suma de las potencias simas de los divisores de n. Las funciones as definidas se llaman
.
Para el caso particular de (p e ) si observamos que los divisores de una potencia de un primo
pe son 1, p, p2 ,, pe luego,
p (e +1) 1
(p e ) = 1 + p + p2 + + p e =
p 1
de donde
12
Rafael Parra Macho ARITMTICA MODULAR
22(3+1) 1 52(3+1) 1
2 (23 53 ) = 2 = 85 16276 = 1.383.460
22 1 5 1
Si recordamos que el nmero de divisores es (n) = (1 + e), que para nuestro supuesto seran
(23 53 ) = (1 + 3)(1 + 3) = 16, sumando los cuadrados de todos ellos obtenemos
1 1 1
(n) = n1 1 ... 1 o (n) = ( p1 e1 p1e1 1) .. ( p r er p r er 1)
p1 p2 pr
13
Rafael Parra Macho ARITMTICA MODULAR
y en particular, (n ) = p p 1 ( p ) = p 1 .
e e e
1 1 1 1 2 4
(720) = 7201 1 1 = 720
2 3 5 2 3 5
que es igual a
1 2 4 8 5760
(720) = 720 = 720 = = 192 .
2 3 5 30 30
x 50 1(md.5) x 50 1(md.5)
50
x 1(md.7) x 50 1(md.7)
Sabemos que x (51) 1(md .5) luego, x 50 = x 48+2 = x 48 x 2 = x 2 1(md .5), que admite como
soluciones, x 1,4(md.5), o sea, x1 = 1 + 5t y x2 = 4 + 5t .
Para x 50 1(md.7) tenemos x (71) 1(md .7) luego , x 50 = x 48+2 = x 48 x 2 = x 2 1(md .7), que
admite como soluciones, x 1,6(md.7), esto es, x1 = 1 + 7t y x2 = 6 + 7t.
Aplicando el Teorema Chino de Restos
14
Rafael Parra Macho ARITMTICA MODULAR
n
Si n s 1, tenemos (n) = (d ) , funcin de Euler que podemos escribir como
d 6n
d
n
1
(n) =
k =1
(n, k)
1 1 si n = 1
(d) = n = 0 ,
d 6n si n > 1
trminos no nulos proceden de d = 1 y de los divisores de n que son producto de primos dis-
tintos.
Para un divisor d de n fijo podemos sumar respecto de todos los k tales que 1 c k c n si, y slo
si, 1 c q c n 6 d , por lo tanto,
n6d n6d
n
(n) = (d) = (d)1 =(d) d .
d 6n q=1 d 6n q=1 d 6n
15
Rafael Parra Macho ARITMTICA MODULAR
La notacin (n) se conoce como funcin de Mangoldt en honor a Hans C.F. von Mangoldt
(1854-1925), matemtico alemn que la adapt de otra descubierta por Nikolay Bugiev
(1837-1903), matemtico ruso que la descubri. La funcin Mangoldt se expresa como
(n) = ln(p) si n = pk , con p primo y k s 1, o (n) = 0, en caso contrario. La funcin Mangoldt
cumple la siguiente identidad donde log n = (d ) que es la suma los d
d |n
que dividen a n.
La notacin (n) se conoce como la segunda funcin de Chebyshev en honor a Pafnuy L. Che-
vyshev (1821-1894), matemtico ruso que la descubri. Se denota como (n) = k log(p) y
nc x
Estas funciones se usan frecuentemente en pruebas relacionadas con los nmeros primos.
que es equivalente a
k r
Sea n = pii con nmeros primos distintos p1 , , pr , entonces se define (n) = i como
i =1 i =1
3 factores, uno repetido y en el segundo son dos factores primos, sin repeticin.
Se denota como (n) = (1)(n) la funcin Liouville en honor a 1809
1882, matemtico francs que la descubri. La funcin (n) = (1)(n) es completamente
multiplicativa. Para cada n s 1 tenemos
16
Rafael Parra Macho ARITMTICA MODULAR
1 si n es un cuadrado
(d) =0 si n no es cuadrado ,
d 6n
adems,
(n)
Se llama Serie L de Dirichlet a la funcin de la forma L(s , ) =
s ,
en honor de Johann Pe-
n=1 n
ter Gustav Lejeune Dirichlet (1805-1859), matemtico alemn, donde es un carcter de Di-
richlet y s una variable compleja cuyo componente real es > 1. Esta funcin tiene como iden-
tidad
1
( p)
L( s, ) 1 s
p p
donde se demuestra que existen un nmero infinito de nmeros primos en cualquier progre-
sin aritmtica de la forma ax + b con (a, b) = 1.
Un carcter de Dirichlet es una funcin aritmtica completamente multiplicativa (n), tal que
existe un entero positivo k con (n + k) = (n) para todo n y (n) = 0, siempre que el
mcd(n, k) > 1. Para el caso particular de la progresin 4k + 1, donde
(n) 1 1 1
L(s , ) = s = 1 s + s s + .
n=1 n 3 5 7
1 1 1 1 1
1 p s
1 s = 1 s + s s +
pi p j
i
p
j 3 5 7
17
Rafael Parra Macho ARITMTICA MODULAR
3. 5. Algunas aplicaciones
5.1 Aplicando la funcin h(k ) = k (md .m), para m = 111, asignar posicin de me-
moria h(k ) a los nmeros 064212848, 037149212 y 038423721 de un fichero de per-
sonal que tiene k como clave.
La funcin h(k ) = k (md.m) es utilizada por el ordenador central para asignar posiciones de
memoria para facilitar accesos o dar informacin de ficheros.
Para el supuesto planteado, los nmeros asignados sern el 14, 65 y 72.
La funcin xn +1 = (axn + c)(md .m) se utiliza en informtica para generar nmeros pseudoa-
leatorios. Los cuatro elementos que intervienen son: el mdulo m, el multiplicador a, el incre-
mento c y la semilla xo , con 2 a < m, 0 c < m y 2 xo < m para todo n. El supuesto
planteado es muy sencillo. Los ordenadores utilizan los llamados multiplicadores puros, con
mdulo de 231 1 y multiplicador de 75 = 16807. Estos valores generan un cantidad de nme-
ros aleatorios de 231 1 = 2.147.483.648 antes de que aparezcan repeticiones.
En nuestro caso:
x1 = 7 xo + 4 = 7 3 + 4 = 25(md .9) = 7,
x2 = x1 + 4 = 7 7 + 4 = 53(md .9) = 8,
x3 = 7 x2 + 4 = 7 8 + 4 = 60(md .9) = 6,
x4 = 7 x3 + 4 = 7 6 + 4 = 46(md .9) = 1,
x5 = 7 x4 + 4 = 7 1 + 4 = 11(md .9) = 2,
x6 = 7 x5 + 4 = 7 2 + 4 = 18(md .9) = 0,
x7 = 7 x6 + 4 = 7 0 + 4 = 4(md .9) = 4,
x8 = 7 x7 + 4 = 7 4 + 4 = 32(md .9) = 5,
x9 = 7 x8 + 4 = 7 5 + 4 = 39(md .9) = 3,
Como x9 = xo , y puesto que cada trmino slo depende del anterior, esta es la sucesin ge-
nerada: {3, 7, 8, 6, 1, 2, 0, 4, 5, 3, 7, 8, 6, 1, 2, 0, 4, 5, 3, ....}.
Nota: Este supuestos aparece en la pgina 151 de Matemtica Discreta del doctor Kenneth H. Rosen.
5.3 Aplicando la funcin f ( p) ( p + k )md .27), con clave 3, cifre el siguiente men-
saje: ME GUSTARA ESTUDIAR ALGO.
18
Rafael Parra Macho ARITMTICA MODULAR
moviendo la posicin de cada letra tres posiciones hacia delante, enviando las tres ltimas del
alfabeto a las tres primeras. Para expresar matemticamente el proceso de cifrado de Csar,
reemplazamos cada letra p por un entero positivo, p 27 que, en relacin con la clave de
traslacin k, se obtiene el entero f ( p) del conjunto {0, 1, 2, 3,..., 27}, la letra cifrada.
Para cifrar nuestro mensaje, primero confeccionaremos una tabla de valores para el alfabeto
espaol, asignando 0, 10 y 20 a las letras A, K y T.
p 0 1 2 3 4 5 6 7 8 9
0 A B C D E F G H I J
1 K L M N O P Q R S
2 T U V W X Y Z
Para cifrar la letra M, f (m) = (12 + 3) 15(md .27). Para cifrar la letra E
f (e) = (4 + 3) 7(md .27) y as sucesivamente para todas las letras del mensaje:
M E G U S T A R I A E S T U D I A R A L G O
12 4 6 21 19 20 0 18 8 0 4 19 20 21 3 8 0 18 0 11 6 15
15 7 9 24 22 23 3 21 11 3 7 22 23 24 6 11 3 21 3 14 9 18
O H J X V W D U L D H V W X G L D U D J R
O H J X V W D U L D H V W X G L D U D J R
15 7 9 24 22 23 3 21 11 3 7 22 23 24 6 11 3 21 3 14 9 18
12 4 6 21 19 20 0 18 8 0 4 19 20 21 3 8 0 18 0 11 6 15
M E G U S T A R I A E S T U D I A R A L G O
Como f 1(l ) (11 7) 4(md .27), f 1( z ) (26 7) 19(md .27) y LZBCKOKH es equi-
valente a ESTUDIA..., sigue descifrando y encontrars en el mensaje un buen consejo.
19
Rafael Parra Macho ARITMTICA MODULAR
(n) = ( p q) = ( p 1)(q 1) = z
Para generar la clave pblica buscamos un nmero primo e tal que z > e y mcd (e, z) = 1. El
siguiente paso es encontrar un nmero d tal que su producto con e se pueda dividir entre z
dando como resto 1, es decir, que d e 1 sea divisible por z. Como resultado obtenemos
dos nmeros e y d que nos permitirn crear nuestro sistema de encriptacin. A partir de
aqu, el proceso de codificacin y decodificacin es el siguiente:
El emisor toma un texto normal P y lo convierte en un texto cifrado C mediante la siguiente
frmula:
C P e (md .n)
P C d ( md .n)
Para calcular la letra que corresponde a un D.N.I. se divide el nmero por 23 y el resto resul-
tante se busca en la siguiente tabla:
Resto 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
Letra T R W A G M Y F P D X B N J Z S Q V H L C K E
Si llamamos N al nmero del D.N.I. y L a la letra, podemos plantear la siguiente ecuacin mo-
dular.
N L(md .23)
5.8 Un restaurador necesita adquirir una partida de vinos para su restaurante. Su propsito
es hacerse con un lote que incluya vinos de 5, 7, 11 y 17 euros la botella por un coste to-
tal de 375 euros. Nos pide consejo para conocer las distintas combinaciones que puede
realizar, dando preferencia a cada uno de los vinos seleccionados. Le ayudamos?
20
Rafael Parra Macho ARITMTICA MODULAR
Sean x, y, z y s los tipos de vinos de 5,7,11 y 17 euros la botella con lo que podemos estable-
cer la siguiente ecuacin, 5x + 7 y + 11z + 17s = 375. Como mcd (5,7,11,17) = 1 y 1|375, la ecua-
cin tiene solucin en la forma 5x + 7 y = 375 11z 17s, donde hemos tomado x, y como va-
riables principales y s, z como variables libres. Operamos sobre la ecuacin general
Hacemos operaciones
Ajustamos coeficientes
x = 5 33z 51s + 7t = 5 + 2z 2s + 7t
y = 50 + 22 z + 34s 5t = 50 3z s 5t
x = 5 + 2z 2s + 7t
y = 50 3z s 5t
z= z
s= s
Para determinar el peso especfico que puede ejercer en los lotes cada uno de los precios que
lo componen, procedemos a calcular sus clases, dando valores a las distintas variables que nos
han servido como parmetro:
5.9 Resolver la ecuacin x n a (md .m) teniendo en cuenta que: m > x > n,
m + n + x 30 y m n x 100, siendo todos ellos primos. Tomar los valores de a 2
y buscar un nmero que al ser dividido por x d cmo resto los valores de a 2 .
Empecemos por calcular cules sern los valores de m , x y z que tengan las caractersticas
requeridas en el enunciado:
m 23 19 19 19 19 19 17 17 17 17 13 13 13 13 13
x 5 7 7 5 5 3 11 7 7 7 11 11 11 7 7
n 2 2 3 2 3 2 2 2 3 5 2 3 5 2 5
S 30 28 29 26 27 24 30 26 27 29 26 27 29 22 25
P 230 266 399 190 285 114 374 238 357 595 285 429 715 182 455
a 2 11 1 6 11 9 2 15 3 11 4 5 7 10 11
21
Rafael Parra Macho ARITMTICA MODULAR
x = 9 + 19t y x = 4 + 13t.
Aplicando el Teorema Chino de Restos obtenemos x = 199 + 247t que como se puede com-
probar, si lo dividimos por 19 o por 13 da como restos 9 y 4, respectivamente.
BIBLIOGRAFIA
BIRKOHFF, G. y MACLANE, S., lgebra Moderna, ISBN: 84-316-1226-6
CLAPHAM, Christopher, Oxford Dictionary of Mathematics, ISBN: 84-89784-56-6
KOBLITZ, Neal, A Course in Number Theory and Cryptography, ISBN: 0-387-94293-9
MUOZ, Jos Lus, Riemann una visin nueva de la geometra ISBN: 10-84-96566-27-7
ROSEN, Kenneth H. Matemtica Discreta, ISBN: 84-481-4073-7
TATTERSALL, James J. Elementary Number Theory in Nine Chapters, ISBN: 0-521-61524-0
VINOGRADOV, Ivn M., Fundamentos de la Teora de los Nmeros
APOYO INTERNET
http://hojamat.es/sindecimales/congruencias/inicongruencias.htm
http://es.wikipedia.org/wiki/Aritm%C3%A9tica_modular
http://mathworld.wolfram.com/ModularArithmetic.html
http://mathworld.wolfram.com/Congruence.html
http://mathworld.wolfram.com/Residue.html
http://mathworld.wolfram.com/DivisorFunction.html
http://es.wikipedia.org/wiki/Funci%C3%B3n_L_de_Dirichlet
http://wims.unice.fr/wims/wims.cgi?module=tool/arithmetic/bezout.en (Programa matemti-
co)
http://www.wolframalpha.com/examples/ (Programa matemtico)
http://www.vitutor.com/index.html
22