permutation group

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