結局体K自身かその代数拡大体Lを考えて、計算で導かれる
L係数の多項式P(ｘ)、それのL上での既約因子分解を決定することにより、
代数方程式F(x)=0のガロア群を決定できる。