This result characterizes faithful group actions in terms of the associated homomorphism into a [symmetric group](/page/Symmetric%20Group). It says that an action loses no group information exactly when the only element acting trivially everywhere is the identity.