Reducibility of modules Decomposable module A (left) π -module π is decomposable iff it is the direct sum of two nonzero submodules. module Note that this does not imply π is a semisimple module. tidy | en | SemBr