Let commute with the given representation. Since and are diagonal and their four joint pairs of eigenvalues are distinct, commuting with both forces to be diagonal. Commuting with the permutation matrix , which exchanges coordinates and , equates the first two and last two diagonal entries. Commuting with , which exchanges and , makes all four entries equal. Thus the commutant consists only of scalar matrices. Since the representation is unitary, a proper invariant subspace would have an orthogonal projection in the commutant. No such nonscalar projection exists, so the representation is irreducible.
Articles by others on the same topic
There are currently no matching articles.