2008-04-30 練習86 要するに定理81の(iii)。E/Fがガロア拡大であれば、Eはある分離的な多項式f(x)∈F[x]の分解体である。E/Bを考えるとF⊂Bなのでf(x)∈B[x]であり、Eはその分解体であるから、E/Bはガロア拡大になっている。