שינויים
== ההגדרה ==
חבורה היא [[מערכת מתמטית]] <math>\ (G,\cdot,e)</math> כאשר <math>\ \cdot \co : G \times G \rightarrow G</math> פעולה בינארית ו-<math>\ e\in G</math>, המקיימת את האקסיומות הבאות:
* <math>\ \forall x,y,z: (x\cdot y)\cdot z = x \cdot (y \cdot z)</math> ("אסוציאטיביות"),
* <math>\ \forall x: x \cdot e = e \cdot x = x</math> (e הוא איבר יחידה),
