משפט השאריות הסיני – הבדלי גרסאות

=== מסקנה: האיזומורפיזם בין החוגים ===

 

 

יהי <math>x \in \mathbb{Z}/m_1\dots m_k\mathbb{Z} </math>, אפשר לשכן אותו ב-<math>\mathbb{Z}/m_1\mathbb{Z} \oplus \dots \oplus \mathbb{Z}/m_k \mathbb{Z}</math> על ידי