1 Definition and basic properties
An Artinian module is a module that satisfies the descending chain condition on submodules. In practical terms, this means that any sequence of submodules \(M_1 \supseteq M_2 \supseteq M_3 \supseteq \cdots\) must eventually stop shrinking: there is some index after which all terms are equal. This condition captures a strong finiteness property and is one of the standard ways to control the internal structure of a module.
Artinian modules arise naturally in module theory, ring theory, and algebraic representation theory. They often behave in a “finite” manner even when they are not finite as sets or vector spaces. The notion is named after Emil Artin and is paired with the dual notion of Noetherian modules, which satisfy the ascending chain condition.
1.1 Descending chain condition
The descending chain condition says that every descending chain of submodules stabilizes. Equivalently, there does not exist an infinite strictly decreasing sequence of submodules. This prevents endlessly refined submodule structures and is a strong restriction on how a module can be built.
For example, if a module has only finitely many submodules, then it is automatically Artinian. More generally, many modules with a finite composition series are Artinian, because repeated passage to smaller submodules cannot continue indefinitely.
1.2 Equivalent formulations
Several formulations express the Artinian property in slightly different language. These variants are often useful in proofs, since one version may be easier to apply than another.
1.2.1 Stabilization of submodule chains
A module is Artinian if every descending chain of submodules stabilizes. This is the most direct formulation and is the one most commonly used in definitions. Stabilization means that after some point no further proper containment occurs.
1.2.2 Minimal conditions on submodules
The descending chain condition is equivalent to the statement that every nonempty collection of submodules has a minimal element under inclusion. In other words, among any family of submodules there is one that does not properly contain another member of the family. This viewpoint emphasizes the role of minimal submodules and is often convenient when working with intersections and quotient structures.
1.3 Examples and non-examples
Simple modules are Artinian, since their only submodules are zero and the whole module. Finite-dimensional vector spaces over a field are also Artinian, because every chain of subspaces must stabilize once dimensions can no longer decrease.
By contrast, the module of integers \(\mathbb{Z}\) over itself is not Artinian. The chain \( \mathbb{Z} \supset 2\mathbb{Z} \supset 4\mathbb{Z} \supset 8\mathbb{Z} \supset \cdots \) never stabilizes. Similarly, many infinite direct sums of nonzero modules fail to be Artinian because they admit infinite descending chains of submodules.
2 Relationship to Noetherian modules
Artinian and Noetherian modules represent dual finiteness conditions. Noetherian modules prevent infinite strict ascent of submodules, while Artinian modules prevent infinite strict descent. Neither condition implies the other in general, although in many standard settings they interact strongly.
2.1 Comparison of finiteness conditions
A Noetherian module can be thought of as one in which submodules are generated in a controlled way, while an Artinian module has no endlessly descending substructure. Some modules satisfy one condition but not the other, showing that the two notions are genuinely distinct.
For example, the module \(\mathbb{Z}\) is Noetherian as a module over itself, because every ideal is finitely generated, but it is not Artinian. On the other hand, certain divisible torsion modules can be Artinian without being Noetherian. These differences make both concepts important in structural analysis.
2.2 Modules that are both Artinian and Noetherian
Modules satisfying both chain conditions are especially well behaved. They are often described as modules of finite length, and many classical decomposition results apply to them.
2.2.1 Finite length modules
A module of finite length has a finite composition series, and such modules are both Artinian and Noetherian. The finite length condition is stronger than either chain condition alone, since it controls the module through a finite filtration by simple subquotients.
2.2.2 Jordan–Hölder-type results
For modules of finite length, composition factors are determined up to permutation. This is a module-theoretic version of the Jordan–Hölder theorem. It provides a canonical measure of size and complexity, namely the length of the composition series.
3 Structural consequences
The Artinian condition has strong structural consequences. It forces submodule lattices to contain minimal elements and limits the complexity of filtrations and decompositions.
3.1 Existence of minimal submodules
In an Artinian module, every nonzero submodule contains a minimal nonzero submodule. Such submodules are often simple, and their existence is a key step in many inductive arguments. This property makes Artinian modules amenable to analysis by repeatedly passing to quotients.
3.2 Composition series
Many Artinian modules admit composition series, especially when combined with the Noetherian condition. A composition series is a finite chain of submodules whose successive quotients are simple.
3.2.1 Composition factors
The simple quotients appearing in a composition series are called composition factors. They record the building blocks of the module in a refined way. Although the series itself may not be unique, the multiset of composition factors is unique up to isomorphism and ordering.
3.2.2 Length of a module
The length of a module is the number of simple factors in a composition series, when such a series exists. Finite length modules therefore have a well-defined numerical invariant that measures their complexity. Artinian modules of finite length are especially tractable because length gives a precise termination bound for filtrations.
3.3 Artinian modules over rings
When a module is viewed over a ring, its Artinian behavior may reflect properties of the ring itself. Modules over Artinian rings are often easier to classify, since the ring’s own chain conditions restrict the module category. This interaction is central in the study of finite-dimensional algebras and module categories with bounded complexity.
4 Special classes of Artinian modules
Certain familiar classes of modules are automatically Artinian. These examples illustrate how the general definition appears in concrete algebraic settings.
4.1 Simple modules
Every simple module is Artinian. Since a simple module has no proper nonzero submodules, any descending chain becomes constant immediately. Simple modules form the atomic pieces from which more complicated finite-length modules are assembled.
4.2 Semisimple modules
Semisimple modules, being direct sums of simple modules, can be Artinian when only finitely many simple summands occur. In that case, the module decomposes into a finite direct sum of simple components, and there is no room for an infinite descending chain. Infinite semisimple direct sums need not be Artinian.
4.3 Modules of finite length
Modules of finite length are both Artinian and Noetherian. They occupy a central place in the theory because their structure is controlled by a finite composition series. Many standard classifications in algebra are first carried out for this class before being extended to broader settings.
5 Behavior under constructions
Artinian modules behave predictably under several common module constructions. These closure properties make them stable objects in algebra.
5.1 Submodules and quotient modules
Every submodule of an Artinian module is Artinian. Likewise, every quotient module of an Artinian module is Artinian. These facts follow directly from the behavior of descending chains under inclusion and projection. As a result, the Artinian property is preserved under forming subobjects and factor objects.
5.2 Finite direct sums
A finite direct sum of Artinian modules is Artinian. If each summand satisfies the descending chain condition, then the combined module does as well. In contrast, infinite direct sums need not be Artinian, since they may contain descending chains built by removing summands one at a time.
5.3 Extensions
If a module has a submodule and quotient that are both Artinian, then the whole module is Artinian. This extension property is useful in inductive arguments and in the study of filtrations. It allows one to build Artinian modules from smaller Artinian pieces.
5.4 Localization and completion
Under localization, Artinian behavior may change depending on the multiplicative set and the module involved. In commutative algebra, localization often simplifies structure, but it can also collapse information needed to detect chain conditions. Completion can similarly alter whether a module remains Artinian, so these constructions must be handled with care.
6 Artinian rings and modules
The theory of Artinian modules is closely tied to Artinian rings. A ring that is Artinian as a module over itself has strong structural restrictions, and modules over such rings often inherit useful finiteness properties.
6.1 Modules over Artinian rings
Over an Artinian ring, many modules of interest have finite length or at least strong decomposition properties. The ring’s descending chain condition on ideals limits how complicated its module category can become. This setting is a common source of examples and of classification theorems.
6.2 The Hopkins–Levitzki theorem
The Hopkins–Levitzki theorem states that a ring that is left Artinian is also left Noetherian. This result is a cornerstone of the subject, since it shows that a strong descending chain condition forces the ascending one in the ring setting. It has important consequences for modules over such rings and for the structure theory of finite-dimensional algebras.
6.3 Relation to principal ideal rings
Principal ideal rings provide useful examples where ideal structure is especially transparent. In many such rings, modules can be studied via invariant factors and elementary divisor theory. Artinian modules over these rings often admit explicit decompositions, especially in situations where torsion and finite length conditions coincide.
7 Applications and examples
Artinian modules appear in a wide range of algebraic contexts. Their finiteness behavior makes them a useful test case for general theorems and a natural endpoint for many iterative constructions.
7.1 Modules over fields and principal ideal domains
Vector spaces over a field are Artinian exactly when they are finite-dimensional. Over a principal ideal domain, Artinian modules often arise among torsion modules with bounded structure, and finite-length examples can be described using standard decomposition theorems. These cases are among the most concrete illustrations of the definition.
7.2 Modules in commutative algebra
In commutative algebra, Artinian modules are often connected with support conditions, local behavior, and finite-length phenomena. They appear in the study of local cohomology, residue fields, and modules supported at maximal ideals. Their descending chain condition makes them suitable for analyzing nilpotent and finite-support structures.
7.3 Representation-theoretic examples
In representation theory, finite-dimensional representations of finite-dimensional algebras frequently yield Artinian modules. Such modules often decompose into chains and filtrations that reflect the algebra’s internal composition. Artinian modules are therefore a natural language for describing representations with controlled submodule structure.