定義
A を Dedekind 整域とする。
A の任意の非零イデアル I に対して A/I が
有限環のとき A は有限ノルム性を持つという。

このとき |A/I| を I の絶対ノルムまたは単にノルムと呼び
N(I) と書く。