Contenido

Captulo 1:
Captulo 2:
Captulo 3:
Captulo 4:
Captulo 5:
Captulo 6:
Hadamard
Captulo 7:
Captulo 8:

El anillo de los Nmeros Enteros.

Teora de Congruencias.
Races Primitivas y Residuos de Potencia.
Residuos cuadrticos y sus Aplicaciones.
Ecuaciones Diofantinas no lineales y casos especiales.
Algunas Aplicaciones: El problema del determinantes de
Introduccin a la T.N. Analtica: Funciones Aritmticas.
Un Estudio sobre los nmeros primos.

Captulo 2: Teora de
Congruencias.
La definicin de congruencia fue introducida por el clebre matemtico Carl F.
Gauss, uno de los matemticos ms grandiosos dentro de la historia de las
matemticas, dentro de su obra Discusiones de la Aritmtica en 1801. Este
increble sistema tendr una propiedad importante estudiada un poco ms
adelante que algunos le denominan el agua del reloj porque hasta un cierto
valor vuele a repetirse como un ciclo (Un aspecto muy til e importante incluso
hasta en estudios ms generales como la teora de grupos).
Definicin 2.1: Sean a, b, n enteros definimos a es congruente con b modulo
n si y solo si la diferencia de a con b es divisible con n. Es decir:

