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

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

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

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

הוכחות

השוואה של מערכות שאריות

נסתכל על קבוצת כל השאריות (מלבד 0) מודולו  : . נכפיל את כל אברי הקבוצה ב־ ונקבל את .

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

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

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

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

אינדוקציה

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

מכאן שלכל מתקיים .

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

פעולת החבורה הראשונית

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

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

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

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

הוכחה קומבינטורית

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

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


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

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

כל צביעה כזו מופיעה בדיוק פעמים, ולכן מספר המצולעים השונים הוא עיבוד הנוסחה נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle {\frac {a^{p}-a}{p}}+a} . זהו מספר שלם, ולכן .

(חישוב זה הוא מקרה פרטי של הלמה של ברנסייד, עבור הפעולה של החבורה הציקלית מסדר p על אוסף הצביעות).

ראו גם

This article is issued from Hamichlol. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.