主イデアルに関する昇鎖条件

抽象代数学において、昇鎖条件は包含関係による半順序が入った環の主左、主右、あるいは主両側イデアルの半順序集合に適用することができる。主イデアルに関する昇鎖条件 (ascending chain condition on principal ideals) （ACCP と省略される）が満たされるとは、環において与えられたタイプ（左／右／両側）の主イデアルの真の無限昇鎖が存在しないということである。あるいは別の言い方をすれば、すべての昇鎖はやがて一定になる。 片割れである降鎖条件もまたこれらの半順序集合に適用することができるが、しかし用語 "DCCP" の必要は現在は全くない、なぜならばそのような環は既に左あるいは右完全環という名前がついているからである。（下の非可換環の節を参照。） ネーター環（例えば単項イデアル整域）は典型的な例であるが、いくつかの重要な非ネーター環、特に一意分解整域と左または右完全環もまた (ACCP) を満たす。 ネーター整域において 0 でない非単元は既約元に分解するということはよく知られている。このことの証明は (ACC) ではなく (ACCP) のみに頼っているので、(ACCP) の成り立つ任意の整域において、既約元分解が存在する。（言い換えると、(ACCP) の成り立つ任意の整域は原子整域（英語版）である。しかし逆は、(Grams 1974) において証明されているように、間違いである。）そのような分解は一意でないかもしれない。分解の一意性を証明する通常の方法はユークリッドの補題を使うが、これは因子が単に既約であるだけでなく素元であることを要求する。実際、次の特徴づけがある： A を整域とする。このとき以下は同値である。 A は UFD である。 A は (ACCP) を満たし、A のすべての既約元は素元である。 A は (ACCP) を満たすGCD整域である。 いわゆる永田判定法 (Nagata criterion) が (ACCP) を満たす整域 A に対して成り立つ： S を素元で生成される A の乗法的閉部分集合とする。局所化 S−1A が UFD であれば、A も UFD である。(Nagata & 1975, Lemma 2.1) （これの逆は自明であることを注意しよう。） 整域 A が (ACCP) を満たすことと多項式環 A[t] が (ACCP) を満たすことは同値である。A が整域でないとき類似の主張は誤りである。 すべての有限生成イデアルが主であるような整域（すなわちベズー整域）が (ACCP) を満たすこととそれが主イデアル整域であることは同値である。 定数項が整数であるすべての有理係数多項式からなる環 Z+XQ[X] は (ACCP) を満たさない整域（実は GCD 整域）の例である、というのも主イデアルの鎖 ( X ) ⊂ ( X / 2 ) ⊂ ( X / 4 ) ⊂ ( X / 8 ) , . . . {\displaystyle (X)\subset (X/2)\subset (X/4)\subset (X/8),...} は無限に続くからである。 非可換の場合には、右 ACCP と左 ACCP を区別する必要が出てくる。前者は xR の形のイデアルの半順序集合が昇鎖条件を満たすということを要求するだけであり、後者は Rx の形のイデアルの半順序集合を検査するだけである。 今は "Bass' Theorem P" と呼ばれている、(Bass 1960) にある Hyman Bass（英語版） による定理は、環 R の主左イデアルについての降鎖条件は R が右完全環であることと同値であることを示した。D. Jonah は (Jonah 1970) において ACCP と完全環の間に side-switching connection が存在することを示した。R が右完全（右 DCCP を満たす）ならば R は左 ACCP を満たすことと、対称的に、R が左完全（左 DCCP を満たす）ならば右 ACCP を満たすことが示された。逆は正しくなく、上の左と右の切り替えは打ち間違いではない。 ACCP が R の右側について成り立とうと左側について成り立とうと、それは R が 0 でない直交冪等元の無限集合を持たないことと R がデデキント有限環であることを意味する。 ^ Gilmer, Robert (1986), “Property E in commutative monoid rings”, Group and semigroup rings (Johannesburg, 1985), North-Holland Math. Stud., 126, Amsterdam: North-Holland, pp. 13-18, MR860048, https://books.google.co.jp/books?id=Ed3FiiVkKcsC&pg=PA15&redir_esc=y&hl=ja . ^ Heinzer & Lantz 1994. ^ 証明： ベズー整域において ACCP は有限生成イデアルに関する ACC に同値であるが、これはすべてのイデアルに関する ACC に同値であることが知られている。したがってその整域はネーターかつベズーであり、ゆえに主イデアル整域である。 ^ Lam 1999, pp. 230–231. Bass, Hyman (1960), “Finitistic dimension and a homological generalization of semi-primary rings”, Trans. Amer. Math. Soc. 95: 466–488, doi:10.1090/s0002-9947-1960-0157984-8, ISSN 0002-9947, MR0157984  Grams, Anne (1974), “Atomic rings and the ascending chain condition for principal ideals”, Proc. Cambridge Philos. Soc. 75: 321-329, doi:10.1017/s0305004100048532, MR0340249  Heinzer, William J.; Lantz, David C. (1994), “ACCP in polynomial rings: a counterexample”, Proc. Amer. Math. Soc. 121 (3): 975–977, doi:10.2307/2160301, ISSN 0002-9939, JSTOR 2160301, MR1232140, https://jstor.org/stable/2160301  Jonah, David (1970), “Rings with the minimum condition for principal right ideals have the maximum condition for principal left ideals”, Math. Z. 113: 106-112, doi:10.1007/bf01141096, ISSN 0025-5874, MR0260779  Lam, Tsit-Yuen (1999), Lectures on modules and rings, Graduate Texts in Mathematics No. 189, Berlin, New York: Springer-Verlag, ISBN 978-0-387-98428-5, MR1653294  Nagata, Masayoshi (1975), “Some types of simple ring extensions”, Houston J. Math. 1 (1): 131-136, ISSN 0362-1588, MR0382248, http://hjm.math.unizh.ch/v001n1/0131NAGATA.pdf [リンク切れ]