イデアル商
抽象代数学において、"I" と "J" が可換環 "R" のイデアルのとき、それらの イデアル商（） "I" : "J" とは集合

:formula_1

である。これを ("I" : "J") と書くこともある。すると "I" : "J" も "R" のイデアルである。イデアル商は商と見ることができる、なぜならば formula_2 であることと formula_3 であることが同値だからだ。例えば、整数環 Z において (6) : (3) = (2) が成り立つ。イデアル商は準素分解の計算に役立つ。また代数幾何において差集合の記述で現れる（下記参照）。

"I" : "J" はその表記により コロンイデアル（colon ideal）と呼ばれることがある。分数イデアルの文脈では、分数イデアルのインバースに関連した概念がある。
Q858656
可換環
Concept
Q44649
イデアル
Concept
Q172298
準素分解
UNK
Q180969
代数幾何
Concept
Q242767
差集合
Concept
Q1497184
分数イデアル
Concept
Q17098054
イデアル商
Concept
Q17098054
イデアル商
Concept
Q17098054
イデアル商
Concept
2020-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1
DATE
2020-02-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2
DATE
2020-03-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
3
DATE
2020-06-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
6
DATE
2020-03-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
3
DATE
2020-02-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2
DATE
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+3^^http://www.w3.org/2001/XMLSchema#decimal
3
NUMBER
+6^^http://www.w3.org/2001/XMLSchema#decimal
6
NUMBER
+3^^http://www.w3.org/2001/XMLSchema#decimal
3
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
facet of
facet of
facet of