Let f(x) be an irreducible polynomial in Q[x], and let K be the splitting field of f(x) over Q.
Now, suppose that E is a splitting field of some polynomial in Q[x] with Q⊆E⊆K, and that α1,α2,…,αn are roots of f(x) in K.
In this situation, prove or disprove : deg(α1,E)=⋯=deg(αn,E)
I think that the splitting field K=Q(8√2,i) of f(x)=x8−2∈Q[x] over Q is a counterexample for this question when E=Q(√2).
Am i correct? or is there an example rather than this?
If it is, under what conditions, the relation deg(α1,E)=⋯=deg(αn,E) could be true.
Give some comment or advice. Thank you!
Answer
Since E is a splitting field, it is a Galois extension of Q. Thus N=Gal(K/E) is a normal subgroup of G=Gal(K/Q). Since f is irreducible, the group G acts transitively on its roots. Let α and β be roots of f, and choose g∈G with g(α)=β. Using normality of N in G, the stabilizers Nα and Nβ of α and β in N are related by
gNαg−1=Nβ, and in particular they have the same cardinality. Hence by the orbit stabilizer theorem the degrees over E of α and β are equal.
No comments:
Post a Comment