數學 中，特別是交換代數 中，分式理想 的概念是在對整環 的研究中所引入的，並且在戴德金整環 的研究中得到豐富。類似於通過給整數 引入分母 而產生了分數 ，在整環中，分式理想 可認為是為理想引入了在某種意義上 [來源請求] 理想 常被強調為整理想 。
設
R
{\displaystyle R}
K
{\displaystyle K}
分式域 。
R
{\displaystyle R}
K
{\displaystyle K}
R
{\displaystyle R}
子模
I
{\displaystyle I}
r
∈
R
{\displaystyle r\in R}
r
I
⊂
R
{\displaystyle rI\subset R}
r
{\displaystyle r}
I
{\displaystyle I}
K
{\displaystyle K}
主分式理想 。分式理想
I
{\displaystyle I}
R
{\displaystyle R}
I
{\displaystyle I}
R
{\displaystyle R}
給定整環
R
{\displaystyle R}
R
{\displaystyle R}
I
{\displaystyle I}
J
{\displaystyle J}
I
J
=
R
{\displaystyle IJ=R}
I
J
=
{
a
1
b
1
+
a
2
b
2
+
⋯
+
a
n
b
n
:
a
i
∈
I
,
b
i
∈
J
,
n
=
0
,
1
,
2
,
…
}
{\displaystyle IJ=\{a_{1}b_{1}+a_{2}b_{2}+\dots +a_{n}b_{n}:a_{i}\in I,b_{i}\in J,n=0,1,2,\dots \}}
R
{\displaystyle R}
阿貝爾群 ，稱為
R
{\displaystyle R}
分式理想群 ；其單位元 是
R
{\displaystyle R}
單位理想 ，即
R
{\displaystyle R}
R
{\displaystyle R}
子群 。
R
{\displaystyle R}
R
{\displaystyle R}
模 是投射 的。
K
{\displaystyle K}
有限生成
R
{\displaystyle R}
都是
R
{\displaystyle R}
R
{\displaystyle R}
諾特的 ，則這些就是
R
{\displaystyle R}
在戴德金整環 中，上面的理論更為簡單。特別地，戴德金整環的每個分式理想都是可逆的。事實上，這也是刻畫戴德金整環的特徵：一個整環是戴德金整環，若且唯若它的的每個非零分式理想都可逆。
在戴德金整環中，分式理想群模去主分式理想群所得到的商群 是這個戴德金整環的重要不變量 ，稱為它的理想類群 。引入分式理想的一部分原因就是為了說明理想類群確實是個商群 ，這比通過特別地定義理想類的乘法運算來構造理想類群 要更自然。[來源請求]
設
I
~
{\displaystyle {\tilde {I}}}
R
{\displaystyle R}
I
{\displaystyle I}
交集 ，則：
I
~
=
(
R
:
(
R
:
I
)
)
{\displaystyle {\tilde {I}}=(R:(R:I))}
其中
(
R
:
I
)
=
{
x
∈
K
:
x
I
⊆
R
}
{\displaystyle (R:I)=\{x\in K:xI\subseteq R\}}
如果
I
~
=
I
{\displaystyle {\tilde {I}}=I}
I
{\displaystyle I}
除子理想 。如果
I
{\displaystyle I}
J
{\displaystyle J}
(
I
:
J
)
{\displaystyle (I:J)}
一個整環稱為Mori 整環 ， 如果其全體除子理想的集合滿足升鏈條件 。
Chapter 9 of Atiyah, Michael Francis; Macdonald, I.G., Introduction to Commutative Algebra, Westview Press, 1994, ISBN 978-0-201-40751-8
Chapter VII.1 of Bourbaki, Nicolas, Commutative algebra 2nd, Springer Verlag, 1998, ISBN 3-540-64239-0
Chapter 11 of Matsumura, Hideyuki, Commutative Ring theory, Cambridge Studies in Advanced Mathematics 8 2nd, Cambridge University Press, 1989, ISBN 978-0-521-36764-6MR 1011461
