 Artin–Wedderburn theorem

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.