イデアル商
抽象代数学において、"I" と "J" が可換環 "R" のイデアルのとき、それらの イデアル商（） "I" : "J" とは集合
である。これを ("I" : "J") と書くこともある。すると "I" : "J" も "R" のイデアルである。イデアル商は商と見ることができる、なぜならば formula_2 であることと formula_3 であることが同値だからだ。例えば、整数環 Z において (6) : (3) = (2) が成り立つ。イデアル商は準素分解の計算に役立つ。また代数幾何において差集合の記述で現れる（下記参照）。
"I" : "J" はその表記により コロンイデアル（colon ideal）と呼ばれることがある。分数イデアルの文脈では、分数イデアルのインバースに関連した概念がある。