A **group** is a set $G$ together with a multiplication on $G$ which satisfies three axioms:

**Associativity:**The multiplication is associative, that is to say $(xy)z=x(yz)$ for any three (not necessarily distinct) elements from $G$**Identity Element:**There is an element $e$ in $G$, called an identity element, such that $xe=x=ex$ for every $x$ in $G$**Inverse Element:**Each element $x$ of $G$ has an inverse $x^{-1}$ which belongs to the set $G$ and satisfies $x^{-1}x=e=xx^{-1}$