Dejarα ser un cero dexn−a. Sinceα y ambosωα están en el campo de división de tambiénxn−a,ω=(ωα)/α está en\(E\te...Dejarα ser un cero dexn−a. Sinceα y ambosωα están en el campo de división de tambiénxn−a,ω=(ωα)/α está enE. LetK=F(ω). EntoncesF⊂K⊂E. DesdeK es el campo de división dexn−1,K es una extensión normal deF. Por lo tanto, cualquier automorfismoσ enG(F(ω)/F) está determinado porσ(ω).…