Galois group
where Gal("L"/"K") denotes the Galois group of "L"/"K".