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.