命題
A を有限ノルム性(>>68)を持つ Dedekind 整域とする。
I と J を A の任意の非零イデアルとする。

このとき N(IJ) = N(I)N(J) である。

証明
>>67 より A の非零素イデアルにたいして N(P^r) = N(P)^r である。
これと A の任意の非零イデアルが非零素イデアルのべき積に
一意に分解されること(前スレ２の676)、および >>69 よりわかる。

証明終