All three displayed transposition matrices have trace zero. Multiplying two of them givessince . Their traces are , whereas . ThereforeBy character orthogonality, is the irreducible representation from c.
There is also a direct invariant subspace argument. The two distinct eigenvalues of force any invariant line to be one of the two coordinate lines. But exchanges those lines. Neither is invariant under the whole group, so this two-dimensional representation is irreducible.
Articles by others on the same topic
There are currently no matching articles.