的分母。在特定上下文中，为了有所区别，环的普通理想常被强调为整理想。
定义和基本结论.设formula_1是一个整环，formula_2是其分式域。formula_1的分式理想定义为formula_2 的一个formula_1-子模formula_6，使得存在一个非零的formula_7，满足formula_8。formula_9可以被认为是子模formula_6的“分母”，如果一个分式理想可由formula_2的单个元素生成，则称为主分式理想。分式理想formula_6包含于fo