単項イデアル整域

代数学において単項イデアル整域（たんこうイデアルせいいき、あるいは主イデアル整域、英: principal ideal domain; PID）あるいは主環（しゅかん、仏: anneau principal）とは、任意のイデアルが単項イデアルである（可換）整域のことである。 より一般に、任意のイデアルが単項イデアルであるような（零環でない）可換環を単項イデアル環と呼ぶ（この場合、整域とは限らない、つまり零因子をもつかもしれない）が、文献によっては（例えばブルバキなどでは）「主（イデアル）環」という呼称によって、ここでいう「単項イデアル整域」のことを指している場合があるので注意が必要である。 可換環 ⊃ 整域 ⊃ 整閉整域 ⊃ 一意分解環 ⊃ 単項イデアル整域 ⊃ ユークリッド環 ⊃ 体 ⊃ 有限体 単項イデアル整域の例を挙げる。以下では可換環 R の元 a1, …, an の生成するイデアルを (a1, …, an) = { r1a1 + … + rnan | ri ∈ R } と表す。 Z: 整数環。 Z[i]: ガウス整数環。 Z[ω]: アイゼンシュタイン整数環。 Z(p): 整数環の素イデアル (p) ≠ 0 における局所化。非自明なイデアルは (pe) の形で表せる。 K: 任意の体。 K[X]: 体 K 上の一変数多項式環。実は逆も成り立つ（多項式環 A[X] が PID となるならば A は体である）。 K⟦X⟧: 体 K 上の一変数形式冪級数環。任意の非自明なイデアルは (Xk) の形で表せる。 単項イデアル整域とならない整域の例を挙げる。 Z[X]: 整数係数の一変数多項式環。たとえばイデアル (2, X) は単項イデアルでない。 K[X, Y]: 体 K 上の二変数多項式環。たとえばイデアル (X, Y) は単項イデアルでない。 R を単項イデアル整域とすると、以下の性質が成り立つ。 単項イデアル整域はネーター環である。 0 ≠ p ∈ R について次の3つは同値である：「p は素元」、「(p) は素イデアル」、「(p) は極大イデアル」。 単項イデアル整域は一意分解環である。逆は成り立たない。 (a1, …, an) = (d) ⇔ d は a1, …, an の最大公約元 単項イデアル整域は整閉整域である。 単項イデアル整域はデデキント環である。 ユークリッド環は単項イデアル整域である。逆は成り立たない。 R-加群が平坦であることと捩れなしであることは同値である。 整域 R に対して、以下は同値である。 R は単項イデアル整域である。 R の任意の素イデアルが単項イデアルである。 R は UFD かつデデキント整域である。 R の任意の有限生成イデアルが単項イデアル（すなわち R はベズー整域）であり、かつ R は単項イデアルに関する昇鎖条件を満足する。 R にはデデキント–ハッセ・ノルムが入る。 体のノルムはデデキント–ハッセノルムだから、5 番の条件からユークリッド整域が PID であることが従う。4番の条件は 整域が UFD であるための必要十分条件は、それがGCD整域（すなわち、任意の二元が最大公約元を持つような整域）で、主イデアルに関する昇鎖条件を満たすことである。 と類似する条件になっている。整域がベズー整域であるための必要十分条件は、その任意の二元が「その二元の線型結合である」最大公約元を持つことである。従って、ベズー整域は GCD 整域であり、ゆえに 4 番の条件は PID が UFD であることの別証明を示すものとなっている。 単項イデアル整域上の有限生成加群の構造に関する主要な結果は以下のようなものである。 R が単項イデアル整域で M 有限生成 R-加群であるならば、M は次のような巡回加群（単項生成加群）の有限個の直和に分解される。 M ≅ R / ( e 1 ) ⊕ ⋯ ⊕ R / ( e r ) ⊕ R ⊕ ⋯ ⊕ R {\displaystyle M\cong R/(e_{1})\oplus \dotsb \oplus R/(e_{r})\oplus R\oplus \dotsb \oplus R} ただし R ⊋ ( e 1 ) ⊇ ⋯ ⊇ ( e r ) ⊋ 0 {\displaystyle R\supsetneq (e_{1})\supseteq \dotsb \supseteq (e_{r})\supsetneq 0} である。特に有限生成直既約加群は R と同型か、ある既約元 p の正べき pn が生成するイデアルによる商加群 R/(pn) と同型である。 M が単項イデアル整域 R 上の自由加群ならば M の任意の部分加群もやはり自由である。しかしこれを任意の環上の加群に対して考えたものは一般には正しくない。例えば Z[X] のイデアル (2, X) を Z[X] 上の加群としての Z[X] の部分加群と見ると自由でない。 ^ 体 K 上の 2 変数多項式環 K[X, Y] は一意分解環であるが、(X, Y) は単項イデアルでない。 ^ ユークリッド整域でない単項イデアル整域の例として、 Z [ ( 1 + − 19 ) / 2 ] {\displaystyle \mathbb {Z} [(1+{\sqrt {-19}})/2]} が挙げられる。この整域では ( 1 + − 19 ) = ( 4 ) ( q ) + ( r ) {\displaystyle (1+{\sqrt {-19}})=(4)(q)+(r)} を満たす q, r (0 ≤ ^ a b c 永尾 1986, 例21.6. ^ 永尾 1986, 問25.14.ii. ^ 永尾 1986, 問21.8. ^ 永尾 1986, 定理29.5. ^ 永尾 1986, 例題26.4. ^ 永尾 1986, 定理26.5. ^ 永尾 1986, 問26.7. ^ 永尾 1986, 定理21.5. ^ Wilson, Jack C. "A Principal Ring that is Not a Euclidean Ring." Math. Mag 46 (Jan 1973) 34-38 [1] ^ George Bergman, A principal ideal domain that is not Euclidean - developed as a series of exercises PostScript file ^ Over a PID, flat and torsion free are equivalent 2015年2月19日閲覧 ^ T. Y. Lam and Manuel L. Reyes, A Prime Ideal Principle in Commutative Algebra Archived 2010年7月26日, at the Wayback Machine. ^ Hazewinkel et al. 2004, Proposition 7.3.3. ^ 永尾 1986, 定理30.5. ^ a b Broubaki 1989. 永尾汎『代数学』（初版第4刷）朝倉書店、1986年。ISBN 4-254-11434-6。http://www.asakura.co.jp/books/isbn/978-4-254-11434-8/。  Broubaki, N. (1989). Algebra II: Chapter 4-7. Elements of mathematics. Springer-Verlag. ISBN 3-540-00706-7. https://books.google.co.jp/books?id=bDLecF34d8UC&pg=PARA1-PA1  Hazewinkel, Michiel; Gubareni, Nadiya; Kirichenko, V. V. (2004). Algebras, rings and modules. Kluwer Academic Publishers. ISBN 1-4020-2690-0. https://books.google.co.jp/books?id=AibpdVNkFDYC  ベズーの等式 Weisstein, Eric W. "Principal ring". mathworld.wolfram.com (英語).