分数イデアル

数学、特に可換環論において、分数イデアル（）の概念は整域の文脈で導入され、特にデデキント整域の研究において成果が多い。ある意味で、整域の分数イデアルは分母が許されたイデアルのようなものである。分数イデアルと普通の環のイデアルがともに議論に出てくるような文脈では、明確にするために後者を整イデアル (integral ideal) と呼ぶこともある。

定義と基本的な結果 

 を整域とし  をその分数体とする。 の 分数イデアルは  の  でない -部分加群  であって、 でない  が存在して  となるようなものである。元  は  の分母をはらっていると考えることができる。単項分数イデアル (principal fractional ideal) は  のただ一つの  でない元によって生成される  のそのような -部分加群である。分数イデアル  が  に含まれるのはそれが  の（'整'）イデアルであるとき、かつそのときに限る。

分数イデアル  は次のようなとき可逆 (invertible) であると言う。別の分数イデアル  が存在して  （ただし  で、これは二つの分数イデアルの積 (product) と呼ばれる）。このとき、分数イデアル  は一意的に定まり、一般化であるイデアル商 に等しい：

可逆分数イデアルの集合は単位イデアル  自身を単位元として上記の積に関してアーベル群をなす。この群は  の分数イデアルの群と呼ばれる。単項分数イデアルは部分群をなす。分数イデアルが可逆であるのはそれが -加群として射影的であるとき、かつそのときに限る。

 のすべての有限生成 -部分加群は分数イデアルであり、 がネーター環ならばこれらが  の分数イデアルのすべてである。

デデキント整域 

デデキント整域において、この状況ははるかに単純である。特に、すべての分数イデアルは可逆である。実はこの性質はデデキント整域を特徴づける。整域がデデキント整域であるのはすべての分数イデアルが可逆であるとき、かつそのときに限る。

分数イデアルの群を単項分数イデアルからなる部分群で割った商群はデデキント整域の重要な不変量であり、イデアル類群と呼ばれる。

因子的イデアル
 によって分数イデアル  を含むすべての単項分数イデアルの共通部分を表記する。同じことだが、

である、ただし上記のように
 
である。 であれば  は 因子的 (divisorial) であると言う。言い換えると、因子的イデアルは分数単項イデアルのある空でない集合の 0 でない共通部分である。 が因子的で  が分数イデアルであれば、 は因子的である。

 を局所クルル整域（例えばネーター整閉局所整域）とする。すると  が離散付値環であることと  の極大イデアルが 因子的であることは同値である。

因子的イデアルについて昇鎖条件を満たすような整域はと呼ばれる。

注

参考文献 
Chapter 9 of 
Chapter VII.1 of 
Chapter 11 of 

イデアル
分数
代数的整数論
数学に関する記事