Teorema del Resto Chino

Teorema que describe un isomorfismo y un criterio de solución: cuando n se factoriza como producto de enteros coprimos por pares n1,...,nk, el anillo Z/nZ es isomorfo al producto ∏ Z/niZ, y los sistemas de congruencias módulo los ni tienen una solución única módulo 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.

Un resultado que da condiciones y una construcción para soluciones simultáneas de sistemas de congruencias x ≡ a_i (mod m_i) cuando los módulos m_i son dos a dos primos relativos; afirma existencia y unicidad módulo el producto M = ∏ m_i y proporciona una reconstrucción explícita.