A ring is semisimple if every module over it is completely reducible (a direct sum of simple modules). The Artin-Wedderburn theorem classifies all semisimple rings: they are precisely the finite direct products of matrix algebras over division rings, R ≅ M_{n₁}(D₁) × ··· × M_{nₖ}(Dₖ). Applied to the group algebra ℂ[G], this gives ℂ[G] ≅ M_{d₁}(ℂ) × ··· × M_{dₖ}(ℂ), where d₁, …, dₖ are the dimensions of the irreducible representations. This single theorem unifies Maschke's theorem, the dimension formula |G| = Σ dᵢ², and the structure of character theory.
A ring R is semisimple if every left R-module is a direct sum of simple (irreducible) modules. Equivalently, every short exact sequence of R-modules splits — every submodule is a direct summand. For the group algebra k[G], semisimplicity is precisely the statement of Maschke's theorem: it holds when char(k) does not divide |G|. The power of the semisimplicity concept is that it admits a complete structural classification.
The Artin-Wedderburn theorem states that a ring R is semisimple if and only if it is isomorphic to a finite product of matrix algebras over division rings: R ≅ M_{n₁}(D₁) × M_{n₂}(D₂) × ··· × M_{nₖ}(Dₖ). The factors are uniquely determined up to permutation. Each factor M_{nᵢ}(Dᵢ) is a simple ring (no proper two-sided ideals), and it has a unique simple module: the column space Dᵢⁿⁱ. The simple modules of R are precisely these column spaces, one from each factor, and they are pairwise non-isomorphic.
Applied to the complex group algebra, this gives the master decomposition: ℂ[G] ≅ M_{d₁}(ℂ) × ··· × M_{dₖ}(ℂ). Here k equals the number of conjugacy classes of G, and d₁, …, dₖ are the dimensions of the irreducible representations. Comparing dimensions as ℂ-vector spaces: |G| = d₁² + ··· + dₖ². The projection onto the ith factor gives the irreducible representation of dimension dᵢ, and the corresponding matrix algebra M_{dᵢ}(ℂ) encodes the full multiplicity space of that irreducible in any representation. The primitive central idempotents that project onto each factor are expressible in terms of characters.
The theorem also explains why character theory works so well over ℂ. The center Z(ℂ[G]) maps isomorphically to ℂ × ··· × ℂ (k copies), with each character χᵢ being a ring homomorphism Z(ℂ[G]) → ℂ. Over non-algebraically-closed fields, the division rings Dᵢ may be larger than the base field, leading to the theory of Schur indices and the Brauer group. When char(k) divides |G|, semisimplicity fails entirely — the Jacobson radical of k[G] is nonzero, and the Artin-Wedderburn decomposition does not apply. This is the starting point of modular representation theory.