Let (G,*) be a group. Define a new binary operation • on G by setting a • b = b * a for all a,b in G. Prove that (G,•) is a group
For example: the associative property for (G,•) can be shown like this:
(a•b)•c = c*(b*a) = (c*b)*a = a•(b•c)
The first = holds, by definition of • in terms of *, the second = holds because (G,*) is a group, and the last = holds again by definition of • in terms of *.
Now you need to show the existence of a neutral element and of inverse elements.