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 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.
Examinar la expresión más de cerca:
  1. \equiv is the symbol for congruence, which means the values A and B are in the same equivalence class.
  2. left parenthesis, m, o, d, space, C, right parenthesis tells us what operation we applied to A and B.
  3. when we have both of these, we call “ \equiv congruence modulo 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 usando un entero positivo C.
Primero, etiquetaríamos C rebanadas 0,1,2,,C2,C1 0, 1, 2, \ldots, C - 2, C - 1 .
Luego, para cada uno de los números enteros, lo pondríamos 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.