A permutation group is a pair where is an abstract group, and is a set on which acts faithfully. Alternatively, this can be thought of as a group equipped with a homomorphism in to , the symmetric group on .