Ring theory MOC

Semisimple ring

A ring is semisimple iff it meets any of the following equivalent conditions:1 #m/def/ring

  1. is semisimple as a left module;
  2. is semisimple as a right module;
  3. Every -module is semisimple;
  4. Every short exact sequence of -modules splits.
  5. Every -module is projective.
Proof of equivalence

#missing/proof Right iff left follows from Wedderburn–Artin theorem.

#state/develop | #lang/en | #SemBr

Footnotes

  1. 2015. Advanced modern algebra, p. 497 ↩