faithful action The group action of a group G on a set X is faithful if the only gϵG satisfying g.x = x for all x ϵ X is the group's identity. Equivalently the homomorphism G→Sym(X) is injective, and so every group element is identifiable by its action on X.
|