נוסחת מספר המחלקה של דדקינד

בתורת המספרים נוסחת מספר המחלקה של דדקינד היא נוסחה המקשרת בין מספר מחלקה של שדה מספרים  ושארית של פונקציית  של דדקינד המתאימה לשדה -  ב-1. את הנוסחה הוכיח דדקינד.
רקע
במחצית השנייה של המאה ה-19 כתב ריכרד דדקינד את הספר הרצאות בתורת המספרים (Vorlesungen über Zahlentheorie). הספר סיכם את עבודותיו של דיריכלה על תורת המספרים האנליטית והכיל עבודות של דדקינד. בספר זה הוא ניסח מחדש את הוכחת משפט דיריכלה על מספרים ראשוניים בסדרה חשבונית בצורה מודרנית וקונספטואלית יותר.
חלק חשוב בהכחתו של דיריכלה הייתה נוסחת מספר המחלקה של דיריכלה. דדקינד ניסח מחדש את הנוסחה ואת הוכחתה במונחים קונספטואליים ומודרניים יותר. דבר זה אפשר לו לנסח ולהוכיח נוסחה כללית בהרבה שנקראת נוסחת מספר המחלקה של דדקינד.

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

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

בהינתן שדה מספרים  חוג השלמים  ב-  הוא אוסף האיברים ב-  שמקיימים משוואה פולינומית מתוקנת עם מקדמים ב- . באופן מפורש:  החוג  הוא תחום דדקינד.

מספר המחלקה של שדה מספרים 

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

פונקציית זטא של דדקינד 

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

כאשר  עובר על האידיאלים (הלא טריוויאליים) של חוג השלמים , ו-

הנורמה של .

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

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

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

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

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

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

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

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

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

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

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

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

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

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

מקרה זה מתחלק לשני מקרים:
 המקרה השללי - 
 המקרה החיבי - 

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

מכאן, שכמו שהוסבר בסכמת ההוכחה למעלה די לקרב את הסכום:

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

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

קשר לנוסחת מספר המחלקה של דיריכלה

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

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

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

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

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

 ראו גם 

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

לקריאה נוספת
 The Development of Prime Number Theory From Euclid to Hardy and Littlewood

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

הערות שוליים

קטגוריה:תורת המספרים