# Answer to Question #17106 in Algebra for john.george.milnor

Question #17106

Let M be a finitely generated left R-module and E = End(RM). Show that if R is semisimple, then so is E.

Expert's answer

First assume

*R*is semisimple,and let*S*1*, . . . , Sr*be a complete set of simple left*R*-modules.Then*M*=*M*1*⊕**· · ·**⊕**Mr,*where*Mi*is the sum of allsubmodules of*M*which are isomorphic to*Si*. Since*M*isfinitely generated,*Mi**∼**niSi*for suitable integers*ni*.Therefore, End*RM**∼*(product on i) End*RMi**∼*(product on i) M*ni*(End*RSi*).By Schur’s Lemma, all End*RSi*are division rings, so End*RM*issemisimple.
## Comments

## Leave a comment