An associative algebra that satisfies the descending chain condition on two-sided ideals (equivalently has finite length as a module over itself), often called Artinian when this property holds on both left and right ideals in the associative context.

Principle

Descending chain condition forces finiteness properties: no infinite strictly decreasing sequence of two-sided ideals exists, which yields composition series and control over radicals and semisimple quotients.

Demonstration

Any finite-dimensional associative algebra over a field is Artinian; for example a finite algebra given by a quotient of a path algebra by admissible relations is Artinian and therefore has finite length modules and a well-behaved radical.

Misapplication

Assuming Artinian implies Noetherian in all contexts or that Artinian automatically gives commutativity; also misusing the term when only one-sided chain conditions hold without specifying side.

Consequence

Artinian algebras admit finite composition series, their Jacobson radical is nilpotent, and structure theorems (such as Wedderburn–Artin) apply to describe semisimple quotients and decompositions.

Reversal

An algebra permitting infinite strictly descending chains of two-sided ideals or lacking finite length as a module over itself; such algebras often have pathological infinite-length behavior and resist decomposition theorems.

Boundary

Focuses on two-sided ideals in associative algebras; separate notions (left- or right-Artinian) exist and must be specified; excludes infinite-dimensional algebras that do not satisfy the descending chain condition.

Semantic Tension

Tension with Noetherian property: Artinian (DCC) and Noetherian (ACC) are distinct finiteness conditions that coincide in some settings (e.g., commutative rings of finite Krull dimension) but differ in general noncommutative algebra.

Synthesis

An Artinian algebra is one with no infinite descending chains of two-sided ideals, guaranteeing finite length, nilpotent radical behavior, and applicability of decomposition theorems.