The matrices obey and . Moving every to the right therefore reduces every product to or , with . The five diagonal matrices are distinct because is a primitive fifth root of unity; the five are distinct and off-diagonal. ThusThis is the dihedral group of the regular pentagon, with a rotation and a reflection.
Conjugation by interchanges and , while conjugation by a power of fixes rotations. AlsoSince multiplication by permutes the residues modulo , all five reflections form one conjugacy class. The full list of conjugacy classes isTo prove the representation is irreducible over , any proper nonzero invariant subspace would be a line invariant under . Its two distinct eigenvalues force such a line to be one of its coordinate eigenspaces. But exchanges those two lines, so neither is -invariant. Hence the given complex representation is irreducible.
Articles by others on the same topic
There are currently no matching articles.