Galois extension
Since "L"/"K" is a Galois extension, if "α" is in "L", then the norm of α is the product of all the Galois conjugates of "α", i.e.