properties of semisimple modules
Let be a ring. Recall that -module is called semisimple iff is a direct sum
of simple module.
Proposition. The following are equivalent
for -module :
- 1.
is semisimple;
- 2.
is generated by its simple submodules;
- 3.
for every submodule there exists a submodule such that .