MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 1 [made Community Wiki]

Noncommutative ring theory: The Artin-Wedderburn Theorem.

A ring R is semisimple if and only if it is isomorphic to a finite direct product of matrix rings over division rings.