定義
A を１次元のネーター整域とし K をその商体とする。
A の K における整閉包を B とし、B は A-加群として有限生成とする。
f = (A : B) を A の導手とする。

P_A(f) = {(a/b)B; a ∈ A, b ∈ A, aA と bA はともに正則}
と書く。

P_A(f) は明らかに P(f) (>>657) の部分群である。