>>516 の続き

>>510 のモニックな既約多項式 f(X) の根の全体を
θ = θ_0, θ_1, ..., θ_(n-1) とする。

h(θ) ∈ Z[θ] に対して h(θ_0)h(θ_1)...h(θ_(n-1)) を
h(θ) のノルムといい N(h(θ)) と書く。

N(h(θ)) は θ_0, θ_1, ..., θ_(n-1) の対称式であるから、
これらの基本対称式、よって f(X) の係数の多項式で表される。
よって、N(h(θ)) は有理整数である。