ノルム (体論)
体の有限次元拡大 L / K に対し、L の元 α のノルム NL/K(α) は以下のように定義される。
K の L を含む代数閉包 K を固定し、σi : L → K (1 ≤ i ≤ n) を K の元を固定する相異なる中への同型の全体とするとき
N L / K ( α ) := ( σ 1 ( α ) ⋯ σ n ( α ) ) [ L : K ] i {\displaystyle N_{L/K}(\alpha ):=\left(\sigma _{1}(\alpha )\cdots \sigma _{n}(\alpha )\right)^{[L:K]_{i}}} :
ここで、[L:K]i は非分離次数である。