Q:

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!!

Thanks!