Théorème affirmant qu'un système de congruences simultanées x ≡ a_i (mod m_i) avec des modules m_i deux à deux premiers entre eux admet une solution unique modulo M = ∏ m_i ; équivalemment, l'anneau Z/MZ est isomorphe au produit des Z/m_iZ lorsque les m_i sont deux à deux premiers.

Principe

L'idée organisatrice est que la coprimalité des modules crée une bijection entre les classes de restes modulo le produit et les tuples de restes modulo chaque module, permettant la spécification indépendante des restes et la reconstruction constructive.

Démonstration

Exemple : résoudre x ≡ 2 (mod 3) et x ≡ 3 (mod 5). Comme 3 et 5 sont premiers entre eux, il existe une solution unique modulo 15 ; on trouve x ≡ 8 (mod 15), construite en combinant les restes (par exemple via l'algorithme constructif standard utilisant des inverses modulaires).

Mauvaise application

Appliquer le théorème lorsque les modules ne sont pas deux à deux premiers entraîne l'affirmation erronée d'une solution unique modulo le produit alors qu'il peut n'y avoir aucune solution ou plusieurs classes de restes modulo le ppcm.

Conséquence

Une application correcte fournit une méthode constructive explicite pour résoudre des congruences simultanées, sous-tend des algorithmes efficaces en théorie algorithmique des nombres et cryptographie, et permet de décomposer l'arithmétique modulaire en composants locaux indépendants.

Inversion

Si les modules partagent des pgcd non triviaux, la situation inverse exige de vérifier la compatibilité et les solutions, lorsqu'elles existent, sont uniques seulement modulo le plus petit multiple commun plutôt que le produit ; la bijection simple échoue.

Limite

Portée : nécessite que les modules soient deux à deux premiers pour l'énoncé classique d'unicité modulo le produit. Des généralisations existent pour des modules non premiers entre eux mais requièrent des conditions de compatibilité ; le théorème concerne des restes modulo des entiers et ne s'applique pas directement aux anneaux non commutatifs sans adaptation.

Tension sémantique

La tension tient entre la version simple avec coprimalité (unicité modulo le produit) et la version générale avec conditions de compatibilité pour des modules non premiers ; on confond parfois les deux en oubliant la nécessité de la coprimalité pour l'énoncé classique.

Synthèse

Le Théorème du Reste Chinois formalise une bijection structurelle : des modules deux à deux premiers permettent d'encoder des restes globaux en restes locaux indépendants et de reconstruire une solution globale unique modulo le produit, offrant à la fois une décomposition théorique et un algorithme constructif pratique.