1 ≦ i ≦ λ-1 のとき、Z[ζ] (>>147)の元 f(ζ) に対して、
f(ζ^i) は 一意に決まる。
つまり、f(ζ) = g(ζ) なら f(ζ^i) = g(ζ^i) である(確かめよ)。

f(ζ) のノルム Nf(ζ) を
Nf(ζ) = f(ζ)f(ζ^2)...f(ζ^(λ-1))
で定義する。