 Faithful group action

A group action is faithful when only the identity acts as the identity on every point.

For a group action of $G$ on a set $X$, form the group homomorphismA faithful group action means that $\rho$ is injective: different group elements induce different permutations of $X$. Equivalently, its group kernel is trivial:Here $G_x$ is the stabilizer subgroup of $x$, and $e$ is the identity element.^[ref]

The test is global. A faithful group action requires each nonidentity group element to move at least one point; a free group action requires it to move every point. In the faithful coset action of the symmetric group on three letters, $(12)$ fixes one coset and exchanges the other two. Thus a nontrivial stabilizer subgroup does not rule out faithfulness. The distinction follows directly from the order of the quantifiers:On a nonempty set, a free group action is therefore a faithful group action. A transitive group action instead asks whether every point can reach every other; it allows several group elements to perform exactly the same rearrangement. The nonfaithful coset action of the symmetric group on three letters is a counterexample to the claim that every transitive group action is a faithful group action.

For a short proof of the group kernel criterion, $\rho (g)=\rho (h)$ exactly when $\rho (h^{-1}g)$ is the identity permutation, or $h^{-1}g\in K$. If $K=\{e\}$, this forces $g=h$; if $K$ contains a nonidentity element, that element and $e$ act identically. Thus a faithful group action turns $G$ into an actual subgroup of a symmetric group, retaining its group operation as function composition. Choosing a suitable coset action can give a much smaller set of labels than the regular group action used in Cayley's theorem.