Semisimple ring (source code)

= Semisimple ring

A semisimple <ring> is a <ring> that is semisimple as a <module> over itself. Equivalently, every <module> over it is semisimple, so every <short exact sequence> of <modules> splits.