Because is a finite-dimensional semisimple module, it has an isotypic decompositionwhere the are pairwise nonisomorphic simple right -modules. By Schur lemma,is a division ring, while for . Consequently every endomorphism preserves the isotypic summands and is a matrix of entries from on each one. ThereforeIf the ground field is algebraically closed and the are finite-dimensional over it, Schur lemma gives .
Articles by others on the same topic
There are currently no matching articles.