A module over a ring $M$ is semisimple if it may be written as the direct sum of simple modules.
Wikidata ID: Q1485102