Congruencia módulo

Puede que veas una expresión como:
AB(mod C). A \equiv B (\text{mod } C).
Esto dice que A es congruente con B módulo C.
Vamos a discutir el significado de la congruencia módulo al realizar un experimento con el operador regular de módulo.
Imaginemos que estamos calculando mod 5 para todos los enteros:
Moed
Supongamos que etiquetamos 5 rebanadas con 0, 1, 2, 3, 4. Luego, para cada uno de los números enteros, lo ponemos en una rebanada que coincida con el valor del entero mod 5.
Piensa en estas rebanadas como cubetas que contienen un conjunto de números. Por ejemplo, 26 iría en la rebanada etiquetada 1, porque .
Arriba está una figura que muestra algunos enteros que encontraríamos en cada una de las rebanadas.
Sería útil tener una manera de expresar que algunos números pertenecen a la misma rebanada. (Observa que en el ejemplo de arriba, 26 está en la misma rebanada que 1, 6, 11, 16, 21).
Una manera común de expresar que dos valores están en la misma rebanada, es decir que están en la misma clase de equivalencia.
La manera en que expresamos esto matemáticamente para mod C es: AB (mod C) A \equiv B \ (\text{mod } C)
La expresión anterior se pronuncia A es congruente con B módulo C.
Al examinar más de cerca la expresión:
  1. \equiv es el símbolo de congruencia, lo que significa que los valores A y B están en la misma clase de equivalencia.
  2. left parenthesis, m, o, d, space, C, right parenthesis nos dice qué operación le aplicamos a A y a B.
  3. Cuando tenemos ambos, a “ \equiv lo llamamos congruencia módulo C.
Por ejemplo 2611 (mod 5) 26 \equiv 11\ (\text{mod }5) .
26, space, m, o, d, space, 5, equals, 1 así que está en la clase de equivalencia para 1,
11, space, m, o, d, space, 5, equals, 1 así que también está en la clase de equivalencia para 1.
Ten en cuenta que esto es distinto de A, space, m, o, d, space, C: 26, does not equal, 11, space, m, o, d, space, 5.

Ideas sobre congruencia módulo

Podemos tener un mejor entendimiento de lo que significa la congruencia módulo al realizar el mismo experimento pensado al usar un entero positivo C.
Primero, etiquetaríamos C rebanadas 0,1,2,,C2,C1 0, 1, 2, \ldots, C - 2, C - 1 .
Luego, pondríamos cada uno de los números enteros en una rebanada que coincidiera con el valor del entero m, o, d, space, C.
A continuación hay una figura que muestra algunos valores representativos que encontraríamos en cada una de las rebanadas.
Si miráramos en la cubeta etiquetada con 0, encontraríamos:
,3C,2C,C,0,C,2C,3C, \ldots, -3C, -2C, -C, 0, C, 2C, 3C, \ldots
Si miráramos en la cubeta etiquetada con 1, encontraríamos:
,13C,12C,1C,1,1+C,1+2C,1+3C, \ldots, 1-3C, 1-2C, 1-C, 1, 1+C, 1+2C, 1+3C, \ldots
Si miráramos en la cubeta etiquetada con 2, encontraríamos:
,23C,22C,2C,2,2+C,2+2C,2+3C, \ldots, 2-3C, 2-2C, 2-C, 2, 2+C, 2+2C, 2+3C, \ldots
Si miráramos en la cubeta etiquetada con C, minus, 1, encontraríamos:
,2C1,C1,1,C1,2C1,3C1,4C1 \ldots, -2C-1, -C-1, -1, C-1, 2C - 1, 3C-1, 4C - 1 \ldots
A partir de este experimento podemos hacer una observación clave:
Los valores en cada una de las rebanadas son iguales a la etiqueta en la rebanada, más o menos un múltiplo de .
Esto significa que la diferencia entre cualesquiera dos valores en una rebanada es un múltiplo de .
Esta observación puede ayudarnos a entender proposiciones equivalentes y clases de equivalencia a continuación.