Galois theory
このとき、ガロア理論の主定理によってこの部分拡大をちょうど不変体にするような の部分群が存在する。