定義
I を R の分数イデアルとする(>>148)。
定義より、I = (1/α)J と書ける。
ここで J は R のイデアルで α ≠ 0 は R の元である。

I のノルム N(I) を N(I) = N(J)/|N(α)| で定義する。

>>165 よりこれは J と α の取り方によらない。