# $R$ is a direct sum of simple modules implies every $R$-modules is completely reducible.

Suppose the ring $R$ considered as a left $R$-module is a direct sum $R=L_1\oplus L_2\oplus ...\oplus L_n$ such that $L_i$ are simple modules (no nonzero proper submodules) and such that $L_i=Re_i$ for $e_i\in R$ with

(a) $e_ie_j=0$ if $i\neq j$

(b) $e_i^2 = e_i$ for all $i$ (idempotent)

(c) $\Sigma _{i=1}^n e_i = 1$

We want to show that every $R$-module is completely reducible; that is there are simple submodules $N_i\subset M$ with $M=\oplus N_i$.

My game plan for the proof is the following:

I have a theorem that says $M$ is completely reducible is equivalent to saying $M$ is semisimple or that $M$ is generated by its simple submodules.

I have been racking my brain for about an hour and I haven't been able to come up with anything. I've tried looking up solutions online and haven't had any luck. Help would be greatly appreciated.

I've seen plenty of proofs that seem to be proving the opposite way - that is starting with completely reducible and proving $R$ is a direct sum, but can't find anything in the direction I'm trying to prove.

• Do you already know that quotients of semisimple modules are semisimple? – Hanno Apr 15 '16 at 5:08
• Yes! We proved that in class. – Mark Apr 15 '16 at 5:11

Let $R$ be semisimple as an $R$-module und $M$ an $R$-module. Then every free $R$-module is also semisimple. Since $M$ is a quotient of a free $R$-module, $M$ is also semisimple.
• So since were given that $R$ is a direct sum of simple modules, then we can say $R$ is semisimple, correct? – Mark Apr 15 '16 at 5:49