Stage: 5 Challenge Level:
As defined in this question $A*B$ is the set of all elements
belonging to one or other of the sets $A$ and $B$ but not to both.
For $G$ to be a group it must be closed and associative, it must
contain an identity and all the elements must have inverses.