Prove that the kernel of an action of the group on a set is the same as the kernel of the corresponding permutation representation .
Let be a group acting on . The kernel of the action is the set . The corresponding permutation representation is a group homomorphism given by , and by definition .
: Let . Then for all , we have , so that . Thus .
: Let . Then for all , we have . Thus .