Reducibility of modules
Let
- simple or irreducible iff it has no nonzero proper submodule;
- semisimple or completely reducible iff it is the direct sum of simple modules;
- decomposable iff it is the direct sum of two nonzero modules;
- indecomposable iff it is not decomposable.
#state/tidy | #lang/en | #SemBr