 ##  [Théorème des Restes Chinois](/fr/node/61265) 

  ##  [Théorème des Restes Chinois](https://mathlogic.quantumdictionary.io/fr/node/61266) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural &amp; Formal Sciences -

**Mathematics &amp; Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Un théorème décrivant un isomorphisme et un critère de solution : lorsque n se factorise en produit d'entiers deux à deux premiers entre eux n1,...,nk, l'anneau Z/nZ est isomorphe au produit ∏ Z/niZ, et les systèmes de congruences modulo les ni ont une unique solution modulo n.

 

 

 

 

 





 

 



 ##  [Théorème des Restes Chinois](https://puremath.quantumdictionary.io/fr/node/62030) 

  

 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics &amp; Logic -

**Pure Mathematics Dictionary**

 







 

 

 

 



 

 

 

 

Définition

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.

 

 

 

 

 





 

 



 ##  [Théorème des Restes Chinois](https://algebra.quantumdictionary.io/fr/node/63462) 

  

 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

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.