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