semisimple ring

Definition

A ring is called semisimple if every R-module is semisimple.

Equivalent conditions

Let be a ring. The following are equivalent:

1. as a left module is semisimple.
2. Every -module is semisimple
3. Every -module is projective
4. Every -module injective.

Proof

todo - Lecture 23

Example