昇鎖条件

昇鎖条件（しょうさじょうけん、）および降鎖条件（こうさじょうけん、）とは、ある代数的構造が満たす有限性に関する性質である。これらの性質を持つ代数的構造で最も代表的なものに、可換環のイデアルがある。昇鎖条件および降鎖条件は、ダフィット・ヒルベルト、エミー・ネーター、エミール・アルティンらが可換環の構造に関する理論を構築する上で、重要な役割を果たした。
昇鎖条件および降鎖条件それ自体は、いかなる半順序集合に対しても意味を持つような、抽象的な形式で表すことができる。この考え方は Gabriel–Rentschler による抽象代数の次元に関する理論において有用である。
定義.
半順序集合 において、任意の真の上昇列 が有限回で止まるときに昇鎖条件が成り立つと言う。この条件は次のようにも言い換えられる。任意の列
に対して、ある自然数 が存在して、
が成り立つ。
同様に、半順序集合 において、任意の真の下降列 が有限回で止まるときに降鎖条件が成り立つと言う。この条件は次のようにも言い換えられる。任意の列
に対して、ある自然数 が存在して、
が成り立つ。