הופכי כפלי מודולרי

הופכי כפל מודולרי הוא מושג במתמטיקה  ובפרט בחשבון מודולרי.

באופן כללי, הופכי של מספר בפעולה * הוא מספר  כך שמתקיים a*b=e כאשר לכל מספר a מתקיים a*e = a למשל, עבור מספרים רציונליים ההופכי של בכפל הוא הוא , ובחיבור a-.

כאשר עוסקים בחשבון מודולרי, שבו החשבון מתבצע עם מספרים שלמים בלבד, עדיין קיים מושג ההופכי. ההגדרה הבסיסית נותרת זהה:  הם הופכיים אם , כאשר הפעם הכפל הוא מודולרי כלומר במודולו של מספר טבעי n.

על פי ההגדרה הפורמלית, a,b הם הופכיים כפליים מודולריים מודולו n, אם . לדוגמה, מודולו 9, ההופכי הכפלי של 2 הוא 5, מכיוון ש: . על כן ניתן להגיד ש:
. אפשר לבדוק ולהיווכח שאכן 5 הוא ההופכי של 2 בדוגמה זו, כלומר אחרי שנבצע פעולה והיפוכה נקבל בחזרה 3. מתקיים:

ל-a יש הופכי מודולו n אם ורק אם a ו-n זרים. זאת מכיוון שחוג המספרים השלמים הוא תחום ראשי, עבור כל שני מספרים זרים a ו-n אפשר למצוא מספרים שלמים u ו-v כך ש-  (משפט Bézout). ניתן למצוא הופכי כפלי מודולרי באמצעות גרסה מורחבת של האלגוריתם האוקלידי. ההופכי של איבר בחבורת אוילר הוא ההופכי הכפלי המודולרי שלו.

בהופכי כפלי מודולרי משתמשים בפתרון קונגרואנציות (משוואת מודולריות) בין השאר בעזרת משפט השאריות הסיני, ובתחום ההצפנה, ביצירת מפתחות RSA.

 ראו גם 
 חילוק מודולרי

קישורים חיצוניים


קטגוריה:אלגברה
קטגוריה:תורת המספרים
קטגוריה:חשבון מודולרי