Over , the operator representing has an eigenvector with eigenvalue . The relation givesTherefore is a nonzero -invariant subspace of dimension at most two. If is irreducible it equals this subspace, so .
Articles by others on the same topic
There are currently no matching articles.