Galois extension
OK での素イデアル P の OL での分解を計算したい。拡大 L/K は有限次分離的拡大とする。ガロア拡大の定義の中にある正規性の前提は、必ずしも必要ではない。