מחלק

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

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

למשל, 5 הוא מחלק של המספר 35, אך לא של המספר 33.

נהוג לסמן את התכונה כך: פירושו " מחלק את ."

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

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

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

הכללה

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

מושג המחלק נחוץ לצורך עיסוק בתחומי פריקות יחידה.

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

משפט: מספר המחלקים של מספר שלם המיוצג בצורה:

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

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

למשל ניקח את המספר 12. ברור כי יש לו בדיוק שישה מחלקים: 1,2,3,4,6,12. נציג את המספר כמכפלת ראשוניים: , על פי המשפט נובע כי למספר יש בדיוק מחלקים.

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

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

ראו גם

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