Prove that G is a permutation group if and only if αlpha*(beta^-1) is in G for any alpha, beta in G.
Note: G is a non-empty subset of Sn.
The definition of a group is that for every alpha, beta in g:
a) alpha*beta in G
b) alpha^-1 in G
Help me out!!