Ascending chain condition

(Redirected from Ascending Chain Condition)

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.

Definition

edit

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 descending chain of elements of P.[4] Equivalently, every weakly descending sequence

 

of elements of P eventually stabilizes.

Comments

edit
  • Assuming the axiom of dependent choice, the descending chain condition on (possibly infinite) poset P is equivalent to P being well-founded: every nonempty subset of P has a minimal element (also called the minimal condition or minimum condition). A totally ordered set that is well-founded is a well-ordered set.
  • Similarly, the ascending chain condition is equivalent to P being converse well-founded (again, assuming dependent choice): every nonempty subset of P has a maximal element (the maximal condition or maximum condition).
  • Every finite poset satisfies both the ascending and descending chain conditions, and thus is both well-founded and converse well-founded.

Example

edit

Consider the ring

 

of integers. Each ideal of   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  . The ideal   is contained inside the ideal  , since every multiple of   is also a multiple of  . In turn, the ideal   is contained in the ideal  , since every multiple of   is a multiple of  . However, at this point there is no larger ideal; we have "topped out" at  .

In general, if   are ideals of   such that   is contained in  ,   is contained in  , and so on, then there is some   for which all  . That is, after some point all the ideals are equal to each other. Therefore, the ideals of   satisfy the ascending chain condition, where ideals are ordered by set inclusion. Hence   is a Noetherian ring.

See also

edit

Notes

edit
  1. ^ Proof: first, a strictly increasing sequence cannot stabilize, obviously. Conversely, suppose there is an ascending sequence that does not stabilize; then clearly it contains a strictly increasing (necessarily infinite) subsequence.

Citations

edit
  1. ^ Hazewinkel, Gubareni & Kirichenko 2004, p. 6, Prop. 1.1.4
  2. ^ Fraleigh & Katz 1967, p. 366, Lemma 7.1
  3. ^ Jacobson 2009, pp. 142, 147
  4. ^ a b Hazewinkel, p. 580

References

edit
  • Atiyah, M. F.; MacDonald, I. G. (1969), Introduction to Commutative Algebra, Perseus Books, ISBN 0-201-00361-9
  • Hazewinkel, Michiel; Gubareni, Nadiya; Kirichenko, V. V. (2004), Algebras, rings and modules, Kluwer Academic Publishers, ISBN 1-4020-2690-0
  • Hazewinkel, Michiel. Encyclopaedia of Mathematics. Kluwer. ISBN 1-55608-010-7.
  • Fraleigh, John B.; Katz, Victor J. (1967), A first course in abstract algebra (5th ed.), Addison-Wesley Publishing Company, ISBN 0-201-53467-3
  • Jacobson, Nathan (2009), Basic Algebra I, Dover, ISBN 978-0-486-47189-1
edit