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.