## [Teorema del Resto Chino](/es/node/62030) Definición 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 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 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 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 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 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 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 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 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.