Ensayo Sobre La

Aritmtica Modular





U n i v e r s i d a d S a n P e d r o
I n g e n i e r a I n f o r m t i c a Y D e
S i s t e m a s


2 8 / 0 4 / 2 0 1 4
Gomez Lopez Cristhian
El presente ensayo, hace un anlisis sobre la
aritmtica modular. En este captulo
describiremos, de manera intuitiva, algunos
conceptos importantes de la lgica matemtica.
Es una reflexin sobre la prctica de la
enseanza-aprendizaje de las matemticas en
las Ciencias Sociales en el marco del sistema
modular.

Conceptualizacin de la Aritmtica Modular.
En matemtica, la aritmtica modular es un sistema aritmtico para clases de
equivalencia de nmeros enteros llamadas clases de congruencia. La aritmtica
modular fue introducida en 1801 por Carl Friedrich Gauss.
Algunas veces se le llama, sugerentemente, aritmtica del reloj, ya que los
nmeros dan la vuelta tras alcanzar cierto valor llamado mdulo.
Aritmtica Modular: En la matemtica la aritmtica modular es un sistema
aritmtico para unas clases de equivalencia de nmeros enteros enteros llamados
clases de congruencia. Algunas veces se les denomina, sugerentemente.
Aritmtica del reloj, ya que dan la vuelta tras alcanzar cierto valor (el modulo).
La aritmtica de las clases de congruencias: la cual simplifica los problemas
tericos-numricos sustituyendo cada entero por el resto de dividirlo por un resto
positivo fijo n esto produce el efecto de sustitucin el conjunto infinito Z de numero
enteros por un conjunto Z que solo contiene elementos. Encontraremos que se
puede sumar, restar y multiplicar los elementos de Z (igual que en Z). Aunque
encontramos algunas dificultades en la divisin. De este modo Z hereda muchas
de las propiedades de Z, pero al tratarse de un producto finito es ms fcil trabajar
con ellos.
Relacin De Congruencias.
La aritmtica modular puede ser construida matemticamente mediante la relacin
de congruencia entre enteros, que es compatible con las operaciones en el anillo
de enteros: suma, resta, y multiplicacin. Para un determinado mdulo n, sta se
define de la siguiente manera.
Esta relacin se puede expresar cmodamente utilizando la notacin de Gauss:
3


As se tiene por ejemplo

ya que ambos, 63 y 83 dejan el mismo resto (3) al dividir entre 10, o,
equivalentemente, 63 83 es un mltiplo de 10. Se lee:
3

63 es congruente con 83, mdulo 10, o 63 y 83 son congruentes uno con otro,
mdulo 10.


Clases de equivalencia mdulo n
La aritmtica modular se basa en una relacin de equivalencia, y las clases de
equivalencia de un entero a se denota con [a]
n
(o simplemente [a] si
sobreentendemos el mdulo.) Otras notaciones son por ejemplo a + nZ o a mod n.
El conjunto de todas las clases de equivalencia se denota con Z/nZ = { [0]
n
, [1]
n
,
[2]
n
,..., [n-1]
n
}.
Esta relacin de equivalencia tiene importantes propiedades que se siguen
inmediatamente de la definicin:
Si

Y

Entonces

Y

Lo que muestra que la suma y la multiplicacin son operaciones bien
definidas sobre el conjunto de las clases de equivalencia. En otras palabras, la
suma y la multiplicacin estn definidas sobre Z/nZ mediante las frmulas
siguientes:


De este modo, Z/nZ se convierte en un anillo con n elementos. Por ejemplo, en el
anillo Z/12Z, se tiene: [8]
12
[3]
12
+ [6]
12
= [30]
12
= [6]
12
.

Resolucin de congruencias
Si a y b son enteros, la congruencia: ax b (mod n) tiene solucin x si y slo si
el mximo comn divisor (a, n) divide a b. Los detalles estn recogidos en el
teorema de congruencia lineal. Sistemas de congruencias ms complicados con
mdulos diferentes se pueden resolver usando el teorema chino del resto o el
mtodo de sustitucin sucesiva.

En el anillo de enteros, si consideramos la ecuacin ax 1 (mod n), vemos
que a tiene un inverso multiplicativo si y slo si a y n son coprimos. Por
tanto, Z/nZ es uncuerpo si y slo si n es un primo.
7
Se puede probar que
cada cuerpo finito es una extensin de Z/pZ para algn primo p.

Pequeo teorema de Fermat y teorema de Euler
Un hecho importante sobre aritmtica modular, cuando los mdulos son nmeros
primos es el pequeo teorema de Fermat: si p es un nmero primo, entonces
Si a es cualquier entero:

Si a es un entero no divisible entre p:

