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