Decomposable module

A (left) -module is decomposable iff it is the direct sum of two nonzero submodules. #m/def/module Note that this does not imply is a semisimple module.

#state/tidy | #lang/en | #SemBr