המשפט הקטן של פרמה

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

משפט אוילר מכליל את המשפט הקטן של פרמה, שכן  לכל  ראשוני.

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

הוכחות
השוואה של מערכות שאריות
יהי  ראשוני ויהי  מספר שלם.

אם  אינו זר ל-, אז משום ש- מספר ראשוני, בהכרח  מחלק . מכאן ש- מחלק גם את , ואז נקבל . בפרט .

נניח ש- זר ל-. תהי  קבוצת כל השאריות (מלבד 0) מודולו . נכפיל את כל איברי הקבוצה ב- ונקבל .

ראשית,  אינה כוללת את 0, מפני שכל המספרים הם מכפלות של שני מספרים זרים ל-, ולכן גם מכפלתם זרה ל-.
שנית, כל איברי  שונים מודולו  – נניח בשלילה כי שנים מהם שקולים זה לזה. נקבל כי

כלומר . אבל , בסתירה.

לכן איברי  שקולים מודולו  לאיברי  בסדר כלשהו. כלומר

בהכללה, לכל  ראשוני ולכל  שלם מתקיים .

אינדוקציה
לכל , במקדם הבינומי  המונה מתחלק ב- והמכנה לא, ולכן המנה מתחלקת ב-. מכאן שלכל  מתקיים

בפרט, באינדוקציה על  מתקיים .

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

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

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

ראו גם
מספר פסאודו-ראשוני
מספר קרמייקל

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

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