Artinian semisimple ring
A semisimple ring that satisfies the descending chain condition on ideals; equivalently a finite product of matrix algebras over division rings.
An Artinian semisimple ring is a ring that is semisimple and Artinian (i.e. it satisfies the descending chain condition on ideals, equivalently on left ideals).
Remarks
By the Artin–Wedderburn theorem, such rings are precisely finite direct products of matrix rings over division rings, and these rings are the basic building blocks for finite-length module categories.
Examples
- is Artinian semisimple for any field .
- A finite product of fields, e.g. , is Artinian semisimple.
- An infinite product (with a field) is not Artinian, hence not Artinian semisimple.