= Solution
Because $M$ is a finite-dimensional <semisimple module>, it has an <isotypic decomposition>
$$
M\simeq\bigoplus_{i=1}^t S_i^{m_i},
$$
where the $S_i$ are pairwise nonisomorphic <simple module>[simple right $R$-modules]. By <Schur lemma>,
$$
D_i=\operatorname{End}_R(S_i)
$$
is a <division ring>, while $\operatorname{Hom}_R(S_i,S_j)=0$ for $i\ne j$. Consequently every endomorphism preserves the isotypic summands and is a matrix of entries from $D_i$ on each one. Therefore
$$
\boxed{\operatorname{End}_R(M)\simeq
\prod_{i=1}^t M_{m_i}(D_i).}
$$
If the ground field is algebraically closed and the $S_i$ are finite-dimensional over it, <Schur lemma> gives $D_i=k$.
Back to article page
