Aritmética modular 1

Aritmética modular
En matemática, la aritmética modular es un sistema aritmético para
clases de equivalencia de números enteros llamadas clases de
congruencia. La aritmética modular fue introducida en 1801 por Carl
Friedrich Gauss en su libro Disquisitiones Arithmeticae.[1]
Algunas veces se le llama, sugerentemente, aritmética del reloj, ya que
los números «dan la vuelta» tras alcanzar cierto valor llamado
módulo.[]

Cubierta de la edición original de Disquisitiones

arithmeticae de Gauss, libro fundamental de la
aritmética modular.

Relación de congruencia
La aritmética modular puede ser construida matemáticamente mediante
la relación de congruencia entre enteros, que es compatible con las
operaciones en el anillo de enteros: suma, resta, y multiplicación. Para
un determinado módulo n, ésta se define de la siguiente manera:[2]
a y b se encuentran en la misma "clase de congruencia" módulo
n, si ambos dejan el mismo resto si los dividimos por n, o, El tiempo llevado por este reloj usa aritmética en
equivalentemente, si a − b es un múltiplo de n. módulo 12.

Esta relación se puede expresar cómodamente utilizando la notación de Gauss:[2]

Así se tiene por ejemplo

ya que ambos, 63 y 83 dejan el mismo resto (3) al dividir por 10, o, equivalentemente, 63 − 83 es un múltiplo de 10.
Se lee:[2]
«63 es congruente con 83, módulo 10», o «63 y 83 son congruentes uno con otro, módulo 10».
«Módulo» a veces se abrevia con la palabra «mod» al hablar, de la misma manera que como está escrito y proviene
de la palabra modulus del latín, la lengua de los escritos originales de Gauss. Así, el número n, que en este ejemplo
Aritmética modular 2

es 10, sería el modulus.

Otro ejemplo; cuando el módulo es 12, entonces cualesquiera dos números que divididos por doce den el mismo
resto son equivalentes (o "congruentes") uno con otro. Los números
..., −34, −22, −10, 2, 14, 26,...
son todos "congruentes módulo 12" unos con otros, ya que cada uno deja el mismo resto (2) cuando los dividimos
por 12. La colección de todos esos números es una clase de congruencia.[3]

Propiedades principales

Clases de equivalencia módulo n

La aritmética modular se basa en una relación de equivalencia, y las clases de equivalencia de un entero a se denota
con [a]n (o simplemente [a] si sobreentendemos el módulo.) 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 relación de equivalencia tiene importantes propiedades que se siguen inmediatamente de la definición:[]
Si

entonces

Lo que muestra que la suma y la multiplicación son operaciones bien definidas sobre el conjunto de las clases de
equivalencia. En otras palabras, la suma y la multiplicación están definidas sobre Z/nZ mediante las fórmulas
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.

Resolución de congruencias
Si a y b son enteros, la congruencia: ax ≡ b (mod n) tiene solución x si y sólo si el máximo común divisor (a, n)
divide a b. Los detalles están recogidos en el teorema de congruencia lineal. Sistemas de congruencias más
complicados con módulos diferentes se pueden resolver usando el teorema chino del resto o el método de sustitución
sucesiva.[4]
En el anillo de enteros, si consideramos la ecuación ax ≡ 1 (mod n), vemos que a tiene un inverso multiplicativo si y
sólo si a y n son coprimos. Por tanto, Z/nZ es un cuerpo si y sólo si n es un primo.[5] Se puede probar que cada
cuerpo finito es una extensión de Z/pZ para algún primo p.
Aritmética modular 3

Pequeño teorema de Fermat y teorema de Euler

Un hecho importante sobre aritmética modular, cuando los módulos son números primos es el pequeño teorema de
Fermat: si p es un número primo, entonces:[6]
Si a es cualquier entero:

