Semisimple module

A (left) module $𝑀 \in 𝑅 𝖬 𝗈 𝖽$ is (left) semisimple or completely reducible iff it is the direct sum of simple submodules. #m/def/module

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