מספר ראשוני רגולרי

מתוך המכלול, האנציקלופדיה היהודית
(הופנה מהדף ראשוני רגולרי)
קפיצה לניווט קפיצה לחיפוש

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

עד 100, הראשוניים היחידים שאינם רגולריים הם: 37, 59 ו-67. משערים שצפיפות הראשוניים הרגולריים בין שאר הראשוניים היא , אבל לא ידוע אפילו האם ישנם אינסוף כאלה. ב-1915 הוכיח יוהאן ינסן שיש אינסוף ראשוניים שאינם רגולריים.

ההגדרה

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

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

הגדרה. הראשוני הוא ראשוני רגולרי אם לכל אידיאל של , מן ההנחה ש- הוא אידיאל ראשי נובע שגם עצמו הוא ראשי.

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

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

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

בשיטה זו הוכיחו את משפט פרמה גם עבור החזקות ו- .

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

קריטריון לרגולריות

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

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

Logo hamichlol 3.png
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0