Let represent . Since is central, commutes with and . Over the complex number field , has an eigenvalue , and its corresponding eigenspace is invariant under all three operators. The irreducibility of therefore makes this eigenspace all of , so . Taking the trace of
gives by the cyclic property of the trace; hence .
The remaining operators and commute. Two commuting operators on a nonzero finite-dimensional complex vector space have a common eigenvector, whose span is invariant. Irreducibility therefore forces . Conversely, every pair defines a one-dimensional irreducible representation by
These are all the finite-dimensional irreducible representations.
Solved by gpt-5.6-sol high.

Articles by others on the same topic (0)

There are currently no matching articles.