昇鎖条件とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 昇鎖条件の意味・解説 

昇鎖条件

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2015/05/12 13:42 UTC 版)

昇鎖条件(しょうさじょうけん、: ascending chain condition; ACC)および降鎖条件(こうさじょうけん、: descending chain condition; DCC)とは、ある代数的構造が満たす有限性に関する性質である。これらの性質を持つ代数的構造で最も代表的なものに、可換環イデアルがある[1][2][3]。昇鎖条件および降鎖条件は、ダフィット・ヒルベルトエミー・ネーターエミール・アルティン英語版らが可換環の構造に関する理論を構築する上で、重要な役割を果たした。

昇鎖条件および降鎖条件それ自体は、いかなる半順序集合に対しても意味を持つような、抽象的な形式で表すことができる。この考え方は Gabriel–Rentschler による抽象代数の次元に関する理論において有用である。


定義

半順序集合 P において、任意の真の上昇列 a1 < a2 < a3 < ... が有限回で止まるときに昇鎖条件が成り立つと言う。この条件は次のようにも言い換えられる。任意の列

に対して、ある自然数 n が存在して、

が成り立つ。

同様に、半順序集合 P において、任意の真の下降列 a1 > a2 > a3 > ... が有限回で止まるときに降鎖条件が成り立つと言う。この条件は次のようにも言い換えられる。任意の列

に対して、ある自然数 n が存在して、

が成り立つ。

注釈

  • 「無限に続く真の上昇/下降列がない」ことと少し異なるそれよりも強い条件として、「任意に長い真の昇鎖/降鎖列が存在しない」(つまり列の長さの最大値が存在する)というものがある。
  • 降鎖条件を満たすことと、整礎であること、つまり任意の空でない部分集合が極小元をもつことは同値である。これは極小条件 (minimal condition) とも呼ばれる。
  • 昇鎖条件を満たすことと、逆整礎であること、つまり任意の空でない部分集合が極大元をもつことは同値である。これは極大条件 (maximal condition) とも呼ばれる。
  • 有限半順序集合は昇鎖条件と降鎖条件を満たす。
  • 降鎖条件を満たす全順序集合は整列集合と呼ばれる。

脚注

  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.

関連項目

参考文献




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「昇鎖条件」の関連用語

昇鎖条件のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



昇鎖条件のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの昇鎖条件 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS