|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 主 ： [ぬし, おも] 【名詞】 1. owner 2. master 3. lover 4. god ・ 主イデアル ： [しゅいである, おもいである] (n) principal idea ・ に対する ： [にたいする] 1. (exp) regarding 2. in 3. to 4. towards 5. with regards to ・ 対 ： [つい] 【名詞】 1. pair 2. couple 3. set ・ 対する ： [たいする] 1. (vs-s) to face 2. to confront 3. to oppose ・ 鎖 ： [くさり] 【名詞】 1. chain ・ 条件 ： [じょうけん] 【名詞】 1. conditions 2. terms ・ 件 ： [くだん, けん] 【名詞】 1. matter 2. case 3. item
抽象代数学において、昇鎖条件は包含関係による半順序が入った環の主左、主右、あるいは主両側イデアルの半順序集合に適用することができる。主イデアルに関する昇鎖条件 (ascending chain condition on principal ideals) （ACCP と省略される）が満たされるとは、環において与えられたタイプ（左／右／両側）の主イデアルの真の無限昇鎖が存在しないということである。あるいは別の言い方をすれば、すべての昇鎖はやがて一定になる。 片割れである降鎖条件もまたこれらの半順序集合に適用することができるが、しかし用語 "DCCP" の必要は現在は全くない、なぜならばそのような環は既に左あるいは右完全環という名前がついているからである。（下の非可換環の節を参照。） ネーター環（例えば主イデアル整域）は典型的な例であるが、いくつかの重要な非ネーター環、特に一意分解整域と左または右完全環もまた (ACCP) を満たす。 == 可換環 == ネーター整域において 0 でない非単元は既約元に分解するということはよく知られている。このことの証明は (ACC) ではなく (ACCP) のみに頼っているので、(ACCP) の成り立つ任意の整域において、既約元分解が存在する。（言い換えると、(ACCP) の成り立つ任意の整域はである。しかし逆は、 において証明されているように、間違いである。）そのような分解は一意でないかもしれない。分解の一意性を証明する通常の方法はユークリッドの補題を使うが、これは因子が単に既約であるだけでなく素元であることを要求する。実際、次の特徴づけがある： ''A'' を整域とする。このとき以下は同値である。 # ''A'' は UFD である。 # ''A'' は (ACCP) を満たし、''A'' のすべての既約元は素元である。 # ''A'' は (ACCP) を満たすGCD整域である。 いわゆる永田判定法 (Nagata criterion) が (ACCP) を満たす整域 ''A'' に対して成り立つ： ''S'' を素元で生成される ''A'' の乗法的閉部分集合とする。局所化 ''S''−1''A'' が UFD であれば、''A'' も UFD である。 （これの逆は自明であることを注意しよう。） 整域 ''A'' が (ACCP) を満たすことと多項式環 ''A'' が (ACCP) を満たすことは同値である〔.〕。''A'' が整域でないとき類似の主張は誤りである。 すべての有限生成イデアルが主であるような整域（すなわちベズー整域）が (ACCP) を満たすこととそれが主イデアル整域であることは同値である〔証明： ベズー整域において ACCP は有限生成イデアルに関する ACC に同値であるが、これは''すべての''イデアルに関する ACC に同値であることが知られている。したがってその整域はネーターかつベズーであり、ゆえに主イデアル整域である。〕。 定数項が整数であるすべての有理係数多項式からなる環 Z+''X''Q は (ACCP) を満たさない整域（実は GCD 整域）の例である、というのも主イデアルの鎖 : は無限に続くからである。 : は無限に続くからである。 'Q は (ACCP) を満たさない整域（実は GCD 整域）の例である、というのも主イデアルの鎖 : は無限に続くからである。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「主イデアルに関する昇鎖条件」の詳細全文を読む スポンサード リンク
|