3
$\begingroup$

For any ring $R$ if the right regular $R$-module $R_R$ is semisimple then all right $R$-modules are semisimple.

Let $M$ be an artirary right $R$-module. In order to show that $M$ is semisimple I have considered a submodule $N \subseteq M$. I have to show that $N$ is a direct summand of $M$. On the other hand, I have a useful characterization of semisimple modules:

$M$ is semisimple iff it is the sum of a family of simple submodules.

Using these instruments how can obtain desired result

$\endgroup$
5
$\begingroup$

You're overthinking this. If $R = \sum_{i \in I} R_i$ then $$M = \sum_{m \in M} mR = \sum_{m \in M}\sum_{i \in I}mR_i $$ and each $mR_i$ is either zero or simple.

$\endgroup$
  • 1
    $\begingroup$ Do you not mean $mR$? $\endgroup$ – K.Power Jun 21 '17 at 21:50
  • $\begingroup$ @K.Power Fixed, thanks! $\endgroup$ – Trevor Gunn Jun 21 '17 at 21:53
  • $\begingroup$ Nice answer! Uses a lot less machinery than mine $\endgroup$ – K.Power Jun 21 '17 at 22:01
1
$\begingroup$

Another approach, not as simple as T.Gunn's one, but hopefully informative:

Since $R_R$ is semisimple it is the sum of simple submodules. As a free $R$ module is the direct sum of $R_R$, it follows that each free $R$ module is a sum of simples, so semisimple. Now any $R$ module $V$ is the homomorphic image of a free $R$ module (easy exercise to prove), say $F$. However, we showed that $F$ must semisimple, and the homomorphic image of a semisimple module must be semisimple (another simple exercise to try), so $V$ must be semisimple.

$\endgroup$
  • $\begingroup$ This feels like the essentially same approach. The fact that a module is a quotient of a free module is the map $$\bigoplus_{m \in M} e_mR \longrightarrow \sum_{m \in M} mR = M$$ where the $e_m$'s are given no relations and the map sends $e_m \mapsto m$. $\endgroup$ – Trevor Gunn Jun 21 '17 at 22:46

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.