補題
A を有限ノルム性(>>68)を持つ Dedekind 整域とする。
I と J を A の非零イデアルで互いに素、
すなわち I + J = A とする。

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

証明
中国式剰余定理(前スレの341)より明らか。