問題
A を Dedekind 整域とする。
A の分数イデアル M に対して M = I/J とする。
ここで I, J は A のイデアルである。
このとき N(I)/N(M) は、M = I/J となる I, J の取り方によらない。