Un teorema que afirma que un sistema de congruencias simultáneas x ≡ a_i (mod m_i) con módulos m_i coprimos por pares tiene una solución única módulo M = ∏ m_i; equivalentemente, el anillo Z/MZ es isomorfo al producto de Z/m_iZ cuando los m_i son coprimos por pares.

Principio

La idea organizadora es que la coprimalidad de los módulos induce una biyección entre clases de residuos módulo el producto y tuplas de residuos módulo cada módulo, permitiendo la especificación independiente de residuos y la reconstrucción constructiva.

Demostración

Ejemplo: resolver x ≡ 2 (mod 3) y x ≡ 3 (mod 5). Como 3 y 5 son coprimos, hay una solución única módulo 15; se encuentra x ≡ 8 (mod 15), construida combinando los residuos (por ejemplo mediante el algoritmo constructivo estándar usando inversos modulares).

Aplicación incorrecta

Aplicar el teorema cuando los módulos no son coprimos por pares; ese uso indebido puede llevar a afirmar una solución única módulo el producto cuando en realidad no existe solución o existen varias clases de residuos módulo el mcm.

Consecuencia

El uso correcto proporciona un método constructivo explícito para resolver congruencias simultáneas, sustenta algoritmos eficientes en teoría de números computacional y criptografía, y permite descomponer la aritmética modular en componentes locales independientes.

Inversión

Si los módulos comparten gcd no triviales, la situación inversa exige comprobar compatibilidad y las soluciones, cuando existen, son únicas solo módulo el mínimo común múltiplo en lugar del producto; la biyección simple falla.

Límite

Ámbito: requiere módulos coprimos por pares para la afirmación clásica de unicidad módulo el producto. Existen generalizaciones para módulos no coprimos, pero requieren condiciones de compatibilidad; el teorema trata residuos módulo enteros y no se aplica directamente a anillos no conmutativos sin adaptación.

Tensión semántica

Hay tensión entre la versión simple con coprimalidad (unicidad módulo el producto) y la versión general con condiciones de compatibilidad para módulos no coprimos; a veces se confunden y se olvida la necesidad de coprimalidad para la versión clásica.

Síntesis

El Teorema del Resto Chino expresa una biyección estructural: módulos coprimos por pares permiten codificar residuos globales como residuos locales independientes y reconstruir una solución global única módulo el producto, dando tanto descomposición teórica como un método constructivo práctico.