伽罗瓦群
where Gal("L"/"K") denotes the Galois group of "L"/"K".