GCD整域

数学の代数学における GCD整域（GCDせいいき、）は、整域  であって任意のふたつの非零元が最大公約元 (GCD) をもつという性質をもつものである。これは  の任意のふたつの非零元が最小公倍元 (LCM) をもつといってもよい。

この文脈において、（「最大」とは言いながら）一般にGCDは唯一でないことに注意すべきである。しかし、任意の二元  に対しそのGCDは、どの二つも互いに同伴、したがって単元を掛ける違いを除いて一意に決まるから、GCDの任意の一つを指す意味で  と書くことに誤解の虞はないであろう。一方、二元のGCD集合を  として定義するならば、 であり、また  や （ の単元群）などが成り立つ。 LCMについても同様。

GCD整域は一意分解整域 (UFD) を次のような意味で非ネーターの場合に一般化する:
 命題 整域が UFD であることと、主イデアルについての昇鎖条件を満たすGCD整域であることは同値である。
とくに、ネーター的GCD整域はUFDである。

環のクラスの包含関係に関してGCD整域は以下のような位置にある:

性質 
 GCD整域のすべての既約元は素元である。GCD整域は整閉で、すべての非零元はである。言い換えると、すべてのGCD整域はシュライアー整域である。
 GCD整域  の元  の各組に対して、 と  の GCD  と、 と  の LCM  は、 であるように選ぶことができる。あるいは別の言い方をすれば、 と  が非零元で  が  と  の任意の GCD であれば、 は  と  の LCM であり、GCD と LCM を入れ替えて同様のことが成り立つ。:
 主張 互いに同伴という同値関係 "" に関する商集合  は、LCM および GCD を交わりおよび結びとしてとなる。
 R がGCD整域であれば、多項式環  もまたGCD整域であり、より一般に、群環  は任意の捩れのない可換群 G に対してGCD整域である。
  がGCD整域となるための必要十分条件は、その有限個の主イデアルの交わりが必ず主イデアルとなることである。とくに  が成り立つ。ここで  は  と  との（任意の）最小公倍元である。
 GCD整域上の一変数多項式  に対して、そのすべての係数の GCD として内容 (content)  が定義できる。このとき、と呼ばれる主張が以下の形でGCD整域においても有効である:
 主張 (ガウスの補題) 多項式の積の容量は、多項式の容量の積に等しい:

例 
 一意分解整域は GCD 整域である。GCD 整域の中でも、 一意分解整域はちょうど (atomic domain) （つまり任意の0でも単元でもないような元に対して既約元の積への少なくとも1つの分解が存在する）でもあるような整域である。
 ベズー整域（すなわちすべての有限生成イデアルが主イデアルであるような整域）は GCD 整域である。主イデアル整域（これはすべてのイデアルが主イデアル）とは違って、ベズー整域は UFD であるとは限らない。例えば整関数全体のなす環は non-atomic ベズー整域であり、他の例もたくさんある。整域がプリューファー GCD 整域であることとベズー整域であることは同値である
  が non-atomic GCD 整域であれば、 は一意分解整域でなくベズー整域でもないような GCD 整域の例となる。より一般に任意の環  はこれらの性質をもつ。
 可換モノイド環  がGCD整域となる必要十分条件は、 がGCD整域で  がねじれのない GCD半群となることである、ここに、GCD半群とは、半群  であって  の任意の二元  に対し（加法的に書けば） となる  がとれるという性質を持つものを言う。特に  がアーベル群ならば、 がGCD整域となる必要十分条件は、 がGCD整域で  にことである。

注

注釈

出典

参考文献 
 .

外部リンク 
 
 

可換環論
環論
数学に関する記事