Si a es un entero no divisible por 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 función phi de Euler que cuenta el número de enteros entre 1 y n que sean coprimos con
respecto a n.[7] 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 módulo n, escrito como:a ≡ b (mod n) si su diferencia a − b es divisible por n,
esto es, si a − b = kn para algún entero k.
Usando esta definición, podemos generalizar a módulos no enteros. Por ejemplo, podemos definir a ≡ b (mod π) si a
− b = kπ para algún entero k. Esta idea se desarrolla plenamente en el contexto de la teoría de los anillos.
En Álgebra abstracta se ve que la aritmética modular es un caso especial del proceso de crear un anillo factorial de
un anillo módulo 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 módulo I si a − b es un elemento de I. Como pasaba con el anillo de enteros, esto se convierte en
una relación de equivalencia, y la suma y la multiplicación se convierten en operaciones bien definidas sobre el
anillo factorial R/I.

Aplicaciones de la aritmética modular

La aritmética modular, estudiada sistemáticamente en primer lugar por Carl Friedrich Gauss al final del Siglo XVIII,
se aplica en teoría de números, álgebra abstracta, criptografía, y en artes visuales y musicales.
Las operaciones aritméticas que hoy en día hacen la mayoría de las computadoras son aritmético modulares, donde
el módulo es 2b (b es el número de bits de los valores sobre los que operamos). Esto se ve claro en la compilación de
lenguajes de programación como el C; donde por ejemplo todas las operaciones aritméticas sobre "int", enteros, se
toman módulo 232 en la mayoría de las computadoras.

En el arte
En música, debido a la equivalencia de octavas y equivalencia enarmónica (esto es, los pasos en razones de 1/2 o 2/1
son equivalentes, y Do# es lo mismo que Reb), la aritmética modular se usa cuando consideramos la escala de doce
tonos igualmente temperada, especialmente en el dodecafonismo. En artes visuales esta aritmética puede usarse para
crear patrones artísticos basados en las tablas de multiplicación módulo n (ver enlace abajo).

Referencias
[1] . (Traducción al español) (http:/ / www. cimm. ucr. ac. cr/ da/ files/ sec1art1-12. pdf)
[2] . (Traducción al español) (http:/ / www. cimm. ucr. ac. cr/ da/ files/ sec1art1-12. pdf)
[6] . (Traducción al español) (http:/ / www. cimm. ucr. ac. cr/ da/ files/ sec3arts45-93. pdf)
[7] Euler, Leonhard « Theoremata circa residua ex divisione potestatum relicta », en Novi Comment. acad. sc. Petrop., vol. 7, 1761, p. 49-82.
Texto orginal del latín Dartmouth College (Euler archive) (http:/ / math. dartmouth. edu/ ~euler/ ) con número E262. Traducción al inglés :
Aritmética modular 4

Enlaces externos
• Weisstein, Eric W. « Modular arithmetic (http://mathworld.wolfram.com/ModularArithmetic.html)» (en
inglés). MathWorld. Wolfram Research.
• Perl arithmetic enhancements (http://archive.develooper.com/perl6-internals@perl.org/msg05492.html) -
explica las razones que se encuentran tras el operador de Perl %
Fuentes y contribuyentes del artículo 5

Fuentes y contribuyentes del artículo

Aritmética modular  Fuente: http://es.wikipedia.org/w/index.php?oldid=66430395  Contribuyentes: Alexav8, Alpertron, Atardecere, Cr2009, DamianFinol, Diegusjaimes, Digigalos, Eduman,
Fercufer, Gusbelluwiki, Ingenioso Hidalgo, Ivn, Jkbw, Juan Mayordomo, Julio grillo, Kn, Linkedark, Luís Felipe Braga, Marsal20, Martingala, Neodop, Raulshc, Rémih, Sabbut, Sanse,
VictorGonI, 45 ediciones anónimas

Fuentes de imagen, Licencias y contribuyentes

Archivo:Disqvisitiones-800.jpg  Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Disqvisitiones-800.jpg  Licencia: Public Domain  Contribuyentes: Achird, Aristeas, Gveret Tered,
Juiced lemon, Maksim, Toobaz, Ufudu, Wst
Archivo:Clock group.svg  Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Clock_group.svg  Licencia: GNU Free Documentation License  Contribuyentes: Original uploader was
Spindled at en.wikipedia

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported
//creativecommons.org/licenses/by-sa/3.0/