Definition:Descending Chain Condition

Definition

Descending Chain Condition on Submodules

Let $A$ be a commutative ring with unity.

Let $M$ be an $A$-module.

Let $\struct {D, \supseteq}$ be a set of submodules of $M$ ordered by the subset relation.

Then the hypothesis:

Every decreasing sequence $N_1 \supseteq N_2 \supseteq N_3 \supseteq \cdots$ with $N_i \in D$ eventually terminates: there is $k \in \N$ such that $N_k = N_{k + 1} = \cdots$

is called the descending chain condition on the submodules in $D$.

This article is complete as far as it goes, but it could do with expansion. In particular: separate the definitions for general posets, modules, ideals, principal ideals, ... You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Expand}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.

Also see

• Definition:Ascending Chain Condition

• Definition:Well-Founded Relation