定義
A を整域、K をその商体とする。
K の A-部分加群 I に対して A のある元 s ≠ 0 があり sI ⊂ A
となるとき I を A の分数イデアルという。