イデアル商

抽象代数学において、"I" と "J" が可換環 "R" のイデアルのとき、それらの イデアル商（） "I" : "J" とは集合
である。これを ("I" : "J") と書くこともある。すると "I" : "J" も "R" のイデアルである。イデアル商は商と見ることができる、なぜならば formula_2 であることと formula_3 であることが同値だからだ。例えば、整数環 Z において (6) : (3) = (2) が成り立つ。イデアル商は準素分解の計算に役立つ。また代数幾何において差集合の記述で現れる（下記参照）。
"I" : "J" はその表記により コロンイデアル（colon ideal）と呼ばれることがある。分数イデアルの文脈では、分数イデアルのインバースに関連した概念がある。
性質.
イデアル商は以下の性質を満たす。
商の計算.
上記の性質は多項式環において生成元の与えられたイデアルの商を計算するのに使える。例えば、"I" = ("f"1, "f"2, "f"3) and "J" = ("g"1, "g"2) が "k"["x"1, ..., "x""n"] のイデアルであれば、
すると elimination theory を "I" と ("g"1) や ("g"2) の共通部分を計算するのに使える。
辞書式順序に対して "tI" + (1-"t")("g"1) のグレブナー基底を計算せよ。すると "t" をもたない基底関数は formula_16 を生成する。
幾何学的解釈.
イデアル商は代数幾何において差集合と関係がある。正確に言うと、
ただし formula_18 は部分集合から定まるイデアルをとることを表す。
ただし formula_20 はザリスキ閉包を表し formula_21 はイデアルによって定まる多様体をとることを表す。
"I" が根基でなければ、イデアル "J" を saturate すれば同じ性質が成り立つ。
ただし formula_23.
参考文献.
Viviana Ene, Jürgen Herzog: 'Gröbner Bases in Commutative Algebra', AMS Graduate Studies in Mathematics, Vol 130 (AMS 2012)
M.F.Atiyah, I.G.MacDonald: 'Introduction to Commutative Algebra', Addison-Wesley 1969.