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

As direct summand of regular -mod

Let be a semi-simple ring. Then every simple -module appears as a direct summand of as a left -module (i.e. the left regular -module).

Proof

todo - Lecture 25

Examples

Example