意味
半順序集合(poset)Pは、無限に厳密に上昇する数列が存在しない場合に、上昇連鎖条件(ACC)を満たすと言われる。

Pの要素が存在する。 同様に、[ a ]弱上昇列はすべて

Pの要素の は最終的に安定し、つまり、ある正の整数 n が存在して、

同様に、Pの要素の無限の厳密に下降する連鎖が存在しない場合、Pは下降連鎖条件(DCC)を満たすと言われます。同様に、すべての弱下降列は

Pの要素は最終的に安定化する。
- 従属選択公理を仮定すると、(無限集合である可能性のある)半順序集合Pにおける下降連鎖条件は、P が整礎であることと同値である。すなわち、 Pの空でない部分集合はすべて最小要素を持つ(最小条件とも呼ばれる)。整礎である全順序集合は整列集合である。
- 同様に、昇順条件は、P が逆整礎であることと同等です (ここでも、依存選択を仮定します)。P の空でない部分集合はすべて最大要素を持ちます (最大条件または最大条件)。
- すべての有限半順序集合は、昇順条件と降順条件の両方を満たすため、整礎かつ逆整礎である。
例
指輪について考えてみましょう

整数の各イデアル
ある数のすべての倍数から成る
例えば、理想的な

すべての倍数で構成される
。 させて

すべての倍数からなるイデアルである
理想的な
理想的なものの中に含まれています
の倍数はすべて
また、
ひいては、理想
理想の中に含まれている
の倍数はすべて
の倍数です
しかし、現時点ではこれ以上の理想はありません。私たちは「限界に達した」のです。
。
一般的に、もし
理想は
そのため
に含まれる
、
に含まれる
などなど、
すべて
つまり、ある時点以降、すべての理想は互いに等しくなります。したがって、
集合包含関係によってイデアルが順序付けられている昇順連鎖条件を満たす。したがって
はネーター環である。
注記
- ↑証明:まず、単調増加数列は安定しないのは明らかです。逆に、安定しない単調増加数列があると仮定すると、明らかに単調増加(必然的に無限)部分列が含まれます。
外部リンク
- 「上昇連鎖条件と最大条件の等価性は、依存選択の公理と等価か?」