Chain Conditions and Artinian Rings

Core Idea

The ascending chain condition (ACC) on ideals defines Noetherian rings; the descending chain condition (DCC) on ideals defines Artinian rings. A commutative Artinian ring is always Noetherian, has Krull dimension zero (every prime ideal is maximal), and decomposes as a finite product of Artinian local rings. The Hopkins-Levitzki theorem establishes that DCC implies ACC for modules over Artinian rings, revealing that the descending chain condition is strictly stronger than the ascending one in the commutative setting.

Explainer

Chain conditions are finiteness constraints on the partially ordered set of ideals (or submodules) of a ring. The ascending chain condition (ACC) requires that every ascending chain I_1 ⊆ I_2 ⊆ I_3 ⊆ ... eventually stabilizes. The descending chain condition (DCC) requires the same for descending chains I_1 ⊇ I_2 ⊇ I_3 ⊇ .... Rings satisfying ACC are Noetherian; rings satisfying DCC are Artinian (named after Emil Artin). These are the two fundamental finiteness hypotheses in ring theory.

In the commutative setting, the Artinian condition is strictly stronger than the Noetherian condition. The Hopkins-Levitzki theorem establishes that every commutative Artinian ring is Noetherian. The converse fails spectacularly: Z is Noetherian but not Artinian, since (p) ⊃ (p^2) ⊃ (p^3) ⊃ ... never stabilizes for any prime p. The essential reason is that Artinian rings have Krull dimension zero -- every prime ideal is maximal. The proof is elegant: if P is a prime ideal of an Artinian ring R, then R/P is an Artinian integral domain. The DCC forces every nonzero element to be a unit (the chain (a) ⊇ (a^2) ⊇ ... stabilizes, yielding invertibility), so R/P is a field and P is maximal.

The structure theory of Artinian rings is remarkably clean. Every commutative Artinian ring decomposes as a finite product of Artinian local rings -- this is the Artinian analogue of the Chinese Remainder Theorem. Each factor has a unique maximal ideal whose powers eventually vanish (the ring is a "thickened point" in geometric language). The number of factors equals the number of maximal ideals, which is finite. This decomposition reduces many questions about Artinian rings to the local case.

Artinian rings and modules play a central role in several areas of commutative algebra. Composition series (finite chains with simple successive quotients) exist precisely for modules that are both Noetherian and Artinian, and the Jordan-Holder theorem guarantees that the length of such a series is an invariant. The notion of length of a module generalizes dimension of a vector space and is the starting point for multiplicity theory and intersection theory in algebraic geometry. Artinian rings also appear as completions of local rings modulo powers of the maximal ideal, connecting chain conditions to the theory of formal neighborhoods.