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