Statement
A semisimple ring is isomorphic to a product of matrix algebras of division rings.
Proof
todo - Lecture 25. Relies on the equivalence of endomorphism ring and opposite ring.
Corollaries
- Commutative semi-simple algebras are products of fields.