40,208
עריכות
(←הגדרה) |
|||
'''חבורה''' <math>\ G</math> היא [[מבנה אלגברי]] בסיסי הכולל [[קבוצה (מתמטיקה)|קבוצה]] עם [[פעולה בינארית]] <math>\cdot</math> ("[[סגירות (אלגברה)|סגורה]]": לכל <math>a,b \in G</math> מתקיים ש-<math>a \cdot b \in G</math>), אשר מקיימת את התכונות הבאות:
* [[אסוציאטיביות]] (קיבוציות): לכל <math>a,b,c\in G</math> מתקיים ש <math>a\cdot (b\cdot c)=(a\cdot b)\cdot c</math>.
* קיום [[איבר יחידה]]
* קיום [[איבר הופכי
(מהאקסיומות נובע שיש רק איבר יחידה אחד, ושלכל איבר יש הפכי אחד).
[[חבורה אבלית]] (חילופית) היא חבורה שבה מתקיים, בנוסף, תנאי ה[[קומוטטיביות]] (חילופיות) <math>a\cdot b=b\cdot a</math> לכל <math>\ a,b\in G</math>.
|