קונגרואנציה – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
קצרמר
מ ←‏עריכת הפתיח: קישורים פנימיים
שורה 1:
במתמטיקה, '''קונגרואנציה''' היא [[יחס שקילות]] על [[חוג (מבנה אלגברי)|חוג]], השומר על החיבור והכפל. כלומר, אם <math>\ a\equiv b</math> ו- <math>\ a' \equiv b'</math>, אז <math>\ a+a' \equiv b+b'</math> ו- <math>\ aa' \equiv bb'</math>. אם a,b שקולים תחת יחס כזה, אומרים שהם '''קונגרואנטיים''' זה לזה.
 
אוסף האברים השקולים לאפס תחת יחס כזה הוא [[אידיאל (תורת החוגים)|אידיאל]], ואוסף [[חלוקה (תורת הקבוצות)|מחלקות השקילות]] הוא [[חוג מנה|חוג המנה]] של החוג ביחס לאידיאל. שני אברים הם קונגרואנטיים בדיוק כאשר ההפרש ביניהם שייך לאידיאל.
 
הדוגמא הראשונה לקונגרואנציה היא השקילות מודולו n (שני מספרים הם שקולים אם ההפרש ביניהם מתחלק ב-n) - ראו [[חשבון מודולרי]].