In mathematics, specifically abstract algebra, an Artinian module is a module that satisfies the descending chain condition on its poset of submodules. They are for modules what Artinian rings are for rings, and a ring is Artinian if and only if it is an Artinian module over itself (with left or right multiplication). Both concepts are named for Emil Artin.
In the presence of the axiom of (dependent) choice, the descending chain condition becomes equivalent to the minimum condition, and so that may be used in the definition instead.
Like Noetherian modules, Artinian modules enjoy the following heredity property:
The converse also holds:
As a consequence, any finitely-generated module over an Artinian ring is Artinian.[1] Since an Artinian ring is also a Noetherian ring, and finitely-generated modules over a Noetherian ring are Noetherian,[1] it is true that for an Artinian ring R, any finitely-generated R-module is both Noetherian and Artinian, and is said to be of finite length. It also follows that any finitely generated Artinian module is Noetherian even without the assumption of R being Artinian. However, if R is not Artinian and M is not finitely-generated, there are counterexamples.