Esto fue generalizado por Euler: para todo entero positivo n y todo
entero a relativamente primo a n, :a
(n)
1 (mod n), donde (n) denota funcin phi
de Euler que cuenta el nmero de enteros entre 1 y n que sean coprimos con
respecto a n.
9
El teorema de Euler es una consecuencia del teorema de Lagrange,
aplicado al caso del grupo de las unidades del anillo Z/nZ.

Generalizaciones
Dos enteros a, b son congruentes mdulo n, escrito como: a b (mod n) si su
diferencia a b es divisible entre n, esto es, si a b = kn para algn entero k.
Usando esta definicin, podemos generalizar a mdulos no enteros. Por ejemplo,
podemos definir a b (mod 2) si a b = k2 para algn entero k. Esta idea se
desarrolla plenamente en el contexto de la teora de los anillos y funciones
trigonomtricas.
En lgebra abstracta se ve que la aritmtica modular es un caso especial del
proceso de crear un anillo factorial de un anillo mdulo un ideal. Si R es un anillo
conmutativo, e I es un ideal de R, entonces dos elementos a y b de R se
dicen congruentes mdulo I si a b es un elemento de I. Como pasaba con el
anillo de enteros, esto se convierte en una relacin de equivalencia, la suma y la
multiplicacin se convierten en operaciones bien definidas.




Aplicaciones de la aritmtica modular:
La aritmtica modular, estudiada sistemticamente en primer lugar por Carl
Friedrich Gauss al final del Siglo XVIII, se aplica en teora de nmeros, lgebra
abstracta, criptografa, y en artes visuales y musicales.
Las operaciones aritmticas que hoy en da hacen la mayora de las
computadoras son aritmtico modulares, donde el mdulo es 2
b
(b es el nmero
de bits de los valores sobre los que operamos). Esto se ve claro en la compilacin
de lenguajes de programacin como el C; donde por ejemplo todas las
operaciones aritmticas sobre "int", enteros, se toman mdulo 2
32
en la mayora de
las computadoras.

Aritmetica modular:

Adicin y sustraccin y multiplicacin
El nmero 12 es slo un ejemplo para presentar el concepto de la aritmtica
mdulo N que se realiza en el conjunto ZN = {0, 1, 2, ..., (N 1)}, para cualquier
entero N > 1. A N se le llama el mdulo. Provisto este conjunto de las
operaciones de suma, resta y multiplicacin se convierte en el sistema ZN. Suma y
multiplicacin se hacen como aprendimos en la escuela, pero el resultado hay que
tomarlo mdulo N. Por ejemplo en Z13 el producto 8 11 = 10. (correcto?).
La resta tambin, excepto cuando el resultado es negativo. Explica por qu, en
Z13, 5 10 = 8.

Divison entera o Division exacta
Dados dos numeros naturales (dividendo) y b = 0 (divisor), llamamos division entera
entre ellos a la operacion que consiste en encontrar otros dos numeros q (cociente)
y r (resto) tales que se cumpla:
a = b q + r siendo 0 r < b

Se demuestra que q y r existen siempre y son unicos. Cuando el resto es nulo, r =
0, diremos que la division es exacta.



Maximo comun divisor
El maximo comun divisor de dos numeros naturales a, b es otro nmero natural tal
que :
1. d|a y d|b.

2. Si
e
N,
e|a
y
e|b, entonces
e|d.
3. Se escribe d = m c d (a, b).

Esto es lo mismo que decir que el maximo comun divisor de dos numeros es el mayor d
e sus divisores.comunes. Lo calculamos tomando, en la descomposicion en factore
primos de ambos, los factores.primos comunes a a y b elevados a los menores
exponentes.
Mnimo comun multiplo
El mnimo comun multiplo de dos numeros naturales a y b es otro numero natural M
tal que:

1. a|M y b|M .

2. Si
p
N,
a|p
y
b|p, entonces
M
|p.
3. Se escribe M = m c m (a, b).

Esto es lo mismo que decir que el mnimo comun multiplo de dos numeros es
el menor de sus.multiplos comunes. Se calcula tomando, en la descomposicion en fa
ctores primos de ambos numeros,los factores primos comunes y no comunes elevado
a los mayores exponentes.

Ecuaciones.

Recuerda que una ecuacin es una proposicin abierta (puede ser verdadera o
falsa) en la que hay una incgnita. La resolucin de una ecuacin consiste en
buscar el valor o los valores de la incgnita que hagan cierta la ecuacin. Por
ejemplo, en los nmeros enteros, la ecuacin 2 x +3 =11 tiene la solucin x =4,
porque 2 4 +3 es en efecto11, y, muy importante, 4 es un entero. Es decir esa
ecuacin la resolvemos dentro de los nmeros enteros.
Las tcnicas para resolver ecuaciones se usan tambin en ZN. Slo se requiere
tener cuidado de que las operaciones se hagan en ZN.





