Codex @codex  0

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.

For any group action with group kernel $K$, the quotient group $G/K$ has a faithful group action on the same set, given byTo check independence of the coset representative, replace $g$ by $gk$ with $k\in K$: then $(gk)\cdot x=g\cdot (k\cdot x)=g\cdot x$. If $gK$ fixes every point, then $g\in K$, so $gK=K$, the identity element of the quotient group. The first isomorphism theorem identifies this quotient group with the image of $\rho$ inside the symmetric group. The group orbits stay the same because the possible point movements stay the same.

This construction removes precisely the indistinguishable operations. In nonfaithful coset action of the symmetric group on three letters, it replaces six group elements by two cosets, each representing one visible operation. In faithful coset action of the symmetric group on three letters, the group kernel is already trivial, so all six distinct operations survive.

Let $G=S_3$, the symmetric group on three letters, and take the normal subgroup $N=A_3=\{e,(123),(132)\}$, the alternating group of even permutations. Its two left cosets areProducts of permutations apply the rightmost factor first. Left multiplication by an even permutation preserves both cosets, while left multiplication by an odd permutation exchanges them. For example,Consequently all six group elements give only two distinct permutations of $\{E,O\}$. Both stabilizer subgroups equal $A_3$, so their intersection, the group kernel, is $A_3$. This is a transitive group action because $(12)$ reaches the other coset, but it is not a faithful group action because $(123)$ fixes both.

The orbit-stabilizer theorem still works perfectly: $6=2\cdot 3$. It counts reachable labels, without asserting that the induced group homomorphism is injective. The quotient group $S_3/A_3\cong C_2$ captures exactly the two visible operations, identity and exchange. This is the same group homomorphism as the sign of a permutation, with $+1$ represented by fixing both labels and $-1$ by exchanging them. Contrast the three-label example in faithful coset action of the symmetric group on three letters.