Reducibility of modules
Indecomposable module
A (left) -module is indecomposable iff it not the direct sum of two nontrivial submodules, #m/def/module
i.e. it is not a decomposable module.
Note this does not imply is a simple module.
#state/develop | #lang/en | #SemBr