El sistema de aritmética sobre los enteros considerado respecto a relaciones de congruencia módulo un módulo fijo n; los enteros se particionan en clases residuo y las operaciones se realizan sobre estas clases, dando lugar al anillo Z/nZ y al cuerpo F_p cuando n es primo.

Principio

Definir la relación de equivalencia a ≡ b (mod n) cuando n divide a−b; realizar suma y multiplicación sobre las clases de equivalencia (residuos) de modo que los cálculos respeten el módulo y pasen a operaciones bien definidas en Z/nZ.

Demostración

Trabajando módulo 12, 17 ≡ 5 (mod 12) y 7·5 ≡ 35 ≡ 11 (mod 12). Cuando n=7 (primo), todo residuo no nulo tiene inverso multiplicativo, por lo que los cálculos se hacen en el cuerpo finito F_7.

Aplicación incorrecta

Tratar un elemento como invertible módulo n sin comprobar gcd(elemento,n)=1 (por ejemplo asumir que 6 tiene inverso mod 12); o confundir una clase de residuos con un representante particular y sacar conclusiones dependientes de esa elección.

Consecuencia

Proporciona un lenguaje compacto para el razonamiento por congruencias, es la base de algoritmos en teoría de números y criptografía, y conduce a estructuras algebraicas (anillos, cuerpos) que sistematizan la resolución de congruencias y problemas aritméticos lineales.

Inversión

Ver la aritmética únicamente sobre el conjunto infinito ordenado de enteros con sus valores absolutos y desigualdades, ignorando las identificaciones cíclicas y por clases módulo n; esta inversión enfatiza el orden total y la divisibilidad frente a las operaciones sobre clases.

Límite

Se aplica a congruencias de enteros módulo un entero positivo fijo n y a las consecuencias algebraicas de ello; no incluye nociones no relacionadas llamadas 'modular' en otros contextos (por ejemplo formas modulares), y las propiedades estructurales dependen críticamente del gcd y de la primalidad de n.

Tensión semántica

Tensión entre pensar en los residuos como enteros representantes concretos y considerarlos como clases de equivalencia abstractas (los objetos algebraicos de Z/nZ); muchos errores provienen de cambiar de perspectiva sin controlar la invariancia respecto al representante.

Síntesis

Un marco aritmético estructural que quotienta los enteros por la relación de congruencia módulo n para producir clases residuo con suma y multiplicación bien definidas, dando anillos y, cuando n es primo, cuerpos útiles para cálculo y teoría.