Let be a subrepresentation and choosewith finite support. The -eigenvalues are pairwise distinct. By Lagrange interpolation, there is a polynomial which is one at one chosen eigenvalue appearing in and zero at all the others. Then is a nonzero scalar multiple of one basis vector . Since is invariant under , it contains .
Articles by others on the same topic
There are currently no matching articles.