Loading AI tools
ウィキペディアから
代数学において単項イデアル整域(たんこうイデアルせいいき、あるいは主イデアル整域、英: principal ideal domain; PID)あるいは主環(しゅかん、仏: anneau principal)とは、任意のイデアルが単項イデアルである(可換)整域のことである。
より一般に、任意のイデアルが単項イデアルであるような(零環でない)可換環を単項イデアル環と呼ぶ(この場合、整域とは限らない、つまり零因子をもつかもしれない)が、文献によっては(例えばブルバキなどでは)「主(イデアル)環」という呼称によって、ここでいう「単項イデアル整域」のことを指している場合があるので注意が必要である。
単項イデアル整域の例を挙げる。以下では可換環 R の元 a1, …, an の生成するイデアルを (a1, …, an) = { r1a1 + … + rnan | ri ∈ R } と表す。
単項イデアル整域とならない整域の例を挙げる。
R を単項イデアル整域とすると、以下の性質が成り立つ。
整域 R に対して、以下は同値である。
体のノルムはデデキント–ハッセノルムだから、5 番の条件からユークリッド整域が PID であることが従う。4番の条件は
と類似する条件になっている。整域がベズー整域であるための必要十分条件は、その任意の二元が「その二元の線型結合である」最大公約元を持つことである。従って、ベズー整域は GCD 整域であり、ゆえに 4 番の条件は PID が UFD であることの別証明を示すものとなっている。
単項イデアル整域上の有限生成加群の構造に関する主要な結果は以下のようなものである。
R が単項イデアル整域で M 有限生成 R-加群であるならば、M は次のような巡回加群(単項生成加群)の有限個の直和に分解される[14][15]。
ただしである。特に有限生成直既約加群は R と同型か、ある既約元 p の正べき pn が生成するイデアルによる商加群 R/(pn) と同型である。
M が単項イデアル整域 R 上の自由加群ならば M の任意の部分加群もやはり自由である[15]。しかしこれを任意の環上の加群に対して考えたものは一般には正しくない。例えば Z[X] のイデアル (2, X) を Z[X] 上の加群としての Z[X] の部分加群と見ると自由でない。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.