Ascending chain condition

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.

Contents

Definition

A partially ordered set (poset) P is said to satisfy the ascending chain condition (ACC) if every ascending chain of elements eventually terminates. Equivalently, given any sequence of elements of P

a_1 \,\leq\, a_2 \,\leq\, a_3 \,\leq\, \cdots,

there exists a positive integer n such that

a_n = a_{n+1} = a_{n+2} = \cdots.

Similarly, P is said to satisfy the descending chain condition (DCC) if every descending chain of elements eventually terminates, or equivalently if any descending sequence

\cdots \,\leq\, a_3 \,\leq\, a_2 \,\leq\, a_1

of elements of P eventually stabilizes (that is, there is no infinite descending chain).

Comments

  • A subtly different and stronger condition than "containing no infinite ascending/descending chains" is "contains no arbitrarily long ascending/descending chains (optionally, 'based at a given element')". For instance, the disjoint union of the posets {0}, {0,1}, {0,1,2}, etc., satisfies both the ACC and the DCC, but has arbitrarily long chains. If one further identifies the 0 in all of these sets, then every chain is finite, but there are arbitrarily long chains based at 0.
  • The descending chain condition on P is equivalent to P being well-founded: every nonempty subset of P has a minimal element (also called the minimal condition).
  • Similarly, the ascending chain condition is equivalent to P being converse well-founded: every nonempty subset of P has a maximal element (the maximal condition).
  • Every finite poset satisfies both ACC and DCC.

See also

Notes

  1. ^ Hazewinkel, Gubareni & Kirichenko (2004), p.6, Prop. 1.1.4.
  2. ^ Fraleigh & Katz (1967), p. 366, Lemma 7.1
  3. ^ Jacobson (2009), p. 142 and 147

References


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Ascending chain condition on principal ideals — In abstract algebra, the ascending chain condition can be applied to the posets of principal left, principal right, or principal two sided ideals of a ring, partially ordered by inclusion. The ascending ascending chain condition on principal… …   Wikipedia

  • Emmy Noether — Amalie Emmy Noether Born 23 March 1882(1882 03 23) …   Wikipedia

  • Noetherian ring — In mathematics, more specifically in the area of modern algebra known as ring theory, a Noetherian ring, named after Emmy Noether, is a ring in which every non empty set of ideals has a maximal element. Equivalently, a ring is Noetherian if it… …   Wikipedia

  • Noetherian — In mathematics, the adjective Noetherian is used to describe objects that satisfy an ascending or descending chain condition on certain kinds of subobjects; in particular, Noetherian group, a group that satisfies the ascending chain condition on… …   Wikipedia

  • Subgroup series — In mathematics, a subgroup series is a chain of subgroups: Subgroup series can simplify the study of a group to the study of simpler subgroups and their relations, and several subgroup series can be invariantly defined and are important… …   Wikipedia

  • Liste des publications d'Emmy Noether — Emmy Noether (1882 1935) est une mathématicienne allemande spécialiste de l algèbre. Cet article est une liste des publications qui ont fait sa renommée. Sommaire 1 Première époque (1908–1919) 2 Deuxième époque (1920–1926) 3 Troisiè …   Wikipédia en Français

  • Noetherian topological space — In mathematics, a Noetherian topological space is a topological space in which closed subsets satisfy the descending chain condition. Equivalently, we could say that the open subsets satisfy the ascending chain condition, since they are the… …   Wikipedia

  • Noetherian module — In abstract algebra, an Noetherian module is a module that satisfies the ascending chain condition on its submodules, where the submodules are partially ordered by inclusion. Historically, Hilbert was the first mathematician to work with the… …   Wikipedia

  • Glossary of ring theory — Ring theory is the branch of mathematics in which rings are studied: that is, structures supporting both an addition and a multiplication operation. This is a glossary of some terms of the subject. Contents 1 Definition of a ring 2 Types of… …   Wikipedia

  • Emmy Noether — Portrait de Emmy Noether avant 1910. Naissance 23 mars 1882 Erlangen (Bavière, Allemagne) Décès 14 avril  …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”