( a , b Z , n entero fijo ) ( a b mod n n|( ab )

Este concepto sencillo puede dar significado a representaciones de objetos de
la vida cotidiana por ejemplo si
decir

a=b+12 q , p .a . q Z

a b mod12

quiere decir que

12ab

es

donde se puede tomar en cuestin de tiempos por

medio da como dos distintas horas son equivalentes si entre ellos toman una
misma hora en tiempos de medio da (a.m. o p.m.)
Teorema 2.1: La relacin es congruente con, modulo n es de equivalencia
en el anillo de los enteros.
Demostracin: Verifiquemos las 3 condiciones de equivalencia
1. (Reflexiva) Puesto que sabemos que para todo entero a se cumple

0=aa

y adems

n0

para cualquier n entera arbitraria y fija,

sustituyendo la igualdad obtenida tenemos

naa

y esto por

a a mod n por lo tanto Es Reflexiva

2. (Simtrica) Si suponemos que para dos enteros a , b Z cumple que
definicin 2.1 equivale a

a b mod n

entonces por definicin 2.1 equivale a

nab=( ba )

por propiedades de divisibilidad en los enteros tenemos que

Simtrica
3. (Transitividad) Si suponemos que para tres enteros

a b mod n y

b c mod n

tenemos que

nab

tenemos que

n( ab ) + ( bc )=ac

que

a c mod n

nbc

b a mod n por lo tanto Es

nuevamente por definicin 2.1 tenemos que

cumple que

nba

a,b,cZ

se

entonces por definicin 2.1

por propiedades de divisibilidad

y por definicin 2.1 concluimos

por lo tanto Es transitiva

A partir de esto podemos concluir que ser congruentes modulo n es una

relacin de equivalencia. Q.E.D.
Ahora que podemos afirmar que es una relacin de equivalencia entonces
podemos construir clases de equivalencias, que por definicin en la teora de
conjuntos cada clase de equivalencia forma una particin en el anillo de los
enteros, esta particin ser de gran utilidad para poder estudiar todas las
propiedades de los enteros de una manera ms sinttica cada clase ser de la
forma

[ a ] ={ x Za x mod n } , y adems es una clase bilateral (gracias a la

propiedad simtrica de la relacin) construyendo un nuevo conjunto llamado

Z n ={[ a ] }

para poder estudiar ms profundo a este conjunto necesitaremos

de algunas propiedades ms de las congruencias que estudiaremos y con

algunas propiedades extras donde sern tiles para otros temas dentro de la
teora de las congruencias.
Teorema 2.2: Sean

a b mod n

1.

a+ c b +d mod n

2.

ac bd mod n

Demostracin: Si tenemos
definicin tenemos que
divisibilidad tenemos

a b mod n

nab

c d mod n

ncd

entonces se cumple:

c d mod n

entonces por

entonces por propiedades de

n( ab ) + ( cd ) =( a+c )(d +b)

y asi por definicion 2.1

equivale a

a+ c d+ b mod n . El resultado es casi anlogo para el segundo

punto como por propiedades de divisibilidad tenemos que

x=d , y=a entonces x ( ab ) + y ( cd )=acbd

observemos que si tomamos

nacbd

sustituyendo tenemos

nx ( ab ) + y ( cd )

y por definicin 2.1 equivale a

ac bd mod n .
Colorario 2.1: Para

a b mod n , k un entero, i un entero positivo se cumple

1.

ka kb mod n

2.

ka kb mod kn

3.

a+ k b+k mod n

4.

kn 0 mod n

5.

ai b i mod n

6.

f ( x ) Z [ x ] f ( a) f (b) mod n

Demostracin:
Para (1) y (3), Como

a b mod n y

la propiedad de reflexividad, es decir

k Z

entonces por teorema 2.1 cumple

k k mod n , ahora teniendo estas dos

congruencias por teorema 2.2 podemos multiplicar y/o sumarlos, obteniendo

ka kb mod n
Para (2), Como

nab

k + a k +b mod n .
a b mod n

entonces por definicin 2.1 tenemos que

y por propiedades de divisibilidad para algn entero

entonces se cumple

knkakb

y por definicin 2.1 llegamos al resultado (2)

Para (4), Este resultado es inmediato puesto que si

na , p . a . a Z

por definicin de divisibilidad existe un entero k tal que

en la ltima relacin tenemos

k Z

nnk=nk 0

a=kn

entonces

sustituyndolo

y por definicin 2.1 llegamos al

resultado (4)
Para (5), Este resultado es inmediato puesto que como a b mod n

a b mod n entonces por teorema 2.2 tenemos

a2 b 2 mod n

iterando esta

congruencia con la primera tenemos

a b mod n , repitiendo este

procedimiento llegamos al resultado (5).

Para (6), Sea

f Z [ x]

tenemos que

a b mod n

a b mod n
i

de la forma

f ( x )= ci x

y como por hiptesis

por el punto (5) del colorario 2.1 tenemos que

y por el punto (1) del mismo colorario obtenemos

c i a c i b mod n

, asi tenemos las siguientes congruencias

c o c o mod n , c 1 a c 1 b mod n ,c 2 a2 c 2 b2 mod n , ,c n an cn an mod n

Por el inciso 1 del teorema 2.2 repetidamente obtenemos
n

c o +c 1 a++ cn a co + c1 b+ +c n b mod n
Que equivalentemente representa

f ( a ) f ( b ) mod n .
Teorema 2.3: Si

a b mod n y m|n entonces

Demostracin: Si

a b mod n

a b mod m

entonces por definicin 2.1 tenemos que

nab

y como

mn

tenemos

mab

y por definicin 2.1 obtenemos

Teorema 2.4: Si

entonces por propiedad transitiva de la divisibilidad

ad bd mod n

Demostracin: Primero si

si y solo si

ad bd mod n

a b mod

( ( dn,n ) ) .

(n , d)

y como por propiedades de m.c.d.

entonces por Lema de Euclides

a b mod

( ( dn, n) )

entonces por definicin 2.1

nadbd=d (ab) entonces dividiendo por

n
d

( ab)
( d , n) ( n , d )

a b mod m.

tenemos que

( ( dn,n ) , ( nd, d ) )=1

n
(ab) y por definicin 2.1 tenemos
( d , n)

Conversamente si

a b mod

( ( dn, n) )

entonces por el inciso (2) del colorario 2.1

d a db mod

multiplicando por d tenemos que

particularmente ( d , n )d entonces ( d , n ) n

dn
(d ,n)

y por teorema 2.3

( (ddn, n) )

pero como

y por definicin de divisibilidad

ad bd mod n .

La siguiente propiedad tiene como ms utilidad en la prctica para

simplificacin y clculo de operaciones utilizando congruencia.
Teorema 2.5: (Propiedad de simetra) Para todo entero se cumple

a a n mod n
Demostracin: Como se cumple que

a a mod n

a a n mod n .

del inciso 4 del colorario 2.1 tenemos que

Teorema 2.6: Si

a b mod mi

para todo entero entonces

i=1,2, ,r

para cada

si y solo si

a b mod ( [ m1 , m2 , , mr ] )
Demostracin: Como

a b mod mi

definicin de divisibilidad
un mltiplo comn de
mltiplo entonces

miab

m1 , m2 , , mr

para cada

entonces por

i=1,2, ,r

[ m1 , m2 , , mr ]ab

y por definicin de 2.1

a b mod ( [ m1 , m2 , , mr ] )

i=1,2, ,r por definicion de m. c . m. mi [ m1 , m2 , , mr ]

teorema 2.3

entonces a-b es

y por definicin de mnimo comn

a b mod ( [ m1 , m2 , , mr ] ) . Conversamente
para cada

i=1,2, ,r

para cada

como

entonces por

a b mod mi .

Teorema 2.7: Si

a b mod n

entonces

Demostracin: Primero vemos que si

definicin de divisibilidad

( b , n )=(a , n)

a b mod n entonces por definicin 2.1 y

a=b+nx p . a . x Z

adems por propiedades de

m.c.d. tenemos

( b , n )= ( n ,b )=(n , b+ny ) ahora sea x=y entonces como

( b , n )= ( a , n ) .

a=b+nx sustituyendo tenemos que

El anillo Zn
De los resultados obtenidos anteriormente estamos listos para poder formar
una estructura algebraica en Zn
Teorema 2.8: La estructura cociente obtenida por la relacin de congruencia
modulo n es un anillo conmutativo con unidad. Denotemos a este conjunto
como Zn.
Demostracin: Con las propiedades obtenidas en la seccin anterior definimos
en Zn las siguientes operaciones: Sean

[ a ] , [b ] Z n

[ a ] + [ b ] =[a+b]
[ a ] [ b ] =[ab ]
A partir de los teoremas 2.1 a 2.7 podemos verificar que
abeliano y

Z n ,+

es un grupo

Z n ,
es un monomio y que se cumple la ley distributiva.

Definicin 2.2: Un sistema completo de residuos (s.r.c.) modulo n es un

subconjunto del anillo de los enteros tal que se cumple:
1.

( ai , a j B distintos)(a i a j mod n)

2.

( b Z)( ai B , b ai mod n)

Teorema 2.9: Todo sistema completo de residuos modulo n es isomorfo a

Zn
Demostracin: Sea B un sistema completo de residuos modulo n entonces
definimos

f : B Z n como

f ( x )=a x

x a x mod n

, esta funcin es

suprayectiva por inciso 2 de la definicin 2.2, y adems es inyectiva puesto

que si para alguna

a x a y mod n

x, y B

si y solo si

mismo elemento en

Zn

distintos tal que

a x =a y

f ( x )=f ( y ) entonces

pero eso implicara que

entonces

x, y

van a un

x y mod n pero eso contradice a que

sean elementos de un sistema completo de residuos, por lo tanto es biyectiva.

Zn

Y como esta definicin coincide con la definicin de las operaciones en

entonces para

f ( x + y )=a x+ y mod n

pero

a x+ y =ax +a y =f ( x ) + f ( y)

anlogo para

f ( xy )=f ( x ) f ( y)
Colorario 2.2: Si

a1 , a2 , , am

es un sistema completo de residuos modulo n

entonces
1.

n=m

2.

p .a . k Z tal que ( k , n )=1 entonces k a 1 , k a 2 , , k am tambien es un s . c .r .

Demostracin: Primero notemos que

x, y A

tal que

A={0,1,2,3, , n1 } es un s.c.r, Si

x y mod n entonces por definicin 2.1 tenemos

nx y

entonces por definicin de divisibilidad para alguna r entera se cumple

nr=x y

o bien

x= y +nr , adems por unicidad del teorema de divisin de

0 x <n

Euclides la divisin de x y n representa la igualdad mostrada , pero

por construccin del conjunto A entonces r=0 y por lo tanto

x= y

teniendo

asi que cada elemento de A es incongruente con cada elemento del resto de A,
adems para cada

l Z

al dividirlo por n por el teorema de la divisin de

Euclides tenemos que existen nicos x, r enteros tal que

0 | x|<|n|=n

y como

l x mod n

l=rn+ x

entonces cada x puede ser

con

0,1,2, , n1

es decir de cualquier elemento de A, por lo tanto A es un s.c.r. donde

A=n

y por el teorema 2.9 todo sistema completo de residuos modulo n es isomorfo

Zn

en especial

A Z n entonces

entonces por teorema 2.9

B Zn

A= Z n=n , Adems sea B un s.c.r.

entonces

A B

por lo tanto

A= B=n .

La demostracin del inciso 2 es directa de la definicin de s.c.r. y teorema 2.9.

Convencin 2.1: El conjunto de nmeros 0, 1, 2,3,, n-1 ser el sistema de

representantes de Zn y como el sistema completo de residuos principal
Teorema 2.10: Sea

x Z n tal que ( x , n )=1 entonces el conjunto ( x ) es un generador de Z n

Demostracin: Supongamos que

y Z n tal que ( y , n ) =d >1 y ( y )=Z n , pero x> n y ds=x , dt=n donde ( s , t )=1

esto

implica que

tn

xt=ns

tns

y entonces

t< n , por d >1

Proposicin 2.1: Sea

( s ,t )=1 por lema de Euclides

y + y ++ y ( t veces ) ns 0 mod n

entonces

contradictorio y por tanto

como

lo cual es

d=1

Z n ={ x Z n|( x ,n )=1 } entonces la multiplicacin

definida en Zn restringida al nuevo conjunto es cerrado.

Demostracin: Por propiedades de mximo comn divisor recordamos que si

( a , n )=1=(b ,n)
ab Z n

entonces

( ab , n )=1 , entonces sea a , b Z n entonces

por la propiedad mencionada anteriormente. Q.E.D.

Definicin 2.3: Un sistema reducido de residuos modulo n (s.r.c.) es un

subconjunto del anillo de los enteros tal que:
1.

( ai , a j B distintos)(a i a j mod n)

2.

( b Z)(ai B , b ai mod n)

3.

( ai B)( ( ai , n )=1)

Teorema 2.11: Todo sistema reducido de residuos modulo n es isomorfo a

Z n
Demostracin: Sea

{a 1 , a2 , , ak }

un s.r.c., definimos la funcin

x am con m x mod n , es claro mostrar que esta funcin cumple con lo dicho

Definicin 2.4: Definimos la funcin phi de Euler como

Colorario 2.3: Si

a1 , a2 , , am

( n ) = Z n

es un sistema reducido de residuos modulo n

entonces
1.

m= ( n )

2.

p .a . k Z tal que ( k , n )=1 entonces k a 1 , k a 2 , , k am tambien es un s . r . r .

Demostracin: Sea A el conjunto del sistema reducido de residuos modulo n

entonces por teorema 2.11 tenemos que

A Z n entonces implica que

A= Z n , puesto por las propiedades de un mximo comn divisor como

a A

entonces

( a , n )=1

y por hiptesis

por tanto formara un nuevo s.r.r.

( k , n )=1

( ak , n )=1

entonces

Congruencias lineales.
Teorema 12: Sea

a , b Z y n entero fijo albritario

entonces formando la

congruencia lineal

ax b mod n
Tiene solucin si y solo si

( a , n )b , adems si

xo Z

es solucin de la

congruencia lineal entonces el conjunto

x o , x o+

( ( a , n )1 ) n
n
2n
, xo +
, , xo +
( a ,n )
(a , n)
(a , n)

es el conjunto de soluciones

incongruentes.
Demostracin: Por definicin de congruencia tenemos que

ax b mod n nax b ny =axb

o equivalente a

teorema ecuaciones lineales concluimos que

axny =b

donde por

( a , n )b . Ahora si

solucin, entonces es solucin de la ecuacin a

ax +n( y )=b , donde

sabemos que tienen soluciones

x=x o +

n
a
t , y= y o+
t
( a , n)
(a , n )

Adems por el teorema de divisin de Euclides tenemos

t=q ( a , n )+r , 0 r <( a , n) , sustituyendo en x tenemos

x=x o +

n
rn
( q ( a ,n )+ r )=x o +nq +
( a , n)
( a ,n )

entonces

x xo +

rn
mod n , 0 r <(a , n)
(a , n)

Siendo estas todas las soluciones incogruentes del sistema.

Lema 1: Si n=2k+1 entonces la solucin de la congruencia lineal

2 x b mod n para cualquier b fija entera es

xo Z

x b ( k +1 ) mod n .

es

Demostracin: Como

( 2, n )=( 2,2 k +1 )=1b

incongruente, por tanto

entonces tiene una nica solucin

2 kx bk mod n , sumando a la congruencia lineal

obtenemos

2 x +2 kx=2 x ( k +1 )=nx + x b ( k +1 ) mod n

x b ( k +1 ) mod n

Y concluimos

Teorema 13: Si n=2k+1 entonces la congruencia lineal

cualquier l, q, b fija entera se puede transformar en

l1

qx b mod n entonces por lema 1 implica

l1

para

qx b ( k +1 )l mod n .
2l qx b mod n

Demostracin: Consideremos la congruencia lineal

2l qx b mod n

de forma 2(

qx b ( k +1 ) mod n iterando

varias veces obtenemos el resultado del Teorema 13.

Teorema 14: Si

n par y a(impar ) tal que a< n , considerando atreves del

teorema de la divisin euclidiana que

lineal

ax b mod n

n=al+r ,|r|<a

entonces la congruencia

para cualquier b fija entera se puede transformar a

rx lb mod n
Demostracin: Sea Si
adems que

n=al+r

n 0 al+ r mod n

n=2 k y a=2 q+1(impar )tal que a<n

entonces tenemos

aplicando congruencias modulo n tenemos

entonces al multiplicar la x que cumple con la congruencia

lineal dada tenemos

axl+rx 0 mod n
Pero vemos que

ax b mod n

entonces sustituyendo obtenemos

bl+rx 0 mod n
Concluyendo con el resultado del teorema

Un algoritmo para la solucin de congruencias lineales: Sea

ax b mod n

entonces realizar los siguientes pasos:

1. Verificar si

( a , n )b , en caso que si entonces hay

( a , n)

soluciones de

la congruencia lineal
2. Simplificar la congruencia de forma

( ad ) x ( bd ) mod ( nd )

a
b
n
A= , B= , N = , es claro que
d
d
d

d=(a , n) , llamese

, donde

( A , N )=1

3. Checar por casos en criterio de N

a. N es par. Entonces A es impar, as que por divisin euclidiana
tenemos

N= Al+ r , a partir de esto transformar la congruencia

rx bl mod N .
b. N es impar.
i. A es impar. Aplicar la propiedad simtrica, transformar la
congruencia lineal e ir al siguiente inciso.

A AN=s mod N

entonces

sx B mod N

ii. A es par. Descomponer en factores de la forma

A=2l q

N=2 k +1 ,entonces vamos a

dividir entre 2 la N es decir

transformar la congruencia lineal en

qx b ( k +1 )l mod N

regresa al inciso (b) hasta que q=1

4. Una vez encontrado una solucin

x o , x o+

x o entonces el conjunto solucin es

( ( a , n )1 ) n
n
2n
, xo +
, , xo +
( a ,n )
(a , n)
(a , n)

Funcin phi de Euler.

Teorema 15: El conjunto
y adems

Z n

Z n

es isomorfo al conjunto

{ x Z n| x es invertible }

es un grupo abeliano bajo la multiplicacin.

Teorema 16.a: El anillo

Zn

es dominio entero finito si y solo si n es primo y

adems es un campo.
Teorema 16.b: El subconjunto

Z n

es igual a

Zn

si y solo si n es primo y

adems es un campo.
Lema 2: Son isomorfos los anillos

Z n Z m Z [ m , , n]

mnimo comn mltiplo de m,, n

Teorema 17: Para todo entero a y p primo se cumple:

donde [m,,n] es el

1.

( p )= p1

2.

( p )= p p 1= p 1

3.

( a , b ) =1 ( ab )= ( a ) (b)

4.

a= p ( a )=a 1

( 1p )

p a

pa

( 1p )

Teorema 18: Sea

d=(a , b)

Proposicin 2: Si

d |n ( d )| ( n )

entonces

( ab )=

d ( a ) ( b )
(d )

Teorema de Euler, pequeo teorema de Fermat y

teorema de Wilson.
Teorema 19: (Teorema de Euler) Sea

( a , n )=1

entonces se cumple que

a (n ) 1 mod n
Colorario 4: (Pequeo teorema de Fermat) Si p es un primo entonces para
toda a distinto de un mltiplo de p

a p1 1 mod n

Teorema 20: (Teorema de Wilson) Un numero p es primo si y solo si se cumple

la congruencia

( p1 ) ! 1 mod p
Proposicin 3: Si

( a , n )= ( a1, n ) =1 entonces se cumple

( n) 1

a k 0 mod n

k =0

Proposicin 4: Si

r 1 ,r 2 , , r ( n)

es un s.r.r. entonces

Teorema 21: Si p es un primo y si:

1.

p 1 mod 4

p1 2
! 1 mod p
2

( )

r 1 +r 2 ++r (n ) 0 mod n

p 3 mod 4

2.

p1
! 1 mod p
2

( )

Teorema 22: Si p es un primo impar entonces

Colorario 5: Sea p un numero primo, entonces

p1
2

1 mod p

x 2 1 mod p

si y solo si

x 1 mod p
Colorario 6: Sea p un numero primo, entonces

p 2 mod 4

x 1 mod p si y solo si

p 1 mod 4

Teora de ecuaciones diofantinas lineales.

Proposicin 5: Son equivalentes las siguientes relaciones:
1.

a b mod n

2.

r Z tal que a=b+nr

Teorema 23: Sea la congruencia lineal

entonces la solucin est dada como
Lema 3: Sea

a+ =b

Teorema 24: Sea

a,b,cZ

( a , n )=1

x a (n )1 b mod n .

a mod b

donde

donde

b mod a

( a , b ) =1 tal que forma la ecuacin

ax +by=c

diofantina
Adems

entonces

ax b mod n

=ba

entonces la familia de soluciones est dada por:

x =k o bt
, tZ
y=k 1 +at

Donde

k o c ( )

( b ) 1

mod b , k 1 c ( )

Teorema 25: Sea

( a ) 1

( a , b ) =1 y

mod a
cZ

dada la ecuacin

ax +by + z=c

entonces el conjunto de soluciones de la ecuacin diofantina es:

z=c t
x =tbq , t ,q Z
y=t +aq

Donde

=ba

Teorema 26: (Teorema fundamental de las ecuaciones lineales diofantinas)

Sea la ecuacin lineal diofantina:

ao x o +a1 x 1+ +an x n=b

ai , a j tal que

Entonces para cualquier

( ai , a j )=1

se cumple

x i=t ia j qi , t , q Z
i
i
x j=t i +a i q i

Teorema 27: Consideremos la congruencia lineal de n variables

a1 x1 + a2 x 2 ++a n x n c mod m
Entonces la condicin necesaria y suficiente para que tenga solucin es

( a1 , , an , m) c
Teorema 28: La congruencia lineal de n variables, que tiene solucin

a1 x1 + a2 x 2 ++a n x n c mod m
Tiene nicamente

d mn1

soluciones donde

d=(a1 , a2 , , an ,m)

Algunas aplicacicaciones de las congruencias

Lema 4: Si p es un primo entonces los nmeros:

p
( 1p ), ( p2) ,( 3p) , , ( p1
)
Son divisibles con p.
Teorema: Sea p un entero, entonces para toda coleccin de enteros

x, y ,z ,,,w

se cumple

( x+ y+ z + + w ) p x p + y p + z q ++ w p mod p
Teorema: Si

>0

m 1mod ( p )

entonces se cumple

m 1mod ( p
Teorema: Si

+1

a b mod n , a c mod n

( n , )=1 con =1 + 2

entonces se

cumple

a ( n)1 ( 1 b+ 2 c ) mod n

Teorema Chino del residuo

Teorema: Una necesaria y suficiente condicin tal que el sistema de
congruencias

x c i mod m1 i=1,2, , n

tenga solucin es que para cada par de

ndices i, j entre 1 a n cumpla

( mi ,m j )(c ic j )
La solucin si existe entonces es nica en el modulo
Teorema: (Teorema Chino del residuo) Sea
son primos relativos en pares y

a1 , a2 , , as

[m1 , m2 , , mn]

m1 , m2 , , ms

, s enteros tal que

enteros tal que

( ai , mi )=1

entonces el sistema de s congruencias

a1 x 1 b1 mod m1
a2 x 2 b2 mod m2

as x s b s mod ms

Tiene simultneamente una nica solucin modulo

M =m 1 m2 ms

Congruencia en polinomios.
Para el siguiente estudio el primer objetivo a estudiar es la solucin de la
siguiente congruencia

f ( x ) 0 mod n para algun f Z [ x ]

Esta ecuacin por definicin de congruencia toma forma de

f ( x )=ny , para algun y Z , f Z [ x]

Al analizar las propiedades bsicas de congruencias, tenemos que

f ( x ) g ( x ) mod n f ( x ) =g ( x ) +ny

Pero adems aun si consideramos el anillo

Zn

vemos que la relacin anterior

se comporta como

b
[ i] Z n
f ( x )=g ( x ) [ ai ]=
Donde

ai

representa el coeficiente del polinomio f donde

x i (anlogo para

el polinomio g)
Proposicin: Son ciertas las siguientes afirmaciones (ms no equivalentes):
1.

f ( x ) g ( x ) mod n f ( x ) =g ( x ) +ny

2.

b
[ i] Z n
f ( x )=g ( x ) [ ai ]=

De la proposicin anterior observamos que el estudio de los polinomios se

puede trasladar al estudio del anillo

Zn

anillo ya que

Z n [ x ] , esto es claro afirmar que es un

es un anillo conmutativo.

Una observacin importante donde muestra que son equivalentes sera notar
que los siguientes polinomios

x 3 x mod 3
Usando la proposicin anterior

x 3x=3 y x Z

( x1 ) x ( x1 )=3 y
Siendo vlido por propiedades de divisibilidad ya estudiadas pero eso
significara usando el punto nmero 2 de la proposicin que
3

x =x donde x , x Z 3 [ x]
No es tan evidente que se cumpla la proposicin anterior pero como

( x1 ) x ( x1 )=3 y
Entonces las nicas soluciones son el conjunto

{1,0,1}

siendo este una

clase completa de residuos modulo 3 entonces es isomorfo al conjunto

{ 0,1,2 }=Z 3 por lo tanto es vlido que para toda x en Z 3 entonces se

x 3=x . Otra propiedad similar es

cumple

( x+1 )( x +2 ) ( x +n ) 2 x ( x1 ) ( xn+1 ) mod n

Podemos definir la nocin de divisibilidad para anillos de polinomios. Sean

f , g , h A[ x ] si
Denotado como

f =gh entonces afirmamos que g es divisible por f.

gh

Teorema: Una condicin necesaria y suficiente para que c sea una raz de un
polinomio entero

f ( x ) mod n

es que

f (x)

sea divisible por x-c modulo n.

El estudio de los polinomios hecho anteriormente es vlida para toda

pero sin embargo para alguna

xZ ,

x o se puede cumplir que

f ( x o ) =g ( x o ) donde f , g Zn [ x ]
Un ejemplo donde cumplen situacin anterior seria

x=3 entonces 2 x +1 3 x+ 5 mod 7

Pero no cumple para toda x que

2 x +1 3 x+ 5 mod 7

puesto que si lo fuera

entonces

x+ 4 0 mod 7 x 3 mod 7 x { t Z|3+7 t } Z !

Conviene tomar todas las herramientas estudiadas del anillo de los polinomios
para un campo, pero la situacin no es tan evidente puesto que
anillo en general. Usando el lema 2 vemos que

n=p a qb

primos entonces el mnimo comn mltiplo de

[ p a qb ]=p a qb

Z n Z ( p ) Z q es decir
a

f ( x ) g ( x ) mod p a
f ( x ) g ( x ) mod n f ( x ) g ( x ) mod q b

Si deseamos buscar la solucin de la siguiente congruencia

Zn

es un

donde p, q son
entonces

f ( x ) 0 mod n
Usando la observacin anterior tendremos que es equivalente a

f ( x ) 0 mod p a
f ( x ) 0 mod q b

Suponiendo que cada uno tiene solucin, formando el sistema

x c 1 mod p a
x c 2 mod qb

Entonces por el teorema chino del residuo este sistema tendr una nica
solucin modulo n. As que nos bastara estudiar cmo encontrar la solucin en

Z p . Consideremos primero
a

Z p[ x ]

Zp

, p primo, donde es un campo as que

es un anillo de polinomios euclidiano, esto da como consecuencia que

existe un polinomio unidad, cada polinomio se puede factorizar como en

polinomios primos, etc.
Teorema: (Teorema de Lagrange) La congruencia

f ( x)

f ( x ) 0 mod p

donde

es un polinomio entero de grado n entonces tiene a lo ms n

soluciones.

f ( x ) 0 mod p

Colorario: La congruencia
entero de grado n con races

donde

c 1 , c 2 , c3 , , c s

f ( x)

es un polinomio

entonces cumple con la siguiente

congruencia

f ( x ) ( xc 1 ) ( xc 2 ) ( xc 3 ) ( xc s ) g ( x ) mod p
Donde

g ( x ) =a0 x ms +h( x ) ,

Colorario: La congruencia

grad ( h ( x ) ) ms1
f ( x ) 0 mod p

donde

f ( x)

entero de grado n con n soluciones incongruentes y sea

u entonces la congruencia
incongruentes

g ( x ) 0 mod p

es un polinomio

g ( x ) f ( x )

de grado

tiene exactamente u soluciones

Colorario: Sea p un primo y d un numero divisor de p-1 entonces hay

exactamente d races para la congruencia
d

x 1 mod p
Colorario: La congruencia es vlida para toda x entera y p primo

p1

1 ( x1 )( x2 ) ( x( p1 ) ) mod p

Teorema: El producto de dos polinomios primitivos es tambin un polinomio

primitivo.
Regresando al caso de

Z n Z ( p ) Z q donde tenemos el sistema de

a

congruencias

f ( x ) 0 mod p a
b
f ( x ) 0 mod q

Podemos obtener los siguientes resultados

Teorema: Sea el siguiente sistema de r congruencias

f ( x ) 0 mod p a
f ( x ) 0 mod q b

Donde cada congruencia tiene

vi

soluciones incongruentes entonces la

congruencia

f ( x ) 0 mod n
Tiene

v1 v2 vr

soluciones incongruentes donde

a1

a2

n=2 ( p1 ) ( p2 ) ( pr )

Colorario: Sea

ar

donde cada

n=p a qb
pi

son primos impares,

denotemos N como el nmero de soluciones incongruentes modulo n de la

congruencia

x 1 0 mod n

afirmaciones
1.

N=2r Si =0,1

2.

N=2r +1 Si =2

entonces se cumple una de las siguientes

3.

r +2

N=2

Si 3

Para toda r natural incluyendo el cero.

a

Un mtodo para encontrar las soluciones de

f ( x ) 0 mod p

es, si

consideramos que tenemos una solucin de

f ( x ) 0 mod pb

donde

Ahora sea

combinacin

una solucin de la congruencia

+t p b t Z

f ( x ) 0 mod p

a>b .

entonces la

es una solucin de la congruencia. Nosotros

buscaremos alguna t entera tal que la combinacin mencionada satisfaga la

congruencia

f ( x ) 0 mod pb+ 1 . Por el teorema de Taylor y de la divisin de

polinomios tenemos que:

2

b '

f ( +t p ) =f ( a )+t p f ( ) +

++

c j x j en f es de la forma

Cada trmino

entonces en

( t pb ) f ' ' ( )

( t p b ) f ( n) ( )
n!

j ( j1 ) ( jk +1 )
c j x jk = j c j x jk
k!
k

()

f ( k) ( )
k ! son enteros y cumple la identidad anterior con la

congruencia que

f ( +t pb ) f ( ) +t pb f ' ( ) mod pb +1
Pero por suponer que

+t p b es una solucin de

f ( x ) 0 mod pb+ 1 entonces

f ( )+ t p b f ' ( ) 0 mod pb +1
Ahora como

es solucin de

f ( x ) 0 mod pb

entonces

p f ()

entonces

de la congruencia anterior podemos simplificar hasta obtener una congruencia

lineal de forma (Usando que

f ' ( )t

p p

f ()
mod p
b
p

La cual el nmero de soluciones es

b +1

'

f ( )
b
p
f ( )

0 , si pf ( ) pero p
'
p , si pf ( ) y p

'

1, si p f ( )

Con este mtodo se puede encontrar soluciones incluso a partir de

siendo entonce p un primo e iterar los pasos hasta llegar a

b=1

pa .

Algunas Aplicaciones de congruencias.

Criptografa y congruencias.
En trabajo

Identidades en teora de nmeros

Teorema: Si F(x) es una funcin que mapea las clases de residuos mod p a
clases de residuo mod p entonces existe un polinomio f(x) con coeficientes
enteros y de grado a lo ms p 1 tal que
Teorema: Sea

f ( x ) 0 mod n

F ( x ) f ( x ) mod p .

un polinomio de grado n con el coeficiente de n

grado igual a 1 entonces son equivalentes las siguientes proposiciones.

1. Tiene n soluciones incongruentes
p

2.

f ( x ) es un factor de x x mod p

3.

x px=f ( x ) q ( x )+ p s ( x ) donde g ( q ( x ) )= pn 0 g ( s ( x ) ) < n

Teorema: (Congruencia de Wolstenholme) Sea

productos de j distintos mientras del conjunto

la suma de todos los

{ 1,2, , p1 } , p 5 primo y m un

entero positivo entonces

2

1.

p2 0 mod p

2.

p2 p p3 mod p3

3.

1 mod p
(mp1
p1 )

4.

( mp ) ! m! ( p ! )m mod pm +3

Colorario: Para un nmero primo p > 3, la congruencia siguiente es verdadera

Teorema: (Teorema de Lucas) Sean m, n nmeros enteros positivos tal que

son desarrollados en potencias de p (primo) es decir
k

m= m i p , n= ni p
i

i=0

i=0

Entonces
k

m mi mop p
n
i=0 ni

()

( )

Captulo 3: Races Primitivas y

Residuos de potencia
Definicin: Sea a, n nmeros enteros, al nmero entero h (si existe) tal que se
cumpla las siguientes condiciones:
1.

a 1 mod n

2. El nmero h es el menor entero positivo que cumple la condicin

anterior.
A este nmero con estas dos condiciones se le llama orden de a modulo n,
denotado como

d n ( a )=h

Teorema: Una condicin necesaria y suficiente para que el

que

d n (a)

exista es

( a , n )=1

Teorema: Si

Teorema:

ak al mod n k l modd n a

+ tal que a s 1 mod n d n as

s Z

Colorario:

a Z n ,d n a(n)

Teorema: Sean

a , b Z tal que ab 1 mod n d n a= d n b

Teorema: Si p es un primo impar y

d p g=2 t
a

entonces

at 1 mod pa

Definicin: Decimos que un entero positivo a es una raz primitiva modulo n si

d n ( a )=(n)
Teorema: Si a es una raz primitiva modulo n entonces
un sistema reducido de residuos.
Teorema: Si

d n a=t

entonces

d n ak =

t
(k , t)

Colorario: Si a es una raz primitiva modulo n entonces

gr es una raiz primitiva ( r , ( n ) )=1

{a , a 2 , a3 , , a (n ) }

es