fractional ideal(分式理想):在代数数论与交换代数中,指一个整域 \(R\) 的分式域 \(K\) 内的 \(R\)-子模 \(I \subseteq K\),满足存在某个非零元素 \(d \in R\) 使得 \(dI \subseteq R\)(也就是说,把它“乘清分母”后会落回到 \(R\) 里的一个理想)。它推广了普通理想(ordinary ideal):普通理想是分式理想的特殊情况(本身就包含在 \(R\) 中)。
/ˈfrækʃənəl ˈaɪdiəl/
A fractional ideal can be multiplied by another fractional ideal.
分式理想可以与另一个分式理想相乘。
In a Dedekind domain, every nonzero fractional ideal factors uniquely into a product of prime ideals.
在戴德金整环中,每个非零分式理想都能唯一分解为素理想的乘积。
fractional 源自拉丁语 fractio(“打碎、分割”),在数学语境里常引申为“涉及分数/分式的”。ideal 在代数中指“理想”,来自德语 Ideal(由库默尔、戴德金等人推动进入现代代数学术语)。合起来,fractional ideal 字面上可理解为“允许出现在分式域中、像理想那样运作的对象”,强调它不一定完全落在原环里。