Aritmética modular

ℤ𝑙𝑚 donde l: longitud; m: módulo

Adición: 𝑎 + 𝑏 = 𝑐 ; 0 ≤ 𝑐 ≤ 𝑚 − 1

Multiplicación: 𝑎 ∗ 𝑏 = 𝑐 ; 0 ≤ 𝑐 ≤ 𝑚 − 1

Los enteros módulo 2 en ℤ𝑙2 = { 0 , 1 }

Los enteros módulo 3 en ℤ𝑙3 = { 0 , 1 , 2 }

Los enteros módulo 4 en ℤ𝑙4 = { 0 , 1 , 2 , 3 }

Y de esta manera para cualquier valor de 𝑚.

 Ejemplo: Calcule 2 + 2 + 1 + 2 en ℤ𝟑
2+2+1+2=7

Como estamos trabajando en un sistema de enteros módulo 3, los valores del conjunto son
{ 0 , 1 , 2 } (verifican la condición de 0 ≤ 𝑐 ≤ 𝑚 − 1 , donde 𝑚 = 3). El 7 no pertenece al
conjunto, por lo que no es el resultado.

Para entender el concepto de módulo (que significa el resto

de la división en este estudio) utilizamos una circunferencia dividida
en "𝑚" partes iguales, donde cada división representa uno de los
números del conjunto, para este ejemplo {0 , 1 , 2}. Iniciando desde
el punto correspondiente al cero, si el número 𝑐 (en este ejemplo
𝑐 = 7) obtenido es positivo, nos desplazamos un punto c-veces en
sentido horario. Para valores negativos el desplazamiento es anti
horario.

Así, al desplazarnos siete veces en sentido horario, obtenemos que 7 es equivalente a 1.

Por lo que 2 + 2 + 1 + 2 en ℤ3 es igual a 1

Al hacer la analogía con la circunferencia, vemos que cada vuelta requiere un número 𝑚 de
desplazamientos, por lo que podemos concluir que todos los múltiplos de 𝑚 son equivalentes a
cero (el punto de inicio, ver en la tercera figura más arriba). Así, tenemos que todos los números
que sean divisibles por 𝑚 equivalen a cero y observamos que el resto de dividir un múltiplo de 𝑚
entre 𝑚 es igual a cero. De la misma manera, todo múltiplo de 𝑚 y luego aumentado en 1 (esto es
(𝑘 × 𝑚) + 1) equivale a 1 y el resto de dividir (𝑘 × 𝑚) + 1 entre 𝑚 es igual a 1. Y de la misma
forma para 𝑐 = (𝑘 × 𝑚) + 𝑖 y concluimos que para obtener el equivalente de un número 𝑐 que no
pertenece al conjunto de números enteros módulo 𝑚 debemos conocer el resto de la división
entre el número 𝑐 en cuestión (en este ejemplo era 𝑐 = 7, que no pertenece al conjunto) y el
módulo del conjunto (en este ejemplo 𝑚 = 3).
 𝑐 = 7 ; 𝑚 = 3 ; Luego, el resto de 7 ÷ 3 es igual a 1, por lo que 2 + 2 + 1 + 2 en ℤ3 = 1

Si 𝑐 = 10 para este mismo ejemplo, el resto de 10 ÷ 3 es igual a 1.

Si 𝑐 = 11 para este mismo ejemplo, el resto de 11 ÷ 3 es igual a 2.
Si 𝑐 = 12 para este mismo ejemplo, el resto de 12 ÷ 3 es igual a 0.
Si 𝑐 = −11, el resto es −2, pero −2 no pertenece al conjunto de enteros módulo 3,
utilizando la circunferencia y girando en sentido anti horario 2 desplazamientos, obtenemos que
−11 equivale a 1. Otra opción es hacer 0 − 2, donde 0 también equivale a 3 (y también a
6, 9, 12, … , 𝑘 × 𝑚 según lo explicado anteriormente), entonces tenemos 3 − 2 = 1 y pertenece al
conjunto de enteros módulo 3.

𝟐 𝟐
𝟐 𝟏
Encuentre 𝒖 ∙ 𝒗 y 𝒖 + 𝒗 en ℤ𝟓𝟑 ; si 𝒖 = 𝟏 y 𝒗 = 𝟎
𝟎 𝟐
[𝟐 ] [𝟏]

Tenemos que módulo 𝑚 = 3 y longitud 𝑙 = 5

Los números que pertenecen al conjunto son {0 , 1 , 2}

2 2 4 1
2 1 3 0
𝑢+𝑣 = 1 + 0 = 1 = 1
0 2 2 2
[2] [1] [3] [1]

4 y 3 no pertenecen al conjunto, entonces hallamos el resto de la división 4 ÷ 𝑚 y

obtenemos 1 y de 3 ÷ 𝑚 tenemos 0

2
1
𝑢 ∙ 𝑣 = 𝑢𝑇 𝑣 = [2 2 1 0 2] 0 = 8 y en ℤ3 : 𝑢 ∙ 𝑣 = 2
2
[1]

Los vectores en ℤ𝟓𝟑 se conocen como vectores ternarios de módulo 5.

 Vectores código. Página 53 del Poole. Para las aplicaciones (UPC, ISBN, Codabar…) ver en el
Poole o en apuntes de clase.

Determine el dígito verificador de 𝒖 = (𝟎, 𝟓, 𝟗, 𝟒, 𝟔, 𝟒, 𝟕, 𝟎, 𝟎, 𝟐, 𝟕, 𝒅)

del código de barra (UPC)
Para UPC tenemos que ℤ1210 y se debe verificar que 𝑢 ∙ 𝑐 = 0 donde
𝑐 = (3,1,3,1,3,1,3,1,3,1,3,1)

3
1
3
1
3
𝑢 ∙ 𝑐 = [0 1
5 9 4 6 4 7 0 0 2 7 𝑑 ] 3 = 102 + 𝑑 = 0
1
3
1
3
[1]

102 + 𝑑 = 0 → 2 + 𝑑 = 0 → 𝑑 = −2 → 𝑑 = 8

𝑑=8

Utilizando la circunferencia para 𝑚 = 10, avanzando en sentido anti horario dos pasos,
obtenemos 8. O haciendo 0 − 2 → 10 − 2 → 8 (recordemos que en el conjunto de enteros
módulo 10, el 0 es equivalente al 10 y a todos los múltiplos de 𝑚).