המשך - "חבורה של מספרים"
ניקח "חבורה של מספרים", הכוללת את המספרים הבאים: 3, 6, 9, 12, 15, . . . וכן הלאה, כלומר, את כל הכפולות החיוביות של 3. נגדיר ב"חבורה" הזו "פעולת חיבור" באופו הטבעי ביותר: חיבור חשבוני רגיל. מתברר, שאם נחבר שני חברים כלשהם מה"חבורה" הזו, נקבל שוב חבר מסוים מה"חבורה"! אבל, אם כבר דיברנו על "חיבור", מתבקשת הגדרת פעולה הפוכה, "חיסור". לפעמים זה מצליח. למשל, אם ננסה לחסר 9 מ-15, כלומר, למצוא מספר שהחיבור שלו עם 9 יתן 15, אז אכן יש ב"חבורה" שלנו מספר כזה, והוא המספר 6. אבל לא בכל המקרים ההצלחה תאיר לנו פנים. אם ננסה לעשות להיפך, לחסר 15 מ-9, ואפילו לחסר את אחד החברים מה"חבורה" שלנו מעצמו, לא נמצא ב"חבורה" שלנו אף חבר שיתאים למשימה זו. אם נרחיב את ה"חבורה" שלנו, ונצרף אליה גם את המספר 0, וגם את הכפולות השליליות של 3: מינוס 3, מינוס 6, מינוס 9 וכו', ניווכח שהבעייה נפתרה במלואה! עכשיו ה"חבורה" שלנו יכולה להתקיים באופן עצמאי, ויותר אינה זקוקה לאף אחד! כמובן, בתנאי שמעניינת אותה רק פעולת החיבור והחיסור בין חבריה. באופן דומה אפשר להגדיר "חבורת" מספרים אחרת - את המספרים 3, 9, 27, 81 וכו'. בחבורה זו מעניינת אותנו פעולת הכפל. אם נכפיל שני חברים כלשהם מה"חבורה", יתקבל בהכרח חבר כלשהו מה"חבורה". אבל אם אנו רוצים להגדיר גם את הפעולה ההפוכה, החילוק, הרי שלא תמיד נצליח להגדיר אותה מבלי לחרוג מה"חבורה". אפשר לחלק 81 ל-9, ושוב יתקבל חבר מה"חבורה", המספר 9, אבל אי אפשר לעשות להיפך. וגם את החבורה הזו אפשר להרחיב כך, שבעייה זו תיפתר: נצרף אליה את המספרים 1, שליש, תשיעית, 1 חלקי 27 וכו'. עכשיו ה"חבורה" שלנו יכולה להתקיים באופן עצמאי, מבחינת כפל וחילוק, ויותר אינה זקוקה לאף אחד נוסף. כמו קודם, אם ניקח שני חברים כלשהם מה"חבורה", המכפלה שלהם תישאר במשפחה: נקבל חבר כלשהו מה"חבורה". אבל עכשיו גם אפשר לחלק אותם חופשי זה בזה, ולא חשוב את מי במי, ושוב נצליח להסתדר בתוך ה"החבורה" עצמה! [גם כאן, הפעולה ההפוכה "חילוק" אינה סימטרית. התוצאה כמובן תלויה בכך, את מי מחלקים במי, אבל מה שרציתי להדגיש, זה שבשני המקרים אנחנו לא נאלצים לחרוג מה"חבורה" בשביל למצוא את התוצאה. הכל בתוך המשפחה!] ניזכר בחבורה הראשונה, בה לקחנו את כל הכפולות השלמות של 3, כלומר, את המכפלות של 3 בכל המספרים השלמים האפשריים. בחבורה זו יש תפקיד חשוב למספר 0, ולא נפרט כדי לא להעמיס יותר מדי. מ-0 אפשר ללכת בהדרגה לשני הכיוונים האפשריים, ולקבל חברים שונים של החבורה, כפולות שונות של 3. בדיוק אותו הדבר בחבורה השנייה! כאן המספר 1 ממלא את "התפקיד החשוב", וממנו אפשר ללכת לשני הכיוונים האפשריים, ולקבל חברים שונים של החבורה. לשם הנוחות, המציאו לחברים האלה את השם "חזקות", במקביל לשם "כפולות" של החבר'ה מהחבורה הראשונה. ובדיוק כמו שבחבורה הראשונה היו הכפולות של 1, 2, 3, . . ., 0, מינוס 1, מינוס 2, מינוס 3, . . . כך גם מכנים את חברי החבורה השנייה בהתאם "חזקות" 1, 2, 3, . . ., 0, מינוס 1, מינוס 2, מינוס 3, . . . ואם שמת לב, החל ממקום מסוים השמטתי את הגרשיים מהמילה "חבורה"! כי זהו מונח מתמטי "רשמי" לקבוצה "עצמאית" כלשהי, המסתדרת באופן מלא עם פעולה כלשהי ועם הפעולה ההופכית שלה. כשמדברים על חבורה, זה אפילו לא משנה איך תקרא לפעולה המוגדרת בה: "חיבור", או "כפל", או איך שאתה רוצה. בכל חבורה קיים בהכרח חבר מסוים הממלא את "התפקיד המיוחד".