定義
A を Dedekind 環とする。
m ≠ 0 を A のイデアルとする。
A の分数イデアルで m と素なもの全体は
可逆分数イデアル群 I(A) (>>470) の部分群となる。
これを I(m) と書く。

A の単項分数イデアルで m と素なもの全体は
単項分数イデアル群 P(A) (>>471) の部分群となる。
これを P(m) と書く。