ガロア拡大
More particularly, if "L"/"K" is a Galois extension and "α" is in "L", then the trace of "α" is the sum of all the Galois conjugates of "α", i.e.,