The Artin–Wedderburn theorem classifies semisimple Artinian rings: any semisimple Artinian ring is isomorphic to a finite direct product of matrix algebras over division rings. In particular, a semisimple finite‑dimensional algebra over a field is a finite direct sum of full matrix algebras over division algebras.

Principle

Semisimplicity forces complete reducibility: a semisimple Artinian ring decomposes into simple two‑sided ideals, each of which is isomorphic to a matrix algebra over a division ring, giving a full structural description.

Demonstration

Example: Over an algebraically closed field k, any finite‑dimensional semisimple k‑algebra is isomorphic to a direct product of matrix algebras M_{n_i}(k); for instance, k × M_2(k) is semisimple with two simple summands of dimensions 1 and 2.

Misapplication

Applying the theorem to rings that are not Artinian or not semisimple (e.g. rings with nonzero Jacobson radical) or expecting an infinite direct product decomposition; the theorem requires Artinian hypotheses and produces a finite product of matrix algebras.

Consequence

Gives a complete classification of simple modules (they correspond to the columns of the matrix factors), identifies the center as a product of centers of division rings, and reduces many representation‑theoretic questions to linear algebra over division rings.

Reversal

If a ring is not semisimple (has nonzero Jacobson radical) then the Artin–Wedderburn decomposition fails; the radical part encodes extensions that prevent splitting into matrix factors.

Boundary

Applies to semisimple Artinian rings (or semisimple finite‑dimensional algebras); does not apply to infinite direct products, non‑Artinian rings, or to rings with radical, and requires working with division rings rather than necessarily fields in noncommutative cases.

Semantic Tension

Tension exists between Artin–Wedderburn decomposition and more general decompositions (e.g. Wedderburn–Malcev for rings with radical): Artin–Wedderburn gives the semisimple core, while other theorems attempt to describe how the radical attaches to that core.

Synthesis

Artin–Wedderburn asserts that the semisimple portion of an Artinian ring is a finite product of matrix algebras over division rings, yielding a concrete and complete description of the ring's simple constituents and their module theory.