מבנים אלגבריים/חבורות

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

הגדרת החבורה עריכה

הקבוצה   עם הפעולה הבינארית  , תקרא חבורה אםם התכונות הבאות מתקיימות:

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


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

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

טבלאות חיבור עריכה

דוגמאות עריכה

סימונים של חבורה כפלית עריכה

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

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

סימונים של חבורה חיבורית עריכה

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

את האיבר ההפכי לאיבר   נהוג לסמן בחבורה חיבורית כ   .

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

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

 .

  • קיום איבר הפכי: לכל   קיים   כך ש   כאשר   הוא האיבר הנייטרלי.


חבורה אבלית (חילופית) היא חבורה שבה מתקיים, בנוסף, תנאי הקומוטטיביות(חילופיות):  .


 

שימו לב:

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

דוגמאות עריכה

מכפלה קרטזית של חבורות עריכה

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

 

כעת, קל להוכיח כי   היא חבורה, ומעבר לכך מתקיימת הטענה הבאה:

טענה:

החבורה   היא חבורה חילופית אם החבורות   הן שתיהן חבורות חילופיות.

שתי הטענות לעיל מושארות לקורא בתור תרגיל.

אקסיומות שקולות עריכה

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

הקבוצה   עם הפעולה הבינארית  , תקרא חבורה אםם התכונות הבאות מתקיימות:

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

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

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


הפרק הקודם:
תמורות
חבורות הפרק הבא:
תכונות בסיסיות