갈루아 군
where Gal("L"/"K") denotes the Galois group of "L"/"K".