Artin–Wedderburn theorem
= Artin–Wedderburn theorem
{c}
{wiki}
Every finite-dimensional semisimple algebra is a finite product of matrix algebras over division algebras. In particular, every <central simple algebra> over $k$ is isomorphic to $M_r(D)$ for a finite-dimensional central division algebra $D$ over $k$. The integer $r$ and the isomorphism class of $D$ are unique.