When a [simple group](/page/Simple%20Group) acts on a set, either every element acts trivially or the action is completely faithful with distinct elements acting as distinct permutations. This dichotomy holds because the action kernel is normal in the simple group, forcing it to be either trivial or the whole group.