מספר מחלקה (תורת המספרים)

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

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

המקרה של שדה גלובלי כללי

קשר לתבנית ריבועיות

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

נוסחת מספר מחלקה

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

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

לקריאה נוספת
 Władysław Narkiewicz, The Development of Prime Number Theory From Euclid to Hardy and Littlewood

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

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