A group is an ordered pair (G, ✩) for a set G and a binary operation ✩: G x G -> G such that:
(i) ✩ is associative
(ii) there exists e in G called the identity, so that e✩g=g (left identity) and g✩e=g (right
identity) for all g in G.
(iii) for each g , there is an inverse g^-1in G so that (left inverse) g^-1✩g= e =g✩g^-1 (right inverse)