Elementos inversibles.

Elementos de Z9 que son invertibles son 1, 2, 4, 5, 7 y 8. El resto 0, 3 y 6 no son
invertibles. Lo que es claramente comn a estos ltimos es que comparten
factores con el mdulo 9. Todos tienen el factor 3 y 3 es divisor del mdulo. Los
invertibles, no comparten factores o divisores con el mdulo. Es decir que entre un
elemento invertible ay el mdulo N el mximo comn divisor, m.c.d.(a, N), es 1. Y
esa es la condicin necesaria y suficiente para que un elemento de ZN sea
invertible. Este hecho se demuestra rigurosamente, no lo haremos aqu, pero le
daremos la importancia que tiene.
Algoritmo de Euclides
Este algoritmo sirve para hallar el m c d de dos numeros y se basa en los siguiente
hechos:

1. Si r es el resto de la division de a entre b, entonces m c d (a, b) = m c d (b, r).

2. Si a es multiplo de b, entonces m c d (a, b) = b.

3. Se dividen los dos numeros iniciales colocando el cociente encima del divisor y elr
esto debajo.del dividendo. Luego el resto pasa a hacer el papel de divisor. Y asi
repitiendo la division,llegamos necesariamente a un resto 0. Entonces, el ultimo r
esto distinto de 0 es el maximo, comun divisor buscado.

Ej empl o: En la practica hacemos el siguiente esquema, que aplicamos aqu para el
caso concreto de hallar el maximo comun divisor de 32 y 20


1

1

1

2

32

20

12

8

4

12

8

4

o




Por tanto, m c d (32, 20) = 4






Identidad de Bezout
Dados dos numeros naturales a, b, sea d = m c d (a, b). Entonces existen numeros
enteros x, y tales que:
d = a x + b y
El calculo de los enteros x, y que aparecen en la identidad de Bezout se basa
en el algoritmo Euclides para hallar el maximo comun divisor de dos numeros
debiendo tener presente que los enteros que se obtienen no son unicos.

Ej empl o: Hacemos el caso particular
a
= 33 y
b
= 10. El maximo comun divisor d
e 33 y 10 es 1:




3

3

3

33

10

3

1

3

1

0


Entonces:

1 = 10 3 3 = 10 3 (33 3 10) = 10 3 33 + 9 10 = 10 10 + 33 (3)
esto es,

1 = 10 10 + 33 (3)
de donde x = 10 e y = 3.











Reloj Aritmtico:
Estudiante: Cmo se relacionan el tiempo y la aritmtica modular ?
Maestro: La aritmtica modular trata con ciclos repetitivos de nmeros y residuos. El
tiempo que usamos a diario es un ciclo de 12 horas, dividido en ciclos de 60 minutos.
Estudiante: Y estos estn divididos en ciclos de 60 segundos.
Maestro: Correcto. Hablemos de un ciclo de 12 horas. Cada vez que se pasa las 12
comienza nuevamente en 1. Esto es aritmtica modular (mod) 12. Veamos un grafico:

Tenemos desde 0 a 11 en un crculo. Para encontrar la respuesta a una pregunta de
aritmtica modular, comience en 0 y cuente los pasos alrededor del crculo (mmm--)
veces. El nmero donde termine es la respuesta. Por qu no ensaya 16 mod 12 en el
crculo dibujado?
Estudiante: Sera 4 . 16 mod 12 es 4. Ya entiendo, pero por qu no numerar el
crculo de 1 a 12?
Maestro: Primero que todo, su respuesta es correcta! Segundo, la razn por la cual
numeramos de 0 a 11 se aclarar en un minuto. Ensayemos otra pregunta.Qu es
155 mod 12?
Estudiante: Eso me tomar ms tiempo.
Maestro: Hay alguna manera ms fcil de hallar la respuesta? Nota algn patrn?
Estudiante: No le entiendo.
Maestro: Esta es la forma como se relaciona con lo que ya sabemos de residuos, y
con el por qu numeramos de 0 a 11 en vez de 1 a 12. Mire lo que hizo arriba. No es
16 mod 12 lo mismo que el residuo cuando divide 16 por 12?
Estudiante: Entonces, 16/12 = 1 residuo 4. La respuesta es 4
Bibliografa:
- Lopez Verde Victor Hebert (2007) Aritmtica modular Bsica Para
Desarrollar Las Capacidades De Resolucin De Problemas Matemticos

- http://es.wikipedia.org/wiki/Aritm%C3%A9tica_modular (Aritmtica modular).

- http://thales.cica.es/~estalmat/Actividades-ejemplos/sesion19.pdf

- http://hojamat.es/parra/modular.pdf

- http://serbal.pntic.mec.es/jpem0100/cesar/01.html


- http://www.eduteka.org/MI/master/interactivate/discussions/morerem.html