Module theory MOC Semisimple module A (left) module is (left) semisimple or completely reducible iff it is the direct sum of simple submodules. module tidy | en | sembr