Faithful irreducible representation of a finite simple group
= Faithful irreducible representation of a finite simple group
By <Maschke's theorem>, the complex regular representation of a finite group is a direct sum of irreducibles. Its kernel is the intersection of their kernels. If the group is simple, each kernel is either trivial or the whole group; faithfulness of the regular representation therefore forces at least one irreducible constituent to be faithful.