分数イデアル

$F$ の $0$ でない $A$ 部分加群 $\mathfrak{a}$ で、ある $0 \neq d \in A$ について $d\mathfrak{a} \subseteq A$ となるものを分数イデアルという。$0$ でないイデアル（整イデアル）や $\mathfrak{p}^{-1}$、$xA$（$x \in F^{\times}$、単項分数イデアル）は分数イデアルである。積はイデアルと同様に定める。