## [Théorème des Restes Chinois](/fr/node/63462) Définition Un résultat qui donne les conditions et une construction de solutions simultanées aux systèmes de congruences x ≡ a_i (mod m_i) lorsque les modules m_i sont deux à deux premiers entre eux ; il affirme l'existence et l'unicité modulo le produit M = ∏ m_i et fournit une reconstitution explicite. ## Principe Principe La coprimalité deux à deux des modules découple les contraintes de congruence de sorte que les résidus modulo chaque module puissent être combinés en un seul résidu modulo le produit, en utilisant des inverses modulaires ou des combinaisons linéaires constructives. ## Démonstration Démonstration Résoudre x ≡ 2 (mod 3) et x ≡ 3 (mod 5). Puisque 3 et 5 sont premiers entre eux, une solution existe et est unique modulo 15 ; une solution est x = 8 car 8 ≡ 2 (mod 3) et 8 ≡ 3 (mod 5), donc toutes les solutions sont x ≡ 8 (mod 15). ## Mauvaise application Mauvaise application Appliquer la formulation standard du CRT quand les modules ne sont pas deux à deux premiers entre eux ; sans vérification de compatibilité le système peut être inconsistant ou nécessiter de travailler modulo le plus petit multiple commun et de tester la compatibilité des congruences. ## Conséquence Conséquence Fournit un outil puissant de décomposition modulaire : l'arithmétique modulo un composé M dont les facteurs sont premiers entre eux est isomorphe au produit des anneaux modulo facteurs, permettant le calcul parallèle, la réduction de complexité et la conception d'algorithmes en cryptographie et codage. ## Inversion Inversion La réciproque envisage des congruences combinées avec des modules non premiers entre eux : l'existence exige des conditions de compatibilité et les solutions sont décrites modulo le plus petit multiple commun plutôt que le produit, le découplage simple échoue. ## Limite Limite La forme la plus simple suppose des modules entiers >1 deux à deux premiers entre eux ; les versions généralisées traitent les modules non premiers entre eux avec contraintes de compatibilité, et des analogues existent dans des anneaux plus généraux sous décompositions idempotentes appropriées. ## Tension sémantique Tension sémantique La tension se situe entre le CRT vu comme théorème d'existence/unicité et sa mise en œuvre algorithmique constructive ; il y a aussi une tension entre l'énoncé entier élémentaire et les décompositions algébriques plus abstraites (isomorphismes d'anneaux et idempotents). ## Synthèse Synthèse Le Théorème Des Restes Chinois caractérise quand et comment des données locales de congruence modulo des entiers deux à deux premiers peuvent être fusionnées de manière unique en un seul résidu global modulo le produit ; il relie l'existence arithmétique à des méthodes constructives explicites et à des décompositions algébriques.