ガロア拡大
If "L"/"K" is a Galois extension, one may compute the norm of α ∈ "L" as the product of all the Galois conjugates of α: