In mathematics, the ascending chain condition (ACC) and descending chain condition (DCC) are finiteness properties satisfied by some algebraic structures, most importantly ideals in certain commutative rings.
[1][2][3] These conditions played an important role in the development of the structure theory of commutative rings in the works of David Hilbert, Emmy Noether, and Emil Artin.
The conditions themselves can be stated in an abstract form, so that they make sense for any partially ordered set.
This point of view is useful in abstract algebraic dimension theory due to Gabriel and Rentschler.
A partially ordered set (poset) P is said to satisfy the ascending chain condition (ACC) if no infinite strictly ascending sequence of elements of P exists.
[4] Equivalently,[a] every weakly ascending sequence of elements of P eventually stabilizes, meaning that there exists a positive integer n such that Similarly, P is said to satisfy the descending chain condition (DCC) if there is no infinite strictly descending chain of elements of P.[4] Equivalently, every weakly descending sequence of elements of P eventually stabilizes.
Consider the ring of integers.
consists of all multiples of some number
For example, the ideal consists of all multiples of
Let be the ideal consisting of all multiples of
is contained inside the ideal
In turn, the ideal
is contained in the ideal
However, at this point there is no larger ideal; we have "topped out" at
That is, after some point all the ideals are equal to each other.
satisfy the ascending chain condition, where ideals are ordered by set inclusion.
is a Noetherian ring.