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.