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

תוכן שנמחק תוכן שנוסף
שורה 9:
פתרון, ויתר על כן, כל שני פתרונות הם שקולים [[מודולו]] <math> \ m=m_1\cdot m_2\cdots m_k </math> (כלומר, הפתרון יחיד מודולו m).
 
בניסוח אחר, מופשט יותר, המשפט קובע שה[[חוג (מבנה אלגברי)|חוג]] <math>\ \mathbb{Z}/(m_1 \dotscdots m_k)\mathbb{Z}</math> [[איזומורפיזם|איזומורפי]] לסכום הישר של החוגים <math>\ \mathbb{Z}/m_1\mathbb{Z} \oplus \dots \oplus \mathbb{Z}/m_k \mathbb{Z}</math>.
 
=== הוכחה ===