Galois extension
特に、formula_66 が有限次ガロア拡大であるとすれば、formula_69 のガロア群が可解群となるので(付値体を参照)、formula_66 のガロア群もそうである。