定義
A を１次元のネーター整域とし K をその商体とする。
A の K における整閉包を B とし、B は A-加群として有限生成とする。
I = (A : B) を A の導手とする。
M ≠ 0 を A の分数イデアルとする。
MB が I と互いに素(>>564)のとき M を正則な分数イデアルという。