# Artin–Wedderburn theorem

In algebra, the Artin–Wedderburn theorem is a classification theorem for semisimple rings and semisimple algebras. The theorem states that an (Artinian)  semisimple ring R is isomorphic to a product of finitely many ni-by-ni matrix rings over division rings Di, for some integers ni, both of which are uniquely determined up to permutation of the index i. In particular, any simple left or right Artinian ring is isomorphic to an n-by-n matrix ring over a division ring D, where both n and D are uniquely determined. Also, the Artin–Wedderburn theorem says that a semisimple algebra that is finite-dimensional over a field $\displaystyle{ k }$ is isomorphic to a finite product $\displaystyle{ \prod M_{n_i}(D_i) }$ where the $\displaystyle{ n_i }$ are natural numbers, the $\displaystyle{ D_i }$ are finite dimensional division algebras over $\displaystyle{ k }$ (possibly finite extension fields of k), and $\displaystyle{ M_{n_i}(D_i) }$ is the algebra of $\displaystyle{ n_i \times n_i }$ matrices over $\displaystyle{ D_i }$. Again, this product is unique up to permutation of the factors.

As a direct corollary, the Artin–Wedderburn theorem implies that every simple ring that is finite-dimensional over a division ring (a simple algebra) is a matrix ring. This is Joseph Wedderburn's original result. Emil Artin later generalized it to the case of Artinian rings.

Note that if R is a finite-dimensional simple algebra over a division ring E, D need not be contained in E. For example, matrix rings over the complex numbers are finite-dimensional simple algebras over the real numbers.

## Consequence

The Artin–Wedderburn theorem reduces classifying simple rings over a division ring to classifying division rings that contain a given division ring. This in turn can be simplified: The center of D must be a field K. Therefore, R is a K-algebra, and itself has K as its center. A finite-dimensional simple algebra R is thus a central simple algebra over K. Thus the Artin–Wedderburn theorem reduces the problem of classifying finite-dimensional central simple algebras to the problem of classifying division rings with given center.