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