単項イデアル整域

代数学において単項イデアル整域（たんこうイデアルせいいき、あるいは主イデアル整域、; PID）あるいは主環（しゅかん、）とは、任意のイデアルが単項イデアルであるような（可換）整域のことである。
より一般に、任意のイデアルが単項イデアルであるような（零環でない）可換環を単項イデアル環と呼ぶ（この場合、整域とは限らない、つまり零因子をもつかもしれない）が、文献によっては（例えばブルバキなどでは）「主（イデアル）環」という呼称によって、ここでいう「単項イデアル整域」のことを指している場合があるので注意が必要である。
例.
単項イデアル整域の例を挙げる。以下では可換環 "R" の元 "a"1, … "a""n" の生成するイデアルを ("a"1, …, "a""n") = { "r"1"a"1 + … + "r""n""a""n" | "r""i" ∈ "R" } と表す。
単項イデアル整域とならない整域の例を挙げる。
性質.
"R" を単項イデアル整域とすると、以下の性質が成り立つ。
特徴づけ.
整域 "R" に対して、以下は同値である。
体のノルムはデデキント–ハッセノルムだから、5 番の条件からユークリッド整域が PID であることが従う。4 番の条件は
と類似する条件になっている。整域がベズー整域であるための必要十分条件は、その任意の二元が「その二元の線型結合であるような」最大公約元を持つことである。従って、ベズー整域は GCD 整域であり、ゆえに 4 番の条件は PID が UFD であることの別証明を示すものとなっている。
加群の構造.
単項イデアル整域上の有限生成加群の構造に関する主要な結果は以下のようなものである。
"R" が単項イデアル整域で "M" 有限生成 "R"-加群であるならば、"M" は次のような巡回加群（単項生成加群）の有限個の直和に分解される。
ただしformula_2である。特に有限生成直既約加群は "R" と同型か、ある既約元 "p" の正べき "pn" が生成するイデアルによる商加群 "R"/("pn") と同型である。
"M" が単項イデアル整域 "R" 上の自由加群ならば "M" の任意の部分加群もやはり自由である。しかしこれを任意の環上の加群に対して考えたものは一般には正しくない。例えば Z["X"] のイデアル (2, "X") を Z["X"] 上の加群としての Z["X"] の部分加群と見ると自由でない。