Semisimple module (source code)

= Semisimple module
{wiki}

A module is semisimple, or completely reducible, when it is a <direct sum> of <irreducible module>[simple modules]. Equivalently, every submodule has a direct-sum complement.