You are on page 1of 5

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:
(, , )( |( ) )
Este concepto sencillo puede dar significado a representaciones de objetos de la vida cotidiana por
ejemplo si 12 quiere decir que 12| es decir = + 12 , . . 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 = y adems
|0 para cualquier n entera arbitraria y fija, sustituyendo la igualdad obtenida tenemos
| y esto por definicin 2.1 equivale a por lo tanto Es Reflexiva
2. (Simtrica) Si suponemos que para dos enteros , cumple que
entonces por definicin 2.1 equivale a | = ( ) por propiedades de
divisibilidad en los enteros tenemos que | y nuevamente por definicin 2.1
tenemos que por lo tanto Es Simtrica
3. (Transitividad) Si suponemos que para tres enteros , , se cumple que
y entonces por definicin 2.1 tenemos que | y | por
propiedades de divisibilidad tenemos que |( ) + ( ) = y por definicin
2.1 concluimos que 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 [] = { | } , y adems es una clase bilateral (gracias a la propiedad
simtrica de la relacin) construyendo un nuevo conjunto llamado = {[]} 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 y entonces se cumple:
1. + +
2.
Demostracin: Si tenemos y entonces por definicin tenemos que
| y | entonces por propiedades de divisibilidad tenemos |( ) + ( ) =
( + ) ( + ) y asi por definicion 2.1 equivale a + + . El resultado es casi
anlogo para el segundo punto como por propiedades de divisibilidad tenemos que |( ) +
( ) observemos que si tomamos = , = ( ) + ( ) =
sustituyendo tenemos | y por definicin 2.1 equivale a .
Colorario 2.1: Para , k un entero, i un entero positivo se cumple
1.
2.
3.
4.
5.
6.



+ +
0

() [] () ()

Demostracin:
Para (1) y (3), Como y entonces por teorema 2.1 cumple la propiedad de
reflexividad, es decir , ahora teniendo estas dos congruencias por teorema 2.2
podemos multiplicar y/o sumarlos, obteniendo y + + .
Para (2), Como entonces por definicin 2.1 tenemos que | y por propiedades
de divisibilidad para algn entero entonces se cumple | y por definicin 2.1
llegamos al resultado (2)
Para (4), Este resultado es inmediato puesto que si |, . . entonces por definicin de
divisibilidad existe un entero k tal que = sustituyndolo en la ltima relacin tenemos
| = 0 y por definicin 2.1 llegamos al resultado (4)
Para (5), Este resultado es inmediato puesto que como y entonces por
teorema 2.2 tenemos 2 2 iterando esta congruencia con la primera tenemos 3
3 , repitiendo este procedimiento llegamos al resultado (5).
Para (6), Sea [] de la forma () = y como por hiptesis tenemos que
por el punto (5) del colorario 2.1 tenemos que y por el punto (1) del mismo
colorario obtenemos , asi tenemos las siguientes congruencias
, 1 1 , 2 2 2 2 , ,
Por el inciso 1 del teorema 2.2 repetidamente obtenemos
+ 1 + + + 1 + +

Que equivalentemente representa


() () .
Teorema 2.3: Si y m|n entonces
Demostracin: Si entonces por definicin 2.1 tenemos que | y como |
entonces por propiedad transitiva de la divisibilidad tenemos | y por definicin 2.1
obtenemos .

Teorema 2.4: Si si y solo si ((,))


Demostracin: Primero si entonces por definicin 2.1 | = ( )

entonces dividiendo por (, ) tenemos que (,) | (,) ( ) y como por propiedades de m.c.d.

((,) , (,)) = 1 entonces por Lema de Euclides

|(
(,)

) y por definicin 2.1 tenemos

((,)).

) entonces por el inciso (2) del colorario 2.1 multiplicando por


(,)

d tenemos que (
) pero como particularmente(, )| ((,) ) y
(,)

por definicin de divisibilidad | (,) y por teorema 2.3 .

Conversamente si (

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
Demostracin: Como se cumple que para todo entero entonces del inciso 4 del
colorario 2.1 tenemos que .
Teorema 2.6: Si para cada = 1,2, , si y solo si ([1 , 2 , , ])
Demostracin: Como para cada = 1,2, , entonces por definicin de
divisibilidad | para cada = 1,2, , entonces a-b es un mltiplo comn de
1 , 2 , , y por definicin de mnimo comn mltiplo entonces [1 , 2 , , ]| y por
definicin de 2.1 ([1 , 2 , , ]). Conversamente ([1 , 2 , , ])
como para cada = 1,2, , . . . |[1 , 2 , , ] entonces por
teorema 2.3 .
Teorema 2.7: Si entonces (, ) = (, )
Demostracin: Primero vemos que si entonces por definicin 2.1 y definicin de
divisibilidad = + . . adems por propiedades de m.c.d. tenemos (, ) = (, ) =
(, + ) ahora sea x=y entonces como = + 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 partir de los teoremas 2.1 a 2.7 podemos verificar que ( , +) es un grupo abeliano y ( ,) 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. ( , )( )
2. ( )( , )
Teorema 2.9: Todo sistema completo de residuos modulo n es isomorfo a
Demostracin: Sea B un sistema completo de residuos modulo n entonces definimos :
como () = , esta funcin es suprayectiva por inciso 2 de la definicin 2.2,
y adems es inyectiva puesto que si para alguna , distintos tal que () = () entonces
si y solo si = pero eso implicara que , van a un mismo elemento en
entonces pero eso contradice a que sean elementos de un sistema completo de
residuos, por lo tanto es biyectiva. Y como esta definicin coincide con la definicin de las
operaciones en entonces para ( + ) = + pero + = + = () + ()
anlogo para () = ()()
Colorario 2.2: Si 1 , 2 , , es un sistema completo de residuos modulo n entonces
1. =
2. . . (, ) = 1 1 , 2 , , . . .
Demostracin: Primero notemos que = {0,1,2,3, , 1} es un s.c.r, Si , tal que
entonces por definicin 2.1 tenemos | entonces por definicin de divisibilidad
para alguna r entera se cumple = o bien = + , adems por unicidad del teorema
de divisin de Euclides la divisin de x y n representa la igualdad mostrada , pero 0 < por
construccin del conjunto A entonces r=0 y por lo tanto = teniendo asi que cada elemento de
A es incongruente con cada elemento del resto de A, adems para cada al dividirlo por n por
el teorema de la divisin de Euclides tenemos que existen nicos x, r enteros tal que = +
con 0 || < || = y como entonces cada x puede ser 0,1,2, , 1 es decir de
cualquier elemento de A, por lo tanto A es un s.c.r. donde # = y por el teorema 2.9 todo
sistema completo de residuos modulo n es isomorfo a en especial entonces # =

# = , Adems sea B un s.c.r. entonces por teorema 2.9 entonces por lo tanto
# = # = . 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 (, ) =
1 ()
Proposicin 2.1: Sea = { |(, ) = 1} entonces la multiplicacin definida en Zn
restringida al nuevo conjunto es cerrado.
Demostracin: Por propiedades de mximo comn divisor recordamos que si (, ) = 1 = (, )
entonces (, ) = 1 , entonces sea , 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. ( , )( )
2. ( )( , )
3. ( )(( , ) = 1)
Teorema 2.11: Todo sistema reducido de residuos modulo n es isomorfo a
Definicin 2.4: Definimos la funcin phi de Euler como () = #
Colorario 2.3: Si 1 , 2 , , es un sistema reducido de residuos modulo n entonces
1. = ()
2. . . (, ) = 1 1 , 2 , , . . .

You might also like