An associative algebra whose (left/right) modules are completely reducible; in the finite-dimensional case equivalently an algebra with zero Jacobson radical, admitting a decomposition as a finite direct product of simple algebras.

Principle

Semisimplicity organizes an algebra by its simple constituents: modules split into direct sums of simple modules and the algebra decomposes according to Artin–Wedderburn when finite-dimensional and semisimple.

Demonstration

A finite-dimensional semisimple algebra over a field decomposes as a direct product of matrix algebras over division rings, for example M_n(F) × M_m(D) in concrete cases, yielding complete reducibility of finite modules.

Misapplication

Confusing semisimple with simple (semisimple algebras can be reducible sums of simples), or assuming semisimplicity from the absence of nilpotent elements without checking the radical; also misusing semisimple in infinite-dimensional contexts without qualification.

Consequence

Representation theory simplifies: every finite module is a direct sum of simple modules, homological dimensions drop, and structure theorems like Artin–Wedderburn apply to classify the algebra up to isomorphism.

Reversal

An algebra with a nonzero Jacobson radical or one whose modules do not split into direct sums of simples; such algebras have extensions between simple modules and nontrivial nilpotent behavior.

Boundary

Often stated for finite-dimensional associative algebras; infinite-dimensional algebras can be semisimple but require care. Excludes algebras with nonzero Jacobson radical or those lacking complete reducibility of modules.

Semantic Tension

Tension exists between 'semisimple' and nearby notions like 'semiprime', 'semiperfect', or 'simple'; each shares part of the idea of lacking certain pathologies but differs in module-theoretic and ideal-theoretic content.

Synthesis

A semisimple algebra is one built from simple blocks so that modules break into sums of simples and, in finite dimensions, the algebra decomposes as a direct product of matrix algebras over division rings.