An associative algebra (over a field or ring) whose module category contains modules that are not semisimple; equivalently the algebra is not semisimple as a ring, for instance its Jacobson radical is nonzero and it does not decompose as a direct sum/product of simple algebras in the Artinian semisimple sense.

Principle

Semisimplicity means every module is a direct sum of simple modules and the algebra is, in the finite-dimensional Artinian setting, a product of matrix algebras over division rings. Nonsemisimplicity indicates existence of nontrivial extensions and a nonzero radical obstructing decomposition into simples.

Demonstration

The algebra of upper triangular n×n matrices over a field is nonsemisimple because the strictly upper triangular matrices form a nonzero nilpotent ideal (the radical), and there exist indecomposable modules that are not direct sums of simples. Another example is a group algebra kG when the characteristic of k divides the order of the finite group G: Maschke's theorem fails and the algebra is nonsemisimple.

Misapplication

Treating all representations as completely reducible (for example applying Maschke-type conclusions without checking hypotheses) or assuming the absence of extensions between simples; using semisimple classification techniques improperly leads to missing projective covers, radical filtrations, and block structure.

Consequence

Nonsemisimple algebras support nontrivial extension groups Ext^1, have radicals and filtrations (Loewy, radical series), block decomposition and richer homological behavior: indecomposable modules, projective covers, and representation types (finite, tame, wild) become central concerns.

Reversal

A semisimple algebra, where every module is completely reducible into a direct sum of simple modules and the radical is zero, giving a rigid and fully decomposable representation theory.

Boundary

The term concerns the representation-theoretic decomposition of modules over the algebra and often presumes associative algebra structure; finite-dimensionality and Artinian hypotheses make the semisimple vs nonsemisimple dichotomy sharper, but infinite-dimensional algebras may exhibit additional subtleties.

Semantic Tension

‘Nonsemisimple’ can be confused with ‘not simple’ (simple algebras have no nontrivial two-sided ideals). The tension is that semisimplicity is a categorical decomposition property, while simplicity is an ideal-theoretic indecomposability; an algebra can be nonsemisimple while simple notions interact differently.

Synthesis

A Nonsemisimple Algebra is an algebra whose module category admits nontrivial extensions and indecomposables beyond simples: the presence of a nonzero radical and richer homological invariants requires techniques beyond semisimple classification, focusing on radicals, projectives, extensions and block theory.