##  [Semisimple Algebra](/semisimple-algebra-0) 

 Definition

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

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

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

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

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

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

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

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

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.