חבורה (מבנה אלגברי)

Nuvola apps edu mathematics blue-p.svg

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

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

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

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

הגדרה

חבורה היא מבנה אלגברי בסיסי הכולל קבוצה עם פעולה בינארית ("סגורה": לכל מתקיים ש- ), אשר מקיימת את התכונות הבאות:

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

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

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