Ascending chain condition

In mathematics, the ascending chain condition (ACC) is a property of partially ordered sets and algebraic structures which asserts that there are no infinite strictly ascending chains of elements, playing a foundational role in abstract algebra, order theory, and topology, particularly in the study of Noetherian rings and modules.

Definition and Equivalent Formulations

Let $(P, \le)$ be a partially ordered set. The set $P$ is said to satisfy the ascending chain condition if every ascending chain $a_1 \le a_2 \le a_3 \le \dots$ of elements in $P$ eventually stabilizes. Formally, this means there exists a positive integer $n$ such that $a_m = a_n$ for all $m \ge n$. In other words, the poset does not contain any infinite strictly ascending sequence $a_1 < a_2 < a_3 < \dots$.

An equivalent and frequently used formulation is the maximum condition: a poset satisfies the ACC if and only if every non-empty subset of $P$ contains at least one maximal element. The proof of this equivalence relies on the axiom of dependent choice; if a subset lacked a maximal element, one could construct an infinite strictly ascending chain by continually choosing a strictly greater element.

Applications in Ring Theory and Module Theory

The ascending chain condition is most prominently applied in abstract algebra to define Noetherian structures. A ring $R$ is defined as a left (or right) Noetherian ring if the poset of its left (or right) ideals, ordered by set inclusion, satisfies the ACC. A ring that is both left and right Noetherian is simply called a Noetherian ring. This condition ensures that every ideal in the ring is finitely generated.

Similarly, a left $R$-module $M$ is a Noetherian module if the set of its submodules, ordered by inclusion, satisfies the ACC. The ACC on submodules guarantees that every submodule of $M$ is finitely generated, provided the ring itself is Noetherian.

Hilbert's Basis Theorem is a cornerstone result relying heavily on this condition. It establishes that if a commutative ring $R$ is Noetherian, then the polynomial ring $R[x]$ is also Noetherian. This theorem is fundamental in algebraic geometry, as it implies that every algebraic set can be described by a finite number of polynomial equations.

Relationship with the Descending Chain Condition

The dual concept to the ACC is the descending chain condition (DCC), which asserts that there are no infinite strictly descending chains in a poset. In algebra, rings and modules whose substructures satisfy the DCC are termed Artinian.

While the ACC and DCC are perfectly dual concepts in pure order theory, their implications in ring theory differ significantly. The Hopkins–Levitzki theorem states that every left Artinian ring with an identity element is also left Noetherian. However, the converse is generally false. For instance, the ring of integers $\mathbb{Z}$ is Noetherian (it satisfies the ACC on ideals) but not Artinian (it fails the DCC, as demonstrated by the infinite strictly descending chain of ideals $(2) \supset (4) \supset (8) \supset \dots$).

Examples and Counterexamples

Posets that satisfy the ACC include any finite partially ordered set, the set of natural numbers $\mathbb{N}$ under the standard less-than-or-equal-to relation, and the set of all subgroups of a finitely generated abelian group. In ring theory, the ring of integers $\mathbb{Z}$ and polynomial rings in finitely many variables over a field are classic examples of Noetherian rings.

Conversely, the set of rational numbers in the interval $[0, 1]$ fails the ACC. In ring theory, the polynomial ring in infinitely many variables $k[x_1, x_2, x_3, \dots]$ over a field $k$ fails the ACC on ideals, as demonstrated by the strictly ascending chain of ideals $(x_1) \subset (x_1, x_2) \subset (x_1, x_2, x_3) \subset \dots$. The ring of all continuous real-valued functions on the real line is another standard example of a non-Noetherian ring.

Generalizations and Related Concepts

The ACC can be restricted to specific classes of substructures to yield weaker but still useful properties. For example, an integral domain satisfies the ACC on principal ideals (ACCP) if every ascending chain of principal ideals stabilizes. This property is strictly weaker than being Noetherian and is closely related to the existence of factorizations into irreducible elements, serving as a necessary condition for a domain to be a unique factorization domain (UFD).

In topology, a topological space is called a Noetherian topological space if the poset of its open subsets, ordered by inclusion, satisfies the ACC. Equivalently, this means the closed subsets satisfy the DCC. In a Noetherian space, every open subset is compact. This concept is heavily utilized in algebraic geometry, where the underlying topological spaces of algebraic varieties, equipped with the Zariski topology, are inherently Noetherian.