permutation group

A permutation group is a pair $(G,X)$ where $G$ is an abstract group, and $X$ is a set onwhich $G$ acts faithfully. Alternatively, this can be thought of as a group $G$ equipped with ahomomorphism in to $\mathrm{Sym}(X)$, the symmetric group on